如何在Zig语言的switch语句匹配代码块中返回值？

错误原因 #

编译器报错提示value of type 'utils.regex.Token' ignored，是因为内层switch返回的Token值未被显式识别为外层switch分支代码块的返回值。尽管代码块最后一行是switch表达式，但由于代码块内存在变量修改（i += 1）等语句，编译器未自动将其作为代码块的返回值，判定该值被无意义忽略。

正确实现方法 #

方法1：通过变量传递返回值 #

将内层switch的结果赋值给临时变量，再将变量作为代码块的最后一行，明确作为代码块的返回值：

const token = switch (c) {
    // ... 其他分支保持不变
    '\\' => {
        if (i + 1 >= pattern.len) return RegexError.InvalidEscapeSequence;
        const next_character = pattern[i + 1];
        i += 1;

        const escaped_token = switch (next_character) {
            's' => Token{ .type = .Whitespace, .value = null },
            'S' => Token{ .type = .NonWhitespace, .value = null },
            'd' => Token{ .type = .Digit, .value = null },
            'D' => Token{ .type = .NonDigit, .value = null },
            'w' => Token{ .type = .Word, .value = null },
            'W' => Token{ .type = .NonWord, .value = null },
            else => Token{ .type = .EscapedCharacter, .value = next_character },
        };
        escaped_token // 此变量作为代码块返回值
    },
    else => Token{ .type = .Literal, .value = pattern[i] },
};

方法2：使用带标签的代码块（Zig推荐风格） #

通过带标签的代码块，用break :标签显式返回内层switch的结果，语义更清晰：

const token = switch (c) {
    // ... 其他分支保持不变
    '\\' => blk: {
        if (i + 1 >= pattern.len) return RegexError.InvalidEscapeSequence;
        const next_character = pattern[i + 1];
        i += 1;

        // 显式将switch结果作为代码块返回值
        break :blk switch (next_character) {
            's' => Token{ .type = .Whitespace, .value = null },
            'S' => Token{ .type = .NonWhitespace, .value = null },
            'd' => Token{ .type = .Digit, .value = null },
            'D' => Token{ .type = .NonDigit, .value = null },
            'w' => Token{ .type = .Word, .value = null },
            'W' => Token{ .type = .NonWord, .value = null },
            else => Token{ .type = .EscapedCharacter, .value = next_character },
        };
    },
    else => Token{ .type = .Literal, .value = pattern[i] },
};

为什么不能直接用return #

直接在代码块内用return会从整个函数返回，而非当前switch分支，不符合需求；上述两种方法均保证仅返回当前分支的Token值，不会中断整个函数执行。

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