在MSVC及Visual Studio中，如何枚举C++函数的所有直接/间接抛出异常？

一、枚举函数可能抛出的异常的方法 #

1. 静态分析（Visual Studio代码分析工具） #

打开项目属性，进入「代码分析」->「常规」，启用代码分析功能。选择包含异常相关规则的规则集（比如默认的Microsoft Native Rules），运行分析后，工具会扫描代码中所有throw语句、可能抛出异常的函数调用（比如std::vector::at会抛出std::out_of_range），并关联到目标函数的调用链中。你可以在分析结果里筛选与异常相关的警告，定位目标函数直接或间接抛出的异常类型。

2. 动态调试捕获异常 #

• 打开「调试」->「窗口」->「异常设置」，勾选「C++异常」下的所有选项。
• 运行程序并触发目标函数的执行，每当有异常抛出时，调试器会立即中断在抛出点。此时可以查看异常类型，同时通过调用栈追踪该异常是否来自目标函数的直接或间接调用。
• 这种方式能捕获实际运行时触发的异常，但需要覆盖所有可能的代码路径才能枚举全。

3. 利用编译器警告与注解 #

• 如果函数标记了noexcept或__declspec(nothrow)，但内部存在抛出异常的代码，MSVC会发出C4297警告，提示你该函数实际可能抛出异常。
• 对于标准库函数，MSVC的IntelliSense会在函数提示中显示其可能抛出的异常（比如hover到std::string::substr时，会提示可能抛出std::out_of_range）。

二、Visual Studio中是否可直接枚举指定函数的所有异常？ #

答案是没有绝对完美的方法，但可以通过以下方式尽可能覆盖：

• 上述的代码分析工具能基于静态扫描给出大概率的异常列表，但无法处理动态加载模块、运行时才决定的异常（比如通过throw new自定义异常对象）。
• 异常断点调试结合全面的测试用例，能捕获实际执行路径中抛出的所有异常，但依赖测试覆盖度。
• 没有内置的工具能直接一键枚举某函数所有直接、间接抛出的异常——因为C++的异常机制本身是动态的，静态分析无法完全预判所有可能的执行路径和异常来源。

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