Zig结构体变量声明疑问：异常写法为何可编译运行？

你的Weird结构体能够正常运行，核心是你在结构体内部声明了静态变量（使用var而非实例字段语法），这是Zig支持的特性，和常规实例结构体Regular存在本质区别：

1. 静态成员与实例字段的差异 #

• Regular中的message: [:0]const u8是实例字段：每个Regular实例都会拥有独立的message和counter副本，方法必须通过self: *Regular参数操作特定实例的字段。
• Weird中的var message: [:0]const u8是结构体静态成员：这些变量属于Weird类型本身，全局唯一，所有操作都会修改同一个全局状态，无需绑定任何实例。

2. 为什么const b = Weird不能用var？ #

在Zig中，Weird是type类型的编译期值（comptime value），编译期值不允许声明为可变的var，必须用const或comptime修饰，这就是报错variable of type 'type' must be const or comptime的原因。这里的b只是Weird类型的别名，并非结构体实例——你从未创建过Weird的实例，所有操作都是直接针对类型本身的静态成员。

3. Weird的运行逻辑 #

• init()无需self参数：直接修改Weird的静态message并调用静态方法incrementCounter()，操作的是全局静态变量。
• incrementCounter()和print()同理：无需实例指针，直接访问静态成员，所有调用共享同一个counter和message。

4. 输出结果的解释 #

• 初始调用a.init()让实例a的counter变为1，b.init()让Weird的静态counter变为1，对应前两行输出。
• 循环中a.incrementCounter()累加的是a自身的counter（从1到21），b.incrementCounter()累加的是Weird的全局静态counter（同样从1到21），因此最终两行输出的counter均为21。

关键注意点 #

若尝试创建Weird实例（如var w = Weird{}），会发现该实例无任何字段——因为Weird结构体未定义实例字段，仅包含静态成员。这也是你尝试使用Weird类型指针时出错的核心原因：指针指向的实例没有可操作的字段，所有状态都存储在静态成员中。

内容的提问来源于stack exchange，提问作者NCLanceman