调用foo传入无效值触发__builtin_unreachable时，程序应有何行为？

用户代码 #

enum Color
{
    kRed,
    kGreen,
    kBlue,
    kUnexistingColor
};

const char* foo(Color color)
{
    switch (color)
    {
        case kRed:
            return "red";
        case kGreen:
            return "green";
        case kBlue:
            return "blue";
        case kUnexistingColor:
        default:
            __builtin_unreachable();

    }
    return "";
}

问题描述 #

当向foo传入无效值时，程序有时会静默终止，有时又会返回"blue"。想知道当控制流到达__builtin_unreachable()所在位置时，程序实际应该产生什么行为？比如在Windows系统上是否会弹出错误提示框？

解答 #

__builtin_unreachable()是GCC、Clang等编译器提供的内置扩展，它的核心作用是向编译器传达一个信息：当前代码路径永远不可能被执行到。基于这个假设，编译器会进行激进的优化操作——比如直接删除这段代码，或者调整周边代码的逻辑布局，因为它认定此处不会有实际的控制流进入。

一旦实际运行时控制流真的走到了__builtin_unreachable()，程序的行为就属于未定义行为（Undefined Behavior），没有任何固定的预期结果：

• 可能出现你遇到的返回"blue"的情况：这是因为编译器优化时，可能将后续的返回逻辑与该位置代码合并，或是直接复用了之前寄存器中留存的"blue"字符串地址；
• 可能静默终止、直接崩溃，甚至出现其他更诡异的行为；
• 在Windows系统上也不会有固定的错误提示，是否弹出提示框完全取决于编译器优化后的代码结构、操作系统的内存管理机制，没有统一的定论。

你遇到的不一致表现，正是未定义行为的典型特征：编译器可以生成任意符合假设的代码，运行结果完全不可预测。

如果希望传入无效值时得到可控的行为，建议替换__builtin_unreachable()，比如返回明确的错误字符串（如return "invalid color"），或是触发断言（如assert(false)），这样程序的行为就能变得可预期。

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