0Pricing
Zig Academy · 课时

anytype 参数

使用鸭子类型接受任意参数。

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

使用 anytype 接受任意类型

有时您根本不想写出类型名称。将参数声明为 anytype,Zig 就会根据参数推断其类型。🦆

fn show(x: anytype) void {}

在调用时推断类型

使用 anytype 时,不需要前置的类型参数。每个调用者传入的参数都会决定该专门化版本的具体类型。

show(42);
show(true);

这就是鸭子类型

Zig 只会检查函数体中的操作是否适用于您传入的参数。如果它具备正确的形状,就可以使用。这就是鸭子类型。

需要时再获取类型

在函数内部,您仍然可以使用 @TypeOf 获取类型,然后将它用于局部变量或返回值。

fn dup(x: anytype) @TypeOf(x) {
    return x;
}

非常适合打印辅助函数

适用于多种形状的函数非常适合使用 anytype。Zig 自己的打印函数就接受一个 anytype 参数元组来进行格式化。

std.debug.print("{any}\n", .{x});

约束来自函数体

这里没有显式接口。如果函数体内调用了 x.len,那么只有实际拥有 len 字段的参数才能通过编译。

fn size(x: anytype) usize {
    return x.len;
}

错误针对每个专门化版本

如果调用者传入的类型无法由函数体处理,Zig 会在该调用位置报告错误,并指出失败的确切类型。

使用 comptime 验证输入

为了得到更清晰的错误信息,您可以使用 @typeInfo 提前检查类型,并通过编译时检查拒绝形状不正确的类型。

anytype 与 comptime T: type

当您必须预先为类型命名时,使用 comptime T: type;当推断和灵活性更重要时,则使用 anytype。

仍然没有运行时开销

和 Zig 中的所有泛型一样,anytype 函数会在编译时专门化,因此推断带来的灵活性不会增加程序运行时的开销。

将 anytype 与命名类型混用

一个函数可以结合两种方式:使用一个 anytype 参数接收灵活的输入,同时使用普通的具名类型参数处理固定数据。

fn join(sep: u8, x: anytype) void {
    _ = sep;
    _ = x;
}

快速检查

您编写了 fn show(x: anytype)。Zig 如何确定 x 的具体类型?

回顾

anytype 关键字让参数可以接受任意参数,并根据调用推断类型、检查函数体。这就是 Zig 灵活的鸭子类型。🎯

常见问题解答

「anytype 参数」课时是免费的吗?

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

「anytype 参数」这节课中我会学到什么?

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

学习 Zig Academy 需要有经验吗?

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

「anytype 参数」课时需要多长时间?

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

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

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

此课程中的所有课时

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