第八章 · Move 语法高级
本章介绍泛型与类型反射，涉及类型参数、能力约束以及运行时类型信息，是编写可复用、类型安全的 Move 库与框架的必备内容。
本章内容
| 节 | 主题 | 核心知识点 |
|---|---|---|
| 8.1 | 泛型基础 | 泛型函数与泛型结构体、类型参数、多类型参数 |
| 8.2 | 类型参数与能力约束 | 能力约束、泛型与对象 |
| 8.3 | phantom 类型参数 | 类型标签、与非 phantom 对比、常见错误 |
| 8.4 | 类型反射 | type_name 模块、运行时类型信息与使用场景 |
| 8.5 | 编译模式（Modes） | #[mode(name)]、–mode 构建、不可发布代码 |
| 8.6 | 下标语法（Index Syntax） | #[syntax(index)]、自定义类型的索引访问与规则 |
节与正文、示例代码
| 节 | 正文 | 配套 code/ |
|---|---|---|
| 8.1 | 泛型基础 | code/01-generics-basics/ |
| 8.2 | 类型参数与能力约束 | code/02-type-parameters-and-constraints/ |
| 8.3 | phantom 类型参数 | code/03-phantom-type-parameters/ |
| 8.4 | 类型反射 | code/04-type-reflection/ |
| 8.5 | 编译模式（Modes） | code/05-compilation-modes/ |
| 8.6 | 下标语法 | code/06-index-syntax/ |
学习目标
读完本章后，你将能够：
- 编写泛型函数与泛型结构体，并正确施加能力约束
- 正确使用
phantom，区分「仅类型标签」与「字段中使用的类型参数」 - 在需要时使用类型反射获取运行时类型信息
- 使用编译模式控制调试/测试等不可发布代码的编入与发布安全
- 为自定义类型定义下标语法（
#[syntax(index)]）并遵守只读/可写成对规则
本章实战练习
每章 1～3 个动手任务见 hands-on.md（目录中亦列为「本章实战练习」）。