zig語言中使用var而不是const的結構定義

Question

我現在正在學習zig語言。 我已經看到了帶有const關鍵字的結構定義，例如

const X = struct {
    n: i32,
};

我的理解是const是對var的一種補充，后者允許改變，前者不允許。 但是用var定義 struct 意味着什么？

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是聲明變量。 當您在全局 scope 中使用var時，會創建一個全局變量。

在你的情況下，

var Y = struct {
    n: i32,
};

將Y聲明為推斷類型的變量。 在這種情況下， Y是 type 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 嘗試將 function compilerKnown已知為二進制，但類型type為 comptime-only，因此無法生成二進制。 特別是，無法為return u64生成機器代碼。