0Pricing
Zig Academy · 课时

接收类型的函数

使用 comptime T 参数实现泛型。

接收类型的函数 是 CoddyKit 上的免费 Zig Academy 课时。 这是第 1 节课,共 4 节。 你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。 这是 Zig Academy 学习路径的一部分,你的进度在网页和 CoddyKit 应用中同步。 Zig Academy 课程共包含 4 节课。

Zig 方式的泛型

Zig 没有单独的泛型语法。相反,函数可以将一个类型作为参数之一,并像使用其他值一样使用它。✨

类型参数是 comptime 参数

由于构建代码时必须知道类型,因此类型参数始终标记为 comptime。调用者传入一个实际类型。

fn first(comptime T: type, items: []const T) T {
    return items[0];
}

type 是一种实际类型

在 Zig 中,单词 type 本身就是一种类型,因此可以将参数声明为 type,以表示任意类型。

comptime T: type

在签名中使用 T

为类型命名为 T 后,您就可以在后续参数和返回类型中使用它,将它们关联起来。

fn max(comptime T: type, a: T, b: T) T {
    return if (a > b) a else b;
}

调用泛型函数

调用它时,先传入具体类型,再传入普通参数。在这里,我们要求获取两个 i32 值中较大的一个。

const m = max(i32, 3, 9);

一个函数,多种类型

只要某种类型支持您使用的操作,同一个函数就能处理它。将 i32 换成 f64,代码仍然适用。

const f = max(f64, 1.5, 2.5);

Zig 会专门化每次调用

对于您传入的每一种不同类型,Zig 都会生成一份专用的函数副本。这就是单态化,并且在编译时完成。

函数体保持泛型

您在调用时明确写出类型,但函数体仍保持泛型。Zig 会检查您使用的操作对于传入的任何 T 是否有效。

type 意味着没有隐藏的装箱

传递一个实际的 type 不同于运行时多态:这里没有虚函数表,也没有装箱,只有在构建时选定的具体副本。

错误会在编译时出现

如果您调用 max 时传入的类型没有大于运算符,Zig 会在构建该专门化版本时报告问题,而不是等到运行时。

类型参数位于前面

按照惯例,comptime 类型参数会列在值参数之前,这样在描述数据之前就已经知道类型。

fn clone(comptime T: type, value: T) T {
    return value;
}

快速检查

您想在 Zig 中编写一个适用于多种类型的函数。应该如何声明它的类型参数?

回顾

传入一个 comptime T: type 参数,即可使函数成为泛型函数。Zig 会为您实际使用的每种类型构建一个专门化版本。🎯

常见问题解答

「接收类型的函数」课时是免费的吗?

是的 — 「接收类型的函数」的完整文本可在网页上免费阅读。要进行交互式练习(内置代码编辑器和全天候 AI 导师)并解锁 Zig Academy 课程的其余内容,请升级到 CoddyKit PRO。 Zig Academy 课程共包含 4 节课。

「接收类型的函数」这节课中我会学到什么?

使用 comptime T 参数实现泛型。 你通过在浏览器中直接运行的动手代码来练习 Zig Academy,全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 Zig Academy 需要有经验吗?

无需任何先前经验。CoddyKit 上的 Zig Academy 课程适合初学者到高级学习者,你可以从这里开始或从头开始,按照自己的节奏学习。 这是第 1 节课,共 4 节。

「接收类型的函数」课时需要多长时间?

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动,所以你能稳步进步,并在网页和应用中从离开的地方继续。

我能在这节 Zig Academy 课中编写并运行代码吗?

能。每节 Zig Academy 课都包含内置代码编辑器,你可以在浏览器中直接编写并运行真实代码,并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

  1. 接收类型的函数
  2. 泛型数据结构
  3. @TypeOf 与类型反射
  4. anytype 参数
← 返回 Zig Academy