C++中0/0运算为何有的触发浮点异常有的得到NaN？

两段代码行为差异的原因 #

• 第一段代码long double res = 0 / 0 * 100;中，0是int类型，所以0/0执行的是整数除法。整数运算体系里没有NaN的概念，除零操作属于非法的整数运算，会直接触发硬件级别的除零浮点异常（或导致程序崩溃），后续的*100根本不会执行。
• 第二段代码long double res = static_cast<long double>(0) / 0 * 100;中，第一个0被强制转换为long double类型，此时除法运算会按照浮点除法规则执行。遵循IEEE 754标准的浮点运算定义了0/0的结果为NaN（非数值），而NaN与任何数值运算的结果仍然是NaN。默认情况下，C++编译器不会为浮点运算的无效操作（如0/0）触发异常，只会将结果赋值给变量，所以最终输出-nan（负NaN是NaN的一种表现形式，具体符号由编译器实现决定）。

NaN的产生条件 #

NaN是浮点运算中表示“无效数值”的特殊结果，触发场景包括：

• 不确定的算术运算：0/0、∞ - ∞、0 * ∞
• 对负数开偶次方根（如sqrt(-1.0)）
• NaN参与的任何运算（比如NaN + 5）
• 其他无定义的浮点操作

浮点异常的触发条件 #

浮点异常（Floating-Point Exception）的触发分两种场景：

1. 整数运算中的除零：整数类型没有NaN的定义，任何整数除以0的操作都是非法的，会直接触发硬件异常，导致程序终止。
2. 浮点运算中的异常（需开启对应掩码）：
   IEEE 754浮点标准定义了多种浮点异常，但默认情况下C++编译器会屏蔽这些异常，仅返回特殊值（NaN、±∞等）。当手动开启对应异常掩码后，以下操作会触发异常：
   • 无效运算（FE_INVALID）：如0/0、负数开偶次方
   • 除零运算（FE_DIVBYZERO）：非零浮点数除以0（得到±∞）
   • 溢出（FE_OVERFLOW）：运算结果超出当前浮点类型的最大值范围
   • 下溢（FE_UNDERFLOW）：运算结果小于当前浮点类型的最小非零值范围

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