泛型（Generics）

泛型允许你编写灵活、可复用的代码，适用于任何类型，同时保持编译时安全性。

在 Toka 中，定义自定义泛型时通常使用直观的 T（不带单引号）形式。带单引号的 'T（Morphic 泛型）仅在编写通用容器场景下需要，用以动态兼容灵魂元素与指针元素。

泛型函数

使用标准的 T 语法定义泛型函数：

fn identity<T>(value: T) -> T <- value {
    return value
}

auto x = identity(42)      // 适用于整数
auto y = identity("hello") // 适用于字符串

泛型约束

使用 trait 约束泛型：

fn max<T: @PartialOrd>(a: T, b: T) -> T {
    if a > b {
        return a
    }
    return b
}

该函数适用于任何实现了 @PartialOrd 的类型。

泛型数据结构

pub shape Pair<'A, 'B>('first: A, 'second: B)

当定义带单引号前缀（如 'A）的 Morphic 泛型 Shape 时，对应的字段绑定名也要带单引号前缀（如 'first: A），而类型侧保持 A。这会保留 handle 形态，但不会把形态写进 payload 类型。泛型代码需要保留形态时使用 value.'first；刻意请求 payload 视图时使用 value.first。

Morphic 泛型与普通泛型的选择

在定义自定义泛型或泛型参数时，Toka 支持带单引号（如 'T）和不带单引号（如 T）两种写法。它们的核心区别和应用场景如下：

• T（普通泛型，不带单引号）：一般自定义泛型时仅需要 T 这种形式。无论你是编写高层业务逻辑、自定义普通数据结构，还是编写普通的辅助函数，均直接推荐使用标准泛型 T。它完全消除了单引号的语法噪点，最符合日常开发直觉。
• 'T（Morphic 泛型，带单引号）：仅在开发底层通用容器或极少数基础库组件（如 Vec、HashMap、Slab 或并发通道 Channel）时，才需要使用 'T 参数写法。因为通用容器必须同时兼容灵魂元素（裸结构体值类型）与指针元素（如 ^ 独占指针或 ~ 共享指针等），Morphic 泛型能够通过多态形态自适应避免“灵魂塌陷”，确保极高效率。

[!NOTE] 在大多数日常编程中，你只需要像传统编程语言那样使用 T 即可，这极大地简化了代码的可读性。

类型推断

在大多数情况下，Toka 可以推断泛型类型，因此你很少需要显式指定：

fn pair<'A, 'B>('a: A, 'b: B) -> Pair<'A, 'B> <- 'a | 'b {
    return Pair(first = 'a, second = 'b)
}

auto p = pair(1, "world")  // Pair<i32, str>

泛型要求

使用 trait 约束来指定泛型类型必须支持的操作：