Move —— 泛型 (Generics)

#Move

泛型是实现代码复用的核心机制，允许用类型占位符编写通用的数据结构和函数。本文介绍泛型结构体和泛型函数的定义语法、编译器的类型推断机制，以及泛型参数默认无能力的安全设计及其对编码的影响。

1. 为什么需要泛型？

泛型是一种 代码复用 (Code Reusability) 机制，允许在定义数据结构或函数时使用 类型占位符 (Type Placeholder)（通常命名为 T）来替代具体类型。

设计目的： 消除因数据类型不同而产生的重复代码，实现逻辑的通用化。
编译机制： Move 编译器在编译时会根据具体调用情况，生成对应的具体类型代码（单态化），不会带来运行时的性能损耗。

模型图解：

       泛型定义 (Template)               实例化 (Instantiation)
+-------------------------+          +-------------------------+
|      struct Box<T>      |   --->   |    Box<u256> (T=u256)     |
|       value: T          |          |    Box<bool>(T=bool)    |
+-------------------------+          +-------------------------+
            ⬆️
      T 是占位符 (Placeholder)

2. 泛型结构体 (Generic Structs)

通过在结构体名称后声明 <T>，定义一个可容纳任意类型的容器结构。

语法定义：

1
2
3

public struct <StructName><T> {
    field_name: T,
}

示例：

// 定义：T 代表任意具体的类型
public struct Box<T> {
    value: T
}

// 实例化过程
// 场景 1: T 被实例化为 u256
let box_u256 = Box { value: 42 };

// 场景 2: T 被实例化为 bool
let box_bool = Box { value: true };

3. 泛型函数 (Generic Functions)

函数签名中支持声明泛型参数，使函数逻辑能够处理多种数据类型。

语法定义：

1	public fun <FunctionName><T>(param: T): <ReturnType> { ... }

示例：

// 通用构造函数：接受类型 T，返回包含了 T 的 Box
public fun create_box<T>(value: T): Box<T> {
    Box { value }
}

4. 类型推断 (Type Inference)

Move 编译器具备静态分析能力，能够根据函数参数的类型上下文自动推导泛型 T 的具体类型。

显式指定 (Explicit)：create_box<u256>(100) —— 明确指定类型，适用于编译器无法推断的边缘情况。
隐式推断 (Implicit)：create_box(100) —— 编译器根据参数 100 (u256) 自动认定 T 为 u256。（推荐用法）

5. 泛型的默认行为与能力限制

在 Move 语言的安全模型中，泛型类型参数 T 默认 不具备任何能力 (No Abilities)。

安全机制说明： 由于编译器在定义阶段无法预知 T 的具体类型（可能是普通的 u256，也可能是受限的 Coin 资产），为了防止资源被意外复制或丢弃，编译器采取了 最严格的安全策略：

不可复制：无法对泛型变量进行 copy 操作。
不可丢弃：泛型变量离开作用域时，不会自动执行 drop。

编码影响： 在使用包含泛型 T 的结构体（如 Box<T>）时，若 T 未声明 drop 能力约束，开发者必须手动解构（Unpack）该结构体以消耗其所有权，否则将导致编译错误。

6. 代码演示

use std::debug;

// 定义泛型结构体
public struct Box<T> {
    value: T
}

// 定义泛型函数
public fun create_box<T>(value: T): Box<T> {
    Box { value }
}

public fun main() {
    // 类型推断
    let box_u256 = create_box(100);  // T = u256
    debug::print(&box_u256);

    let box_bool = create_box(true); // T = bool
    debug::print(&box_bool));

    // 资源安全处理

    // 必须手动解构 (Unpack)
    // 原因：T 默认无 drop 能力，Box 不能被自动销毁
    let Box { value: _ } = box_u256;
    let Box { value: _ } = box_bool;
}

7. 总结

概念	语法示例	作用
泛型结构体	`struct Box<T> { v: T }`	定义通用的数据容器，消除代码冗余
泛型函数	`fun foo<T>(x: T)`	定义通用的逻辑处理
类型推断	`create_box(10)`	编译器自动识别 `T`，无需写 `<u256>`
能力陷阱	默认 `T` 无能力	防止未知类型的资产被错误操作，需手动处理或加约束

#Move