如何禁用MSVC C2312错误？解决同类型catch块冲突问题

你写的VERIFY_THROWS(E, ...)宏用来验证代码块是否抛出指定类型的异常，但当E是std::exception时，前两个catch块类型完全一致，导致MSVC直接触发**C2312（同一异常类型被多次捕获）**的硬错误——不像GCC只是警告还能用_Pragma压下去。你觉得旧方案用嵌套try块不够优雅，还想知道嵌套try会不会增大可执行文件，同时想找更优的解决办法，以及能不能直接禁用MSVC这个错误。

1. 能不能禁用MSVC的C2312错误？ #

不行，C2312是MSVC的语法级硬错误，不是警告。C++标准明确规定同一个try块下不能有两个类型完全匹配的catch分支，编译器根本不允许这种代码通过，所以没法用编译选项或_Pragma直接屏蔽。

2. 更优雅的替代方案：编译期类型判断+分支调整 #

用C++的类型萃取（比如std::is_base_of_v、std::is_same_v）在编译期判断E和std::exception的关系，动态调整catch的逻辑，从根源上避免重复捕获的问题：

#include <type_traits>
#include <exception>

#define VERIFY_THROWS(E, ...) do { \
    bool success = false; \
    try { \
        __VA_ARGS__; \
        /* 走到这说明没抛出异常，记录失败 */ \
    } catch (const E&) { \
        success = true; \
        /* 抓到指定异常，标记成功 */ \
    } catch (...) { \
        if constexpr (!std::is_base_of_v<std::exception, E> && !std::is_same_v<std::exception, E>) { \
            /* 只有当E不是std::exception或其派生类时，才尝试捕获std::exception打日志 */ \
            try { \
                throw; \
            } catch (const std::exception& e) { \
                /* 记录意外异常的what()信息，标记失败 */ \
            } catch (...) { \
                /* 记录未知异常，标记失败 */ \
            } \
        } else { \
            /* 如果E就是std::exception或它的子类，直接处理未知异常 */ \
            /* 记录"未知异常"，标记失败 */ \
        } \
    } \
    /* 这里可以统一处理最终的成功/失败逻辑 */ \
} while (false)

核心逻辑： #

把原本的std::exception捕获分支移到catch (...)里面，用if constexpr在编译期做判断：

• 如果E本身就是std::exception或者它的派生类，就跳过内层的std::exception捕获，避免重复；
• 如果E和std::exception没关系，就重新抛出异常，尝试捕获std::exception来打印具体错误信息。
  这种写法既避开了同一try块下的重复catch，代码结构也比嵌套try清爽很多。

3. 嵌套try块对可执行文件大小的影响 #

嵌套try确实会让可执行文件变大一点，但基本可以忽略：

• 编译器会为每个try块生成对应的异常处理表（EH Table），嵌套会多生成一小段表项；
• 开了优化（比如MSVC的/O2、GCC的-O2）之后，编译器会自动合并或优化异常处理逻辑，体积增加几乎看不到；
• 除非你在高频执行的代码路径里大量用嵌套try，否则完全不用在意这点体积变化。

4. 另一种简化思路：利用继承关系跳过冗余分支 #

如果E是std::exception的派生类，第一个catch已经能抓到它，此时第二个catch完全是冗余的。可以用宏结合if constexpr来条件编译：

#include <type_traits>
#include <exception>

#define VERIFY_THROWS(E, ...) do { \
    try { \
        __VA_ARGS__; \
        /* 记录未抛出异常的失败 */ \
    } catch (const E&) { \
        /* 成功 */ \
    } \
    /* 仅当E不是std::exception时，才添加std::exception的catch分支 */ \
    if constexpr (!std::is_same_v<E, std::exception>) { \
        catch (const std::exception& e) { \
            /* 记录意外异常信息 */ \
        } \
    } \
    catch (...) { \
        /* 记录未知异常 */ \
    } \
} while (false)

不过这种写法依赖C++17及以上标准，语法上不如第一种方案直观，适合追求极致简洁的场景。

内容的提问来源于stack exchange，提问作者Marc Mutz - mmutz