Release构建下触发std::unreachable()时，如何在保留优化收益的同时输出错误信息？

你提的这个问题确实戳中了很多C++开发者的痛点——既想利用std::unreachable()给编译器传递优化信息，又不想在意外触发时直接陷入不可控的UB（未定义行为）。其实是可以两者兼得的，我来给你拆解清楚：

• 先澄清一个关键误区：你担心在std::unreachable()前加日志会破坏优化？其实不会。编译器判断“代码不可达”的核心依据是std::unreachable()本身，而你在它之前加的日志/终止逻辑，只要是不会让程序继续往下执行的（比如调用std::terminate()或std::abort()），编译器就会明白：即使这个分支意外被进入，程序也会在执行到std::unreachable()之前终止，所以它仍然可以放心地基于“该分支永远不会被正常执行”来做优化。

• 正确的实现方式：最好把日志+终止的逻辑封装成一个[[noreturn]]函数，这样编译器能更明确地知道这个函数不会返回，进一步强化“该分支不可达”的信号。比如：

#include <cstdlib>
#include <iostream>

[[noreturn]] void handle_unreachable(const char* msg) {
    // 这里写你的日志逻辑，比如输出到日志文件或控制台
    std::cerr << "触发不可达分支错误：" << msg << std::endl;
    // 终止程序，避免进入真正的UB区域
    std::terminate();
}

// 代码中调用示例
int process_x(int x) {
    switch(x) {
        case 1: return 1;
        case 2: return 2;
        default:
            handle_unreachable("x的值不在预期范围内");
            std::unreachable(); // 这里会被编译器优化掉，但加上更符合标准规范
    }
}

• 为什么这样可行？
  当程序正常运行时，编译器会因为std::unreachable()的存在，直接优化掉default分支的冗余代码生成（比如不会为这个分支生成汇编指令），完全保留优化收益。只有当意外情况发生（比如x的值不是1或2），程序才会进入default分支，执行日志逻辑然后终止，不会走到std::unreachable()，也就避免了最糟糕的UB。

• 进阶调试技巧：你还可以用宏区分Debug和Release模式，Debug下抛出详细异常或触发断言方便调试，Release下保留日志+终止+std::unreachable()的组合，兼顾调试便利性和运行时性能：

#include <cstdlib>
#include <iostream>
#include <stdexcept>

#ifdef NDEBUG
#define MY_UNREACHABLE(msg) do { \
    std::cerr << "Release模式触发不可达分支：" << msg << std::endl; \
    std::terminate(); \
    std::unreachable(); \
} while(false)
#else
#define MY_UNREACHABLE(msg) do { \
    std::cerr << "Debug模式触发不可达分支：" << msg << std::endl; \
    throw std::logic_error(msg); \
} while(false)
#endif

// 使用示例
int process_x(int x) {
    switch(x) {
        case 1: return 1;
        case 2: return 2;
        default: MY_UNREACHABLE("x的值非法");
    }
}

核心逻辑就是：std::unreachable()是给编译器的“优化提示”，而前面的日志+终止是给意外情况的“安全网”——只要安全网的逻辑不会让程序继续执行到std::unreachable()，就不会破坏优化，同时能在出问题时给你留下调试线索。

内容来源于stack exchange