为何编译器未完全优化掉该异常处理代码？

这段C++程序理论上应该始终返回0，但为什么整个异常处理逻辑没有被GCC 13.2（开启-std=c++23、-O3参数）完全优化掉？

int main()
{
    try {
        throw;
    } catch (...) { 
        return 0; 
    }
}

对应的汇编输出如下：

main:
        push    rcx
        call    __cxa_rethrow
        mov     rdi, rax
        call    __cxa_begin_catch
        call    __cxa_end_catch
        xor     eax, eax
        pop     rdx
        ret

核心原因 #

• throw;的行为存在不确定性
  单独的throw;用于重抛当前活跃的异常，但如果执行到此处时没有活跃异常，它会触发std::terminate()（默认终止程序）。编译器无法在编译期确保此时一定有可重抛的异常，因此必须保留对__cxa_rethrow的调用——这个函数内部会做异常存在性检查，无异常时直接终止程序。

• 必须遵守C++异常处理的ABI规范
  即使catch(...)能捕获所有异常并返回0，编译器也得遵循平台的C++异常处理ABI：

  • __cxa_rethrow是重抛异常的标准入口，负责处理异常栈的逻辑
  • __cxa_begin_catch和__cxa_end_catch用于维护异常处理的运行时状态，比如清理异常上下文、更新当前活跃异常的标记
    这些底层调用是ABI强制要求的，编译器不能随意省略，否则会破坏异常处理的运行时一致性。

• 编译期无法确定所有执行路径
  编译器不能静态证明throw;一定会被catch(...)捕获——因为如果__cxa_rethrow直接终止程序，catch块根本不会执行。这种情况下，编译器不能直接把整个函数优化成return 0;，必须保留完整流程以应对所有运行时场景。

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