zig - zig语言中使用var而不是const的结构定义

Question

我现在正在学习zig语言。我已经看到了带有const关键字 like的结构定义

const X = struct {
    n: i32,
};

我的理解是对const的一种补充var，后者允许改变，前者不允许。但是用 定义 struct 意味着什么var？

var Y = struct {
    n: i32,
};

这合法吗？我编译，所以是的，它是。但是这有什么意义和用途呢？

Answer 1

编译是因为 zig 是惰性评估的。因为Y未使用，编译器不会对其进行检查。

当你引用它时，编译器会抛出一个错误：

试试这个代码

var Y = struct {
    n: i32,
};

comptime {
    @compileLog(Y);
}

error: variable of type 'type' must be constant
    var Y = struct {
    ^

---

var是声明变量。当您var在全局范围内使用时，会创建一个全局变量。

在你的情况下，

var Y = struct {
    n: i32,
};

声明Y为推断类型的变量。在这种情况下，Y是一个类型的变量type。

在 zig 中，只有 comptime 类型，即type. 类型为 comptime-only 类型的值只能存在于编译器中，您不能在运行时¹中创建该值。因此，编译器需要始终知道该值。

所以，因为Y是一个全局变量。您可以在运行时修改它。这就是错误的原因。的值Y不能由二进制文件生成/存储。

---

如果只存在于编译器中，则有效

试试这个代码

comptime {
    var Y = struct {
        n: i32,
    };

    Y = struct {
        count: u32,
    };

    const concrete = Y { .count = 10 };

    @compileLog(concrete.count);
}

| 10 

---

附录

¹例如，考虑

试试这个代码

const std = @import("std");

fn compilerKnown(arg: []const u8) type {
   return u64;
}

pub fn main() !void {
    var runtimeValue = "hello world";

    std.debug.print("{}\n", .{ compilerKnown(runtimeValue) });
}

error: unable to evaluate constant expression
    std.debug.print("{}\n", .{ compilerKnown(runtimeValue) });
                                             ^

这是一个错误，因为 zig 尝试将函数编译compilerKnown为二进制文件，但类型type是 comptime-only，因此无法生成二进制文件。特别是，无法为return u64.