From 8936b4eb6fcf30400a5f1cc0009cad4043ef32bd Mon Sep 17 00:00:00 2001 From: sunface Date: Thu, 24 Feb 2022 10:35:52 +0800 Subject: [PATCH] =?UTF-8?q?add=20unsized=E5=92=8Cdst?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- contents/SUMMARY.md | 2 +- contents/advance/custom-type.md | 289 --------------------- contents/advance/into-types/custom-type.md | 202 +++++++++++++- contents/advance/into-types/sized.md | 121 +++++++++ 4 files changed, 323 insertions(+), 291 deletions(-) delete mode 100644 contents/advance/custom-type.md diff --git a/contents/SUMMARY.md b/contents/SUMMARY.md index 82ff6006..3cdcf768 100644 --- a/contents/SUMMARY.md +++ b/contents/SUMMARY.md @@ -68,7 +68,7 @@ - [迭代器iterator](advance/functional-programing/iterator.md) - [深入类型](advance/into-types/intro.md) - [newtype 和 类型别名](advance/into-types/custom-type.md) - - [Sized、UnSized和DST](advance/into-types/sized.md) + - [Sized 和不定长类型](advance/into-types/sized.md) - [枚举和整数](advance/into-types/enum-int.md) - [智能指针](advance/smart-pointer/intro.md) - [Box堆对象分配](advance/smart-pointer/box.md) diff --git a/contents/advance/custom-type.md b/contents/advance/custom-type.md deleted file mode 100644 index dbb06b1a..00000000 --- a/contents/advance/custom-type.md +++ /dev/null @@ -1,289 +0,0 @@ -# 深入 Rust 类型 -弱弱地、不负责任地说，Rust 的学习难度之恶名，可能有一半来源于 Rust 的类型系统，而其中一半的一半则来自于本章节的内容。在本章，我们将重点学习如何创建自定义类型，以及了解何为动态大小的类型。 - -## newtype -何为 `newtype`？简单来说，就是使用[元组结构体](https://course.rs/basic/compound-type/struct.html#元组结构体tuple-struct)的方式将已有的类型包裹起来：`struct Meters(u32);`，那么此处 `Meters` 就是一个 `newtype`。 - -为何需要 `newtype`？Rust 这多如繁星的 Old 类型满足不了我们吗？这是因为： - -- 自定义类型可以让我们给出更有意义和可读性的类型名，例如与其使用 `u32` 作为距离的单位类型，我们可以使用 `Meters`，它的可读性要好得多 -- 对于某些场景，只有 `newtype` 可以很好地解决 -- 隐藏内部类型的细节 - -一箩筐的理由～～ 让我们先从第二点讲起。 - -#### 为外部类型实现外部特征 -在之前的章节中，我们有讲过，如果在外部类型上实现外部特征必须使用 `newtype` 的方式，否则你就得遵循孤儿规则：要为类型 `A` 实现特征 `T`，那么 `A` 或者 `T` 必须至少有一个在当前的作用范围内。 - -例如，如果想使用 `println!("{}", v)` 的方式去格式化输出一个动态数组 `Vec`，以期给用户提供更加清晰可读的内容，那么就需要为 `Vec` 实现 `Display` 特征，但是这里有一个问题： `Vec` 类型定义在标准库中，`Display` 亦然，这时就可以祭出大杀器 `newtype` 来解决： -```rust -use std::fmt; - -struct Wrapper(Vec); - -impl fmt::Display for Wrapper { - fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { - write!(f, "[{}]", self.0.join(", ")) - } -} - -fn main() { - let w = Wrapper(vec![String::from("hello"), String::from("world")]); - println!("w = {}", w); -} -``` - -如上所示，使用元组结构体语法 `struct Wrapper(Vec)` 创建了一个 `newtype` Wrapper，然后为它实现 `Display` 特征，最终实现了对 `Vec` 动态数组的格式化输出。 - -#### 更好的可读性及类型异化 -首先，更好的可读性不等于更少的代码（如果你学过Scala，相信会深有体会），其次下面的例子只是一个示例，未必能体现出更好的可读性： -```rust -use std::ops::Add; -use std::fmt; - -struct Meters(u32); -impl fmt::Display for Meters { - fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { - write!(f, "目标地点距离你{}米", self.0) - } -} - -impl Add for Meters { - type Output = Self; - - fn add(self, other: Meters) -> Self { - Self(self.0 + other.0) - } -} -fn main() { - let d = calculate_distance(Meters(10), Meters(20)); - println!("{}", d); -} - -fn calculate_distance(d1: Meters, d2: Meters) -> Meters { - d1 + d2 -} -``` - -上面代码创建了一个 `newtype` Meters，为其实现 `Display` 和 `Add` 特征，接着对两个距离进行求和计算，最终打印出该距离： -```console -目标地点距离你30米 -``` - -事实上，除了可读性外，还有一个极大的优点：如果给 `calculate_distance` 传一个其它的类型，例如 `struct MilliMeters(u32);`，该代码将无法编译。尽管 `Meters` 和 `MilliMeters` 都是对 `u32` 类型的简单包装，但是**它们是不同的类型**！ - -#### 隐藏内部类型的细节 -众所周知，Rust 的类型有很多自定义的方法，假如我们把某个类型传给了用户，但是又不想用户调用这些方法，就可以使用 `newtype`： -```rust -struct Meters(u32); - -fn main() { - let i: u32 = 2; - assert_eq!(i.pow(2), 4); - - let n = Meters(i); - // 下面的代码将报错，因为`Meters`类型上没有`pow`方法 - // assert_eq!(n.pow(2), 4); -} -``` - -不过需要偷偷告诉你的是，这种方式实际上是掩耳盗铃，因为用户依然可以通过 `n.0.pow(2)` 的方式来调用内部类型的方法 :) - - -## 类型别名(Type Alias) -除了使用 `newtype`，我们还可以使用一个更传统的方式来创建新类型：类型别名 -```rust -type Meters = u32 -``` - -嗯，不得不说，类型别名的方式看起来比 `newtype` 顺眼的多，而且跟其它语言的使用方式几乎一致，但是： -**类型别名并不是一个独立的全新的类型，而是某一个类型的别名**，因此编译器依然会把 `Meters` 当 `u32` 来使用： -```rust -type Meters = i32; - -let x: u32 = 5; -let y: Meters = 5; - -println!("x + y = {}", x + y); -``` - -上面的代码将顺利编译通过，但是如果你使用 `newtype` 模式，该代码将无情报错，简单做个总结： -- 类型别名仅仅是别名，只是为了让可读性更好，并不是全新的类型，`newtype` 才是！ -- 类型别名无法实现*为外部类型实现外部特征*等功能，而 `newtype` 可以 - -类型别名除了让类型可读性更好，还能**减少模版代码的使用**： -```rust -let f: Box = Box::new(|| println!("hi")); - -fn takes_long_type(f: Box) { - // --snip-- -} - -fn returns_long_type() -> Box { - // --snip-- -} -``` - -`f` 是一个令人眼花缭乱的类型 `Box`，如果仔细看，会发现其实只有一个 `Send` 特征不认识，`Send` 是什么在这里不重要，你只需理解，`f` 就是一个 `Box` 类型的特征对象，实现了 `Fn()` 和` Send` 特征，同时生命周期为 `'static`。 - -因为 `f` 的类型贼长，导致了后面我们在使用它时，到处都充斥这些不太优美的类型标注，好在类型别名可解君忧： -```rust -type Thunk = Box; - -let f: Thunk = Box::new(|| println!("hi")); - -fn takes_long_type(f: Thunk) { - // --snip-- -} - -fn returns_long_type() -> Thunk { - // --snip-- -} -``` - -Bang！是不是？！立刻大幅简化了我们的使用。喝着奶茶、哼着歌、我写起代码撩起妹，何其快哉！ - -在标准库中，类型别名应用最广的就是简化 `Result` 枚举。 - -例如在 `std::io` 库中，它定义了自己的 `Error` 类型：`std::io::Error`，那么如果要使用该 `Result` 就要用这样的语法：`std::result::Result;`，想象一下代码中充斥着这样的东东是一种什么感受？颤抖吧。。。 - -由于使用 `std::io` 库时，它的所有错误类型都是 `std::io::Error`，那么我们完全可以把该错误对用户隐藏起来，只在内部使用即可，因此就可以使用类型别名来简化实现： -```rust -type Result = std::result::Result; -``` - -Bingo，这样一来，其它库只需要使用 `std::io::Result` 即可替代冗长的 `std::result::Result` 类型。 - -更香的是，由于它只是别名，因此我们可以用它来调用真实类型的所有方法，甚至包括 `?` 符号！ - -## !永不返回类型 -在[函数](https://course.rs/basic/base-type/function.html#永不返回的函数)那章，曾经介绍过 `!` 类型：`!` 用来说明一个函数永不返回任何值，当时可能体会不深，没事，在学习了更多手法后，保证你有全新的体验： -```rust -fn main() { - let i = 2; - let v = match i { - 0..=3 => i, - _ => println!("不合规定的值:{}", i) - }; -} -``` - -上面函数，会报出一个编译错误: -```console -error[E0308]: `match` arms have incompatible types // match的分支类型不同 - --> src/main.rs:5:13 - | -3 | let v = match i { - | _____________- -4 | | 0..3 => i, - | | - this is found to be of type `{integer}` // 该分支返回整数类型 -5 | | _ => println!("不合规定的值:{}", i) - | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected integer, found `()` // 该分支返回()单元类型 -6 | | }; - | |_____- `match` arms have incompatible types -``` - -原因很简单: 要赋值给 `v`，就必须保证 `match` 的各个分支返回的值是同一个类型，但是上面一个分支返回数值、另一个分支返回元类型 `()`，自然会出错。 - -既然 `println` 不行，那再试试 `panic` -```rust -fn main() { - let i = 2; - let v = match i { - 0..=3 => i, - _ => panic!("不合规定的值:{}", i) - }; -} -``` - -神奇的事发生了，此处 `panic` 竟然通过了编译。难道这两个宏拥有不同的返回类型？ - -你猜的没错：`panic` 的返回值是 `!`，代表它决不会返回任何值，既然没有任何返回值，那自然不会存在分支类型不匹配的情况。 - - -## 动态大小类型 -读者大大们之前学过的几乎所有类型，都是固定大小的类型，包括集合 `Vec`、`String` 和 `HashMap` 等，而动态大小类型刚好与之相反：**编译器无法在编译期得知该类型值的大小，只有到了程序运行时，才能动态获知**。对于动态类型，我们使用 `DST`(dynamically sized types)或者 `unsized` 类型来称呼它。 - -上述的这些集合虽然底层数据可动态变化，感觉像是动态大小的类型。但是实际上，这些底层数据只是保存在堆上，在栈中还存有一个引用类型，该引用包含了集合的内存地址、元素数目、分配空间信息，通过这些信息，编译器对于该集合的实际大小了若指掌，因此它们依然是固定大小的类型。 - -现在给你一个挑战：想出一个动态类型。俺厚黑地说一句，估计大部分人都想不出这样的一个类型，就连我，如果不是查询着资料在写，估计也一时半会儿想不到一个。 - -考虑一下这个类型：`str`，感觉有点眼生？是的，它既不是 `String` 动态字符串，也不是 `&str` 字符串切片，而是一个 `str`。它是一个动态类型，同时还是 `String` 和 `&str` 的底层数据类型。 由于 `str` 是动态类型，因此它的大小直到运行期才知道，下面的代码会因此报错： -```rust -// error -let s1: str = "Hello there!"; -let s2: str = "How's it going?"; - -// ok -let s3: &str = "on?" -``` - -Rust 需要明确地知道一个特定类型的值占据了多少内存空间，同时该类型的所有值都必须使用相同大小的内存。如果 Rust 允许我们使用这种动态类型，那么这两个 `str` 值就需要占用同样大小的内存，这显然是不现实的: `s1` 占用了12字节，`s2` 占用了15字节，总不至于为了满足同样的内存大小，用空白字符去填补字符串吧？ - -所以，我们只有一条路走，那就是给它们一个固定大小的类型：`&str`。那么为何字符串切片 `&str` 就是固定大小呢？因为它的引用存储在栈上，具有固定大小(类似指针)，同时它指向的数据存储在堆中，也是已知的大小，再加上 `&str` 引用中包含有堆上数据内存地址、长度等信息，因此最终可以得出字符串切片是固定大小类型的结论。 - -与 `&str` 类似，`String` 字符串也是固定大小的类型。 - -正是因为 `&str` 的引用有了底层堆数据的明确信息，它才是固定大小类型。假设如果它没有这些信息呢？那它也将变成一个动态类型。因此，将动态数据固定化的秘诀就是**使用引用指向这些动态数据，然后在引用中存储相关的内存位置、长度等信息**。 - -我们之前已经见过，使用 `Box` 将一个没有固定大小的特征变成一个有固定大小的特征对象，那能否故技重施，将 `str` 封装成一个固定大小类型？留个悬念先，我们来看看 `Sized` 特征。 - -> Rust中最常见的 `DST` 类型: `str`、`[T]`、`dyn Trait` - -#### Sized 特征 -既然动态类型的问题这么大，那么在使用泛型时，Rust 如何保证我们的泛型参数是固定大小的类型呢？例如以下泛型函数： -```rust -fn generic(t: T) { - // --snip-- -} -``` - -该函数很简单，就一个泛型参数T，那么如何保证 `T` 是固定大小的类型？仔细回想下，貌似在之前的课程章节中，我们也没有做过任何事情去做相关的限制，那 `T` 怎么就成了固定大小的类型了？奥秘在于编译器自动帮我们加上了 `Sized` 特征约束： -```rust -fn generic(t: T) { - // --snip-- -} -``` - -在上面，Rust 自动添加的特征约束 `T: Sized`，表示泛型函数只能用于一切实现了 `Sized` 特征的类型上，而**所有在编译时就能知道其大小的类型，都会自动实现 `Sized` 特征**，例如。。。。也没啥好例如的，你能想到的几乎类型都实现了 `Sized` 特征，除了上面那个坑坑的 `str`，哦，还有特征。 - -**每一个特征都是一个可以通过名称来引用的动态大小类型**。因此如果想把特征作为具体的类型来传递给函数，你必须将其转换成一个特征对象：诸如 `&dyn Trait` 或者 `Box` (还有 `Rc`)这些引用类型。 - -现在还有一个问题：假如想在泛型函数中使用动态数据类型怎么办？可以使用 `?Sized` 特征(不得不说这个命名方式很 Rusty，竟然有点幽默)： -```rust -fn generic(t: &T) { - // --snip-- -} -``` - -`?Sized` 特征用于表明类型 `T` 既有可能是固定大小的类型，也可能是动态大小的类型。还有一点要注意的是，函数参数类型从 `T` 变成了 `&T`，因为 `T` 可能是动态大小的，因此需要用一个固定大小的指针(引用)来包裹它。 - - -#### Box -在结束前，再来看看之前遗留的问题：使用 `Box` 可以将一个动态大小的特征变成一个具有固定大小的特征对象，能否故技重施，将 `str` 封装成一个固定大小类型？ - -先回想下，章节前面的内容介绍过该如何把一个动态大小类型转换成固定大小的类型： **使用引用指向这些动态数据，然后在引用中存储相关的内存位置、长度等信息**。 - -好的，根据这个，我们来一起推测。首先，`Box` 使用了一个引用来指向 `str`，嗯，满足了第一个条件。但是第二个条件呢？`Box` 中有该 `str` 的长度信息吗？显然是 `No`。那为什么特征就可以变成特征对象？其实这个还蛮复杂的，简单来说，对于特征对象，编译器无需知道它具体是什么类型，只要知道它能调用哪几个方法即可，因此编译器帮我们实现了剩下的一切。 - -来验证下我们的推测： -```rust -fn main() { - let s1: Box = Box::new("Hello there!" as str); -} -``` - -报错如下： -``` -error[E0277]: the size for values of type `str` cannot be known at compilation time - --> src/main.rs:2:24 - | -2 | let s1: Box = Box::new("Hello there!" as str); - | ^^^^^^^^ doesn't have a size known at compile-time - | - = help: the trait `Sized` is not implemented for `str` - = note: all function arguments must have a statically known size -``` - -提示得很清晰，不知道 `str` 的大小，因此无法对其使用 `Box` 进行封装。 - diff --git a/contents/advance/into-types/custom-type.md b/contents/advance/into-types/custom-type.md index f7d21cc4..bb66c5c8 100644 --- a/contents/advance/into-types/custom-type.md +++ b/contents/advance/into-types/custom-type.md @@ -1 +1,201 @@ -# newtype 和 类型别名 +# 深入 Rust 类型 +弱弱地、不负责任地说，Rust 的学习难度之恶名，可能有一半来源于 Rust 的类型系统，而其中一半的一半则来自于本章节的内容。在本章，我们将重点学习如何创建自定义类型，以及了解何为动态大小的类型。 + +## newtype +何为 `newtype`？简单来说，就是使用[元组结构体](https://course.rs/basic/compound-type/struct.html#元组结构体tuple-struct)的方式将已有的类型包裹起来：`struct Meters(u32);`，那么此处 `Meters` 就是一个 `newtype`。 + +为何需要 `newtype`？Rust 这多如繁星的 Old 类型满足不了我们吗？这是因为： + +- 自定义类型可以让我们给出更有意义和可读性的类型名，例如与其使用 `u32` 作为距离的单位类型，我们可以使用 `Meters`，它的可读性要好得多 +- 对于某些场景，只有 `newtype` 可以很好地解决 +- 隐藏内部类型的细节 + +一箩筐的理由～～ 让我们先从第二点讲起。 + +#### 为外部类型实现外部特征 +在之前的章节中，我们有讲过，如果在外部类型上实现外部特征必须使用 `newtype` 的方式，否则你就得遵循孤儿规则：要为类型 `A` 实现特征 `T`，那么 `A` 或者 `T` 必须至少有一个在当前的作用范围内。 + +例如，如果想使用 `println!("{}", v)` 的方式去格式化输出一个动态数组 `Vec`，以期给用户提供更加清晰可读的内容，那么就需要为 `Vec` 实现 `Display` 特征，但是这里有一个问题： `Vec` 类型定义在标准库中，`Display` 亦然，这时就可以祭出大杀器 `newtype` 来解决： +```rust +use std::fmt; + +struct Wrapper(Vec); + +impl fmt::Display for Wrapper { + fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { + write!(f, "[{}]", self.0.join(", ")) + } +} + +fn main() { + let w = Wrapper(vec![String::from("hello"), String::from("world")]); + println!("w = {}", w); +} +``` + +如上所示，使用元组结构体语法 `struct Wrapper(Vec)` 创建了一个 `newtype` Wrapper，然后为它实现 `Display` 特征，最终实现了对 `Vec` 动态数组的格式化输出。 + +#### 更好的可读性及类型异化 +首先，更好的可读性不等于更少的代码（如果你学过Scala，相信会深有体会），其次下面的例子只是一个示例，未必能体现出更好的可读性： +```rust +use std::ops::Add; +use std::fmt; + +struct Meters(u32); +impl fmt::Display for Meters { + fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { + write!(f, "目标地点距离你{}米", self.0) + } +} + +impl Add for Meters { + type Output = Self; + + fn add(self, other: Meters) -> Self { + Self(self.0 + other.0) + } +} +fn main() { + let d = calculate_distance(Meters(10), Meters(20)); + println!("{}", d); +} + +fn calculate_distance(d1: Meters, d2: Meters) -> Meters { + d1 + d2 +} +``` + +上面代码创建了一个 `newtype` Meters，为其实现 `Display` 和 `Add` 特征，接着对两个距离进行求和计算，最终打印出该距离： +```console +目标地点距离你30米 +``` + +事实上，除了可读性外，还有一个极大的优点：如果给 `calculate_distance` 传一个其它的类型，例如 `struct MilliMeters(u32);`，该代码将无法编译。尽管 `Meters` 和 `MilliMeters` 都是对 `u32` 类型的简单包装，但是**它们是不同的类型**！ + +#### 隐藏内部类型的细节 +众所周知，Rust 的类型有很多自定义的方法，假如我们把某个类型传给了用户，但是又不想用户调用这些方法，就可以使用 `newtype`： +```rust +struct Meters(u32); + +fn main() { + let i: u32 = 2; + assert_eq!(i.pow(2), 4); + + let n = Meters(i); + // 下面的代码将报错，因为`Meters`类型上没有`pow`方法 + // assert_eq!(n.pow(2), 4); +} +``` + +不过需要偷偷告诉你的是，这种方式实际上是掩耳盗铃，因为用户依然可以通过 `n.0.pow(2)` 的方式来调用内部类型的方法 :) + + +## 类型别名(Type Alias) +除了使用 `newtype`，我们还可以使用一个更传统的方式来创建新类型：类型别名 +```rust +type Meters = u32 +``` + +嗯，不得不说，类型别名的方式看起来比 `newtype` 顺眼的多，而且跟其它语言的使用方式几乎一致，但是： +**类型别名并不是一个独立的全新的类型，而是某一个类型的别名**，因此编译器依然会把 `Meters` 当 `u32` 来使用： +```rust +type Meters = i32; + +let x: u32 = 5; +let y: Meters = 5; + +println!("x + y = {}", x + y); +``` + +上面的代码将顺利编译通过，但是如果你使用 `newtype` 模式，该代码将无情报错，简单做个总结： +- 类型别名仅仅是别名，只是为了让可读性更好，并不是全新的类型，`newtype` 才是！ +- 类型别名无法实现*为外部类型实现外部特征*等功能，而 `newtype` 可以 + +类型别名除了让类型可读性更好，还能**减少模版代码的使用**： +```rust +let f: Box = Box::new(|| println!("hi")); + +fn takes_long_type(f: Box) { + // --snip-- +} + +fn returns_long_type() -> Box { + // --snip-- +} +``` + +`f` 是一个令人眼花缭乱的类型 `Box`，如果仔细看，会发现其实只有一个 `Send` 特征不认识，`Send` 是什么在这里不重要，你只需理解，`f` 就是一个 `Box` 类型的特征对象，实现了 `Fn()` 和` Send` 特征，同时生命周期为 `'static`。 + +因为 `f` 的类型贼长，导致了后面我们在使用它时，到处都充斥这些不太优美的类型标注，好在类型别名可解君忧： +```rust +type Thunk = Box; + +let f: Thunk = Box::new(|| println!("hi")); + +fn takes_long_type(f: Thunk) { + // --snip-- +} + +fn returns_long_type() -> Thunk { + // --snip-- +} +``` + +Bang！是不是？！立刻大幅简化了我们的使用。喝着奶茶、哼着歌、我写起代码撩起妹，何其快哉！ + +在标准库中，类型别名应用最广的就是简化 `Result` 枚举。 + +例如在 `std::io` 库中，它定义了自己的 `Error` 类型：`std::io::Error`，那么如果要使用该 `Result` 就要用这样的语法：`std::result::Result;`，想象一下代码中充斥着这样的东东是一种什么感受？颤抖吧。。。 + +由于使用 `std::io` 库时，它的所有错误类型都是 `std::io::Error`，那么我们完全可以把该错误对用户隐藏起来，只在内部使用即可，因此就可以使用类型别名来简化实现： +```rust +type Result = std::result::Result; +``` + +Bingo，这样一来，其它库只需要使用 `std::io::Result` 即可替代冗长的 `std::result::Result` 类型。 + +更香的是，由于它只是别名，因此我们可以用它来调用真实类型的所有方法，甚至包括 `?` 符号！ + +## !永不返回类型 +在[函数](https://course.rs/basic/base-type/function.html#永不返回的函数)那章，曾经介绍过 `!` 类型：`!` 用来说明一个函数永不返回任何值，当时可能体会不深，没事，在学习了更多手法后，保证你有全新的体验： +```rust +fn main() { + let i = 2; + let v = match i { + 0..=3 => i, + _ => println!("不合规定的值:{}", i) + }; +} +``` + +上面函数，会报出一个编译错误: +```console +error[E0308]: `match` arms have incompatible types // match的分支类型不同 + --> src/main.rs:5:13 + | +3 | let v = match i { + | _____________- +4 | | 0..3 => i, + | | - this is found to be of type `{integer}` // 该分支返回整数类型 +5 | | _ => println!("不合规定的值:{}", i) + | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected integer, found `()` // 该分支返回()单元类型 +6 | | }; + | |_____- `match` arms have incompatible types +``` + +原因很简单: 要赋值给 `v`，就必须保证 `match` 的各个分支返回的值是同一个类型，但是上面一个分支返回数值、另一个分支返回元类型 `()`，自然会出错。 + +既然 `println` 不行，那再试试 `panic` +```rust +fn main() { + let i = 2; + let v = match i { + 0..=3 => i, + _ => panic!("不合规定的值:{}", i) + }; +} +``` + +神奇的事发生了，此处 `panic` 竟然通过了编译。难道这两个宏拥有不同的返回类型？ + +你猜的没错：`panic` 的返回值是 `!`，代表它决不会返回任何值，既然没有任何返回值，那自然不会存在分支类型不匹配的情况。 diff --git a/contents/advance/into-types/sized.md b/contents/advance/into-types/sized.md index c7a4d833..593c101a 100644 --- a/contents/advance/into-types/sized.md +++ b/contents/advance/into-types/sized.md @@ -1 +1,122 @@ # Sized、UnSized和DST +在 Rust 中类型有多种抽象的分类方式，例如本书之前章节的：基本类型、集合类型、复合类型等。再比如说，如果从编译器何时能获知类型大小的角度出发，可以分成两类: + +- 定长类型( sized )，这些类型的大小在编译时是已知的 +- 不定长类型( unsized )，与定长类型相反，它的大小只有到了程序运行时才能动态获知，这种类型又被称之为 DST + +首先，我们来深入看看何为 DST。 + +## 动态大小类型 DST +读者大大们之前学过的几乎所有类型，都是固定大小的类型，包括集合 `Vec`、`String` 和 `HashMap` 等，而动态大小类型刚好与之相反：**编译器无法在编译期得知该类型值的大小，只有到了程序运行时，才能动态获知**。对于动态类型，我们使用 `DST`(dynamically sized types)或者 `unsized` 类型来称呼它。 + +上述的这些集合虽然底层数据可动态变化，感觉像是动态大小的类型。但是实际上，**这些底层数据只是保存在堆上，在栈中还存有一个引用类型**，该引用包含了集合的内存地址、元素数目、分配空间信息，通过这些信息，编译器对于该集合的实际大小了若指掌，最最重要的是：**栈上的引用类型是固定大小的**，因此它们依然是固定大小的类型。 + +**正因为编译器无法在编译期获知类型大小，若你试图在代码中直接使用 DST 类型，将无法通过编译。** + +现在给你一个挑战：想出几个 DST 类型。俺厚黑地说一句，估计大部分人都想不出这样的一个类型，就连我，如果不是查询着资料在写，估计也一时半会儿想不到一个。 + +先来看一个最直白的： +#### 试图创建动态大小的数组 +```rust +fn my_function(n: usize) { + let array = [123; n]; +} +``` + +以上代码就会报错(错误输出的内容并不是因为 DST，但根本原因是类似的)，因为 `n` 在编译期无法得知，而数组类型的一个组成部分就是长度，长度变为动态的，自然类型就变成了 unsized 。 + +#### 切片 +切片也是一个典型的 DST 类型，具体详情参见另一篇文章: [易混淆的切片和切片引用](https://course.rs/confonding/slice.html)。 + +#### str +考虑一下这个类型：`str`，感觉有点眼生？是的，它既不是 `String` 动态字符串，也不是 `&str` 字符串切片，而是一个 `str`。它是一个动态类型，同时还是 `String` 和 `&str` 的底层数据类型。 由于 `str` 是动态类型，因此它的大小直到运行期才知道，下面的代码会因此报错： +```rust +// error +let s1: str = "Hello there!"; +let s2: str = "How's it going?"; + +// ok +let s3: &str = "on?" +``` + +Rust 需要明确地知道一个特定类型的值占据了多少内存空间，同时该类型的所有值都必须使用相同大小的内存。如果 Rust 允许我们使用这种动态类型，那么这两个 `str` 值就需要占用同样大小的内存，这显然是不现实的: `s1` 占用了12字节，`s2` 占用了15字节，总不至于为了满足同样的内存大小，用空白字符去填补字符串吧？ + +所以，我们只有一条路走，那就是给它们一个固定大小的类型：`&str`。那么为何字符串切片 `&str` 就是固定大小呢？因为它的引用存储在栈上，具有固定大小(类似指针)，同时它指向的数据存储在堆中，也是已知的大小，再加上 `&str` 引用中包含有堆上数据内存地址、长度等信息，因此最终可以得出字符串切片是固定大小类型的结论。 + +与 `&str` 类似，`String` 字符串也是固定大小的类型。 + +正是因为 `&str` 的引用有了底层堆数据的明确信息，它才是固定大小类型。假设如果它没有这些信息呢？那它也将变成一个动态类型。因此，将动态数据固定化的秘诀就是**使用引用指向这些动态数据，然后在引用中存储相关的内存位置、长度等信息**。 + +#### 特征对象 +```rust +fn foobar_1(thing: &dyn MyThing) {} // OK +fn foobar_2(thing: Box) {} // OK +fn foobar_3(thing: MyThing) {} // ERROR! +``` + +如上所示，只能通过引用或 `Box` 的方式来使用特征对象，直接使用将报错！ + +#### 总结：只能间接使用的 DST +Rust中常见的 `DST` 类型有: `str`、`[T]`、`dyn Trait`，**它们都无法单独被使用，必须要通过引用或者 `Box` 来间接使用** 。 + +我们之前已经见过，使用 `Box` 将一个没有固定大小的特征变成一个有固定大小的特征对象，那能否故技重施，将 `str` 封装成一个固定大小类型？留个悬念先，我们来看看 `Sized` 特征。 + + + +## Sized 特征 +既然动态类型的问题这么大，那么在使用泛型时，Rust 如何保证我们的泛型参数是固定大小的类型呢？例如以下泛型函数： +```rust +fn generic(t: T) { + // --snip-- +} +``` + +该函数很简单，就一个泛型参数T，那么如何保证 `T` 是固定大小的类型？仔细回想下，貌似在之前的课程章节中，我们也没有做过任何事情去做相关的限制，那 `T` 怎么就成了固定大小的类型了？奥秘在于编译器自动帮我们加上了 `Sized` 特征约束： +```rust +fn generic(t: T) { + // --snip-- +} +``` + +在上面，Rust 自动添加的特征约束 `T: Sized`，表示泛型函数只能用于一切实现了 `Sized` 特征的类型上，而**所有在编译时就能知道其大小的类型，都会自动实现 `Sized` 特征**，例如。。。。也没啥好例如的，你能想到的几乎类型都实现了 `Sized` 特征，除了上面那个坑坑的 `str`，哦，还有特征。 + +**每一个特征都是一个可以通过名称来引用的动态大小类型**。因此如果想把特征作为具体的类型来传递给函数，你必须将其转换成一个特征对象：诸如 `&dyn Trait` 或者 `Box` (还有 `Rc`)这些引用类型。 + +现在还有一个问题：假如想在泛型函数中使用动态数据类型怎么办？可以使用 `?Sized` 特征(不得不说这个命名方式很 Rusty，竟然有点幽默)： +```rust +fn generic(t: &T) { + // --snip-- +} +``` + +`?Sized` 特征用于表明类型 `T` 既有可能是固定大小的类型，也可能是动态大小的类型。还有一点要注意的是，函数参数类型从 `T` 变成了 `&T`，因为 `T` 可能是动态大小的，因此需要用一个固定大小的指针(引用)来包裹它。 + + +## Box +在结束前，再来看看之前遗留的问题：使用 `Box` 可以将一个动态大小的特征变成一个具有固定大小的特征对象，能否故技重施，将 `str` 封装成一个固定大小类型？ + +先回想下，章节前面的内容介绍过该如何把一个动态大小类型转换成固定大小的类型： **使用引用指向这些动态数据，然后在引用中存储相关的内存位置、长度等信息**。 + +好的，根据这个，我们来一起推测。首先，`Box` 使用了一个引用来指向 `str`，嗯，满足了第一个条件。但是第二个条件呢？`Box` 中有该 `str` 的长度信息吗？显然是 `No`。那为什么特征就可以变成特征对象？其实这个还蛮复杂的，简单来说，对于特征对象，编译器无需知道它具体是什么类型，只要知道它能调用哪几个方法即可，因此编译器帮我们实现了剩下的一切。 + +来验证下我们的推测： +```rust +fn main() { + let s1: Box = Box::new("Hello there!" as str); +} +``` + +报错如下： +``` +error[E0277]: the size for values of type `str` cannot be known at compilation time + --> src/main.rs:2:24 + | +2 | let s1: Box = Box::new("Hello there!" as str); + | ^^^^^^^^ doesn't have a size known at compile-time + | + = help: the trait `Sized` is not implemented for `str` + = note: all function arguments must have a statically known size +``` + +提示得很清晰，不知道 `str` 的大小，因此无法对其使用 `Box` 进行封装。 +