编译器优化是否会移除catch块无任何操作的try/catch异常捕获结构？

结论 #

这类仅捕获异常、无显式执行逻辑的catch块不会被编译器在优化阶段裁剪移除，核心原因是它本身就具备明确的语义效果：终止对应类型异常的传播流程。

具体原因说明 #

C++标准对异常处理的流程有明确约束：异常抛出后会沿调用栈向上匹配对应的catch块，匹配成功后异常传播终止，若所有调用栈都没有匹配的catch块则会触发std::terminate终止程序。
你代码里的空catch块虽然没有写任何执行逻辑，但它的存在本身就代表了「匹配到std::invalid_argument类型异常后终止传播、不需要做额外处理」的逻辑，和没有这个catch块的行为完全不同：如果移除了这个catch块，fib抛出的异常会向上传导到main函数之外，最终触发程序终止。编译器的优化必须遵守「不改变程序可观测行为」的as-if规则，显然不能随便移除这种会改变程序行为的逻辑。

为什么你开启了大量告警参数却没有收到提示 #

你在编译参数最后加了-Wno-unused，这个参数会关闭所有「未使用实体」的告警，包括catch块里没有被使用的异常变量e的告警。你把这个参数去掉之后重新编译，就能收到对应未使用变量的提示了。

极端情况下的优化可能 #

只有当编译器可以100%确定try块内的代码永远不会抛出catch块匹配的异常类型时，才有可能把整个try-catch结构优化掉。比如你把示例代码里的fib入参改成固定的正整数，编译器通过推导确认不会抛出std::invalid_argument，才会删除对应的异常处理逻辑。只要存在抛出匹配异常的可能，编译器就不会移除空catch块。

你提到的示例代码如下：

#include <iostream>
#include <exception>


// Declaration for Wmissing-declarations flag
int fib(int);

int fib(int n)
{
    if (n < 0)
        {
            throw std::invalid_argument("Invalid argument");
        }
    if (n == 0 || n == 1)
        return n;
    
    return fib(n-1) + fib(n-2);
}

int main(int argc, char *argv[])
{
    int _number;
    std::cin >> _number;
    try
    {
        std::cout << fib(_number) << std::endl;
    }
    catch(const std::invalid_argument & e)
    {
        
    }
    return 0;
}

你使用的编译命令：

g++ -o except exceptions.cxx -pedantic -Wall -Wextra -Wcast-align -Wcast-qual -Wctor-dtor-privacy -Wdisabled-optimization -Wformat=2 -Winit-self -Wlogical-op -Wmissing-declarations -Wmissing-include-dirs -Wnoexcept -Wold-style-cast -Woverloaded-virtual -Wredundant-decls -Wshadow -Wsign-conversion -Wsign-promo -Wstrict-null-sentinel -Wstrict-overflow=5 -Wswitch-default -Wundef -Werror -Wno-unused

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