为何MSVC /W4下throw std::exception会触发C4913警告？

核心原因 #

MSVC编译器在处理throw语句时，内部会生成包含逗号表达式的辅助代码（用于异常对象构造、异常信息注册等底层逻辑）。当当前作用域（此处为some_space命名空间）存在用户定义的operator,重载时，编译器会对这些内部逗号表达式执行重载决议：

• 你的代码中定义了operator,(some_class, float)，编译器会尝试将内部逗号表达式的操作数与这个重载匹配；
• 由于std::exception既无法隐式转换为some_class，也无法转换为float，重载决议失败，编译器只能回退使用内置的逗号运算符，这就触发了C4913警告。

对测试现象的说明 #

你观察到的不同抛出类型的表现差异，本质是重载决议是否能匹配到你的operator,：

• 抛出int时：int可隐式转换为float，若内部逗号表达式的另一操作数能匹配some_class，则可以成功匹配你的重载，不会触发警告；
• 抛出可转换为some_class的类时：该类对象可直接匹配重载的第一个参数，自然也能通过重载决议，避免警告；
• 抛出其他类（如std::exception）时：无法匹配你的operator,重载，只能使用内置逗号运算符，触发警告。

补充验证 #

你提到预处理输出未发现宏替换，这是因为问题出在编译器的代码生成阶段，而非预处理阶段，所以预处理结果无法体现这一内部逻辑。

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