advance/into-types/sized

[giscus[bot]]

advance/into-types/sized

https://course.rs/advance/into-types/sized.html

[MBearo]

不太懂，为啥 Vec 不是动态大小类型？

[lonexw]

学习完下一章智能指针，回头看，其实 String、Vec 也可以当作一种智能指针（Smart Pointer）的实现

[arronKler]

换句话说，动态大小类型是一种大小不固定的，无法直接在栈上存储，只能通过引用的方式来使用的类型。Vec 是一个在栈上的胖指针，对 Vec 自身这个类型来说，可以在栈上（Vec），也可以在堆上 (&Vec)，所以 Vec 本身是大小固定的。它所指向一个底层数组，在容量不够的时候会自动扩容，那也是重新申请一份更大的内存，然后复制过去，使其看起来大小不固定。但这是逻辑上的一种能力，并非类型本身大小不确定（无论是对于 Vec，还是说这个底层数组）。

[BreakingLead]

你自己在C语言中写一个动态数组就明白了，那个结构体只存指针的，数据区都是malloc出来的

[JimChenWYU]

栈中保存着引用类型大小是固定，堆中存储的数据长度（len）以及存储容量（cap）是固定的（容量你不设置，有默认值的），长度取决于你初始化类型里数据多少决定，所以一切都是固定的。

你觉得是动态是因为这些类型在运行时当容量不足时会自动扩容，但是你仔细看看动态类型和非动态类型的定义，就知道这个并不是衡量的标准之一

[lilhammer111]

Vec底层是结构体

[bunnycodego]

讲的还是很透彻的!点赞!

[jinliming2]

“你能想到的几乎类型都实现了 Sized 特征”

[chenxiaochun]

上一章是特征，现在是这一章。都让我看了好几遍了😂

[licq]

fn main() {
let s1: Box = Box::new("Hello there!" as str);
}

这个报错里写的编译期不能知道这个str的size，是编译器的优化程度不足吧，这个size明显我们都是可以算出来的。

[aardwolfchen]

可以有Box /str> 这个类型吗？

[tjw123hh]

是不知道str这个类型的固定大小，这个str的size是可以算出来的
但这个方法需要Sized类型

[tjw123hh]

而Box::from(&T)只要求&T是固定大小类型所以Box::from("hello, world")通过引用提供的数值转换出Box<str>

[Endermanbugzjfc]

如果 Rust 允许我们使用这种动态类型，那么这两个 str 值就需要占用同样大小的内存，这显然是不现实的: s1 占用了 12 字节，s2 占用了 15 字节，总不至于为了满足同样的内存大小，用空白字符去填补字符串吧？

[Endermanbugzjfc]

Rust 中一切類型的分配應該都是固定的
（當然泛型參數不算，使用了它就等於創建了一個全新類型）

[itfanr]

主动转换成 str 的方式不可行，但是可以让编译器来帮我们完成，只要告诉它我们需要的类型即可。

为啥我不能主动转换 Box<str> ，编译器却可以。我不听我不听~~~

[xpader]

对，不科学，哈哈。

[chiehw]

这里居然没有 ZST，2333

[chiehw]

怎么理解这个捏？

fn main() {
    let s1: Box<&str> = Box::new("Hello there!" as &str);
}

[chiehw]

这个是可以正常通过编译的。

[fadedzipper]

可以看看可视化rust各数据类型的内存布局。
其实"Hello there!" 本身就是&str，不需要as了。

[zebinfzu]

&str本身就是间接使用str了，因此&str类型是编译器能推出来大小的

[Kev1n3zz]

这里讲述固定大小的类型之所谓固定大小是指：这个类型在栈中的使用的存储空间大小是固定的，其他存储空间中对应的每个字节所表示的存储意义是可以编译得到。

不知道这么理解是否正确？

如果正确的话本节内容是否应该往Rust的存储模型上靠一靠？

[Kev1n3zz]

这里讲述固定大小的类型之所谓固定大小是指：这个类型在栈中的使用的存储空间大小是固定的，该类型在栈上的存储空间内的每个字节所表示的存储意义（即每个字节码代表的内容）是可以编译得到。

不知道这么理解是否正确？

如果正确的话本节内容是否应该往Rust的存储模型上靠一靠？

[iCoobin]

确实是有点难

[FlorentinoJink]

所以

fn main() {
    let s1: Box<str> = "hello".into();
}

这里的Box有什么作用呢？Box的意义和用途是什么？

[FlorentinoJink]

这里的Box的作用是什么

[MaxnSter]

https://users.rust-lang.org/t/use-case-for-box-str-and-string/8295
可以参考这里，Box 相比于 String ，只拥有两个字段: 指向数组的指针(ptr)和长度(len)，而 String 如 Vec 一样拥有3个字段: ptr + len +容量(cap)

所以 sizeof(Box = 16, sizeof(String) = 24 , 在热点代码处使用 Box 相比于 String 能有一定性能提升

[Endermanbugzjfc]

根据 https://doc.rust-lang.org/std/boxed/

最简陋的堆分配，Box 提供此分配的所有权

没这么特别的作用（像 String 有那些文字处理函数）

[Endermanbugzjfc]

Box 的使用场景

[ZhangJingYun2018]

提供一个固定长度的指针，不能直接使用不定长度。应该这样。指针或者引用就是必须的。

[walijoy]

完蛋，每一分钟都在被劝退，怎么办？

[FlorentinoJink]

过几个星期再来看

[inblossoms]

每一个特征（Trait）本身并不是一个动态大小类型（DST）。但是，Rust 允许你创建指向实现了某个特征的特征对象（Trait Object），而这些特征对象是动态大小类型（DSTs）。

[inblossoms]

拆解一下这个概念：

1. 特征（Trait）本身：一个行为契约，不是类型

• 定义： 一个 trait（如 pub trait Draw { fn draw(&self); }）定义的是一组行为的契约、接口或能力。
• 用途： 它描述了某种类型“能做什么”，而不是这种类型“是什么”。
• 编译时存在： trait 本身是一个编译时的概念。在程序运行时，trait 本身是不存在的，只有实现了这些 trait 的具体类型才存在。
• 不是类型： 你不能直接创建一个 trait 的实例，也不能说一个变量的类型是 Trait。例如，你不能写 let x: Draw;。

2. 特征对象（Trait Object）：基于特征的动态大小类型

• 定义： 特征对象是 Rust 实现运行时多态（Runtime Polymorphism）的一种机制。它是一种特殊的类型，表示任何实现了某个特定特征的具体类型。
• 内存表现（DSTs）： 特征对象（dyn Trait）是一个动态大小类型（Dynamically Sized Type, DST）。
  • 这意味着它的具体大小在编译时是未知的。它的实际大小取决于它在运行时所包装的那个具体类型（例如 Button 或 Checkbox）的大小。
  • 因为大小在编译时未知，你不能直接将特征对象放在栈上或直接存储在 Vec 中。它必须总是通过一个指针来访问。
• 语法： dyn Trait（例如 dyn Draw）。
• 常见的指针形式：
  • Box<dyn Trait>： 拥有所有权的堆分配特征对象。
  • &dyn Trait： 借用的不可变特征对象引用。
  • &mut dyn Trait： 借用的可变特征对象引用。
  • Rc<dyn Trait>，Arc<dyn Trait> 等。

3. Trait 的名字如何出现在类型系统中：

• 可以通过特征的名称来引用它，但这通常是在两种情况下：
  • 定义 Trait： pub trait MyTrait { ... }
  • 使用 Trait 界限进行泛型约束： fn some_function<T: MyTrait>(item: T) 当前泛型必需实现该 trait
  • 创建特征对象： Box<dyn MyTrait> 或 &dyn MyTrait。在这里，MyTrait 就是那个被用于创建 dyn MyTrait 这个 DST 的名称。

---

总结：

• 特征（Trait）本身是一个行为契约，不是一个类型。
• 特征对象（Trait Object，即 dyn Trait）是一个类型，它是一个 动态大小类型（DST）。
• 我们可以通过特征的名称（例如 Draw）来引用这个特征，然后用 dyn Draw 的形式来表示一个特征对象类型。

所以，正确的说法是：特征（Trait）本身是一种能力描述，而基于特征（Trait）创建的特征对象（dyn Trait）才是一个动态大小类型，它可以通过特征的名称来引用。