Zig 0.9.1中使用orelse运算符触发编译器BUG问题咨询

云上老周

2026-8-20

Zig orelse运算符触发LLVM模块错误的问题解析

问题背景

作为Zig新手，测试orelse运算符时遇到编译器异常：代码预期输出123，但运行时触发LLVM模块错误，提示存在编译器BUG。

代码示例

const std = @import("std");

pub fn main() !void {
    var value1: ?u32 = 123;
    var value2: ?u32 = 222;
    std.debug.print("value1 orelse value2: {}\n", .{value1 orelse value2});
}

错误信息

zig run main.zig
broken LLVM module found: Instruction does not dominate all uses!
  %7 = getelementptr inbounds %"struct:26:52", %"struct:26:52"* %1, i32 0, i32 0, !dbg !2021
  %12 = getelementptr inbounds %"?u32", %"?u32"* %7, i32 0, i32 1, !dbg !2020
Instruction does not dominate all uses!
  %7 = getelementptr inbounds %"struct:26:52", %"struct:26:52"* %1, i32 0, i32 0, !dbg !2021
  %13 = getelementptr inbounds %"?u32", %"?u32"* %7, i32 0, i32 0, !dbg !2020

This is a bug in the Zig compiler.thread 1856201 panic:
Unable to dump stack trace: debug info stripped
make: *** [run] Abort trap: 6

运行环境：Zig 0.9.1、MacOS 12.5 (21G72)

解答

1. 预期结果是否正确？

预期输出123完全正确。orelse运算符的逻辑是：若左侧可选类型非空，则返回其值；否则返回右侧值。此处value1为非空的123，因此结果必然是123。

2. 是否为编译器BUG？

是。错误信息明确标注This is a bug in the Zig compiler，且升级至Zig 0.10版本后问题消失，说明这是Zig 0.9.1版本存在的已知编译器问题，后续版本已修复。

3. 解决方法

两种可行方案：

Zig 0.9.1版本临时规避：新增变量存储orelse运算结果，再传入打印函数，修改后代码如下：

const std = @import("std");

pub fn main() !void {
    var value1: ?u32 = 123;
    var value2: ?u32 = 222;
    const result = value1 orelse value2;
    std.debug.print("value1 orelse value2: {}\n", .{result});
}