From 3319c88dc91948a3aa1d5d2ebaf4eacf26fedd8a Mon Sep 17 00:00:00 2001 From: Allan Downey Date: Sat, 2 Jul 2022 10:22:43 +0800 Subject: [PATCH] update(index-list): update newtype --- src/index-list.md | 37 ++++++++++++++++++++----------------- 1 file changed, 20 insertions(+), 17 deletions(-) diff --git a/src/index-list.md b/src/index-list.md index dde2bbaf..1002b0c4 100644 --- a/src/index-list.md +++ b/src/index-list.md @@ -70,7 +70,7 @@ [array 数组]: https://course.rs/basic/compound-type/array.html [array slice]: https://course.rs/basic/compound-type/array.html#数组切片 -[as转换]: https://course.rs/basic/converse.html#as转换 +[as 转换]: https://course.rs/basic/converse.html#as转换 [back](#head) @@ -282,13 +282,15 @@ ## N -| 名称 | 关键字 | 简介 | -| --------- | ------ | ------------------------------------------------------------------------------------------ | -| [newtype] | | 为一个[元组结构体]创建新类型。该元组结构体封装有一个字段，该字段就是希望实现特征的具体类型 | -| | KWN | | +| 名称 | 关键字 | 简介 | +| ------------------- | ------- | ------------------------------------------------------------------------------------------ | +| [newtype for Trait] | newtype | 为一个[元组结构体]创建新类型。该元组结构体封装有一个字段，该字段就是希望实现特征的具体类型 | +| [newtype ] | newtype | 深入 Rust 类型 | +| | KWN | | -[newtype]: https://course.rs/basic/trait/advance-trait.html#在外部类型上实现外部特征newtype +[newtype for trait]: https://course.rs/basic/trait/advance-trait.html#在外部类型上实现外部特征newtype [元组结构体]: https://course.rs/basic/compound-type/struct.html#元组结构体tuple-struct +[newtype ]: http://localhost:8080/advance/into-types/custom-type.html#newtype [back](#head) @@ -387,17 +389,17 @@ ## T -| 名称 | 关键字 | 简介 | -| ------------------------------------------ | ---------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | -| [Tuple 元组] | | 由多种类型组合一起，元组的长度是固定的，元组中元素的顺序也是固定的
用模式匹配解构元组：`let (x, y, z) = (20, 19.2, 1)`
用 `.` 来访问元组：`tuple.0` 索引从 0 开始 | -| [Tuple Struct] | 元组结构体 | 结构体必须要有名称，但字段可以没有名称
`struct Color(i32, i32, i32);` | -| [Trait 特征] | 特征 | 一个可以被共享的行为，只要实现了特征，你就能使用该行为 | -| [T: Trait] | 特征约束 | 还可以有多重约束，`T: Trait1 + Trait2`
另见：[where 约束] | -| [Trait Object] | 特征对象 | 特征对象指向实现了 `Trait` 特征的类型的实例，可以在运行时通过特征对象找到具体调用的类型方法 | -| `type` 1. [关联类型] 2. [默认泛型类型参数] | | 1. `type Item;`
`Self` 用来指代当前调用者的具体类型，那么 `Self::em` 就用来指代该类型实现中定义的 `Item` 类型
2. `type Output = Struct;`
指定一个默认值，返回一个关联类型 `Output` | -| [特征定义中的特征约束] | 特征 | 用来说明一个特征需要实现另一个特征 | -| [TryInto 转换] | 类型转换 | 尝试进行一次转换，并返回一个 `Result`，可以对其进行相应的错误处理 | -| | KWT | | +| 名称 | 关键字 | 简介 | +| -------------------------------------------------------- | ---------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | +| [Tuple 元组] | | 由多种类型组合一起，元组的长度是固定的，元组中元素的顺序也是固定的
用模式匹配解构元组：`let (x, y, z) = (20, 19.2, 1)`
用 `.` 来访问元组：`tuple.0` 索引从 0 开始 | +| [Tuple Struct] | 元组结构体 | 结构体必须要有名称，但字段可以没有名称
`struct Color(i32, i32, i32);` | +| [Trait 特征] | 特征 | 一个可以被共享的行为，只要实现了特征，你就能使用该行为 | +| [T: Trait] | 特征约束 | 还可以有多重约束，`T: Trait1 + Trait2`
另见：[where 约束] | +| [Trait Object] | 特征对象 | 特征对象指向实现了 `Trait` 特征的类型的实例，可以在运行时通过特征对象找到具体调用的类型方法 | +| `type` 1. [关联类型] 2. [默认泛型类型参数] 3. [类型别名] | | 1. `type Item;`
`Self` 用来指代当前调用者的具体类型，那么 `Self::em` 就用来指代该类型实现中定义的 `Item` 类型
2. `type Output = Struct;`
指定一个默认值，返回一个关联类型 `Output` | +| [特征定义中的特征约束] | 特征 | 用来说明一个特征需要实现另一个特征 | +| [TryInto 转换] | 类型转换 | 尝试进行一次转换，并返回一个 `Result`，可以对其进行相应的错误处理 | +| | KWT | | [tuple 元组]: https://course.rs/basic/compound-type/tuple.html#元组 [tuple struct]: https://course.rs/basic/compound-type/struct.html#元组结构体tuple-struct @@ -408,6 +410,7 @@ [默认泛型类型参数]: https://course.rs/basic/trait/advance-trait.html#默认泛型类型参数 [特征定义中的特征约束]: https://course.rs/basic/trait/advance-trait.html#特征定义中的特征约束 [tryinto 转换]: https://course.rs/basic/converse.html#tryinto-转换 +[类型别名]: https://course.rs/advance/into-types/custom-type.html#类型别名type-alias [back](#head)