C++中m=0时公式返回-0而非INF的原因咨询

作为C++新手，我使用指定公式计算z值时遇到异常：当输入m=0时，因公式中存在2/sqrt(m)这种除以0的操作，预期结果应为INF（无穷大），但实际得到z=-0；单独计算z2=2/sqrt(m)也得到-0。改用double类型后问题仍存在，使用编译器为Microsoft Visual Studio 2017，需要该现象的正式解释用于撰写报告。

#define _CRT_SECURE_NO_WARNINGS
#include <iostream>
using namespace std;
#define _USE_MATH_DEFINES 
#include <math.h>
#include <ctgmath>

int main() {

    float m;
    cout << " Enter the 'm' value: ";
    cin >> m;
    float z;
    float z2;

    z = sqrt(pow((3 * m + 2), 2) - 24 * m) / (3 * sqrt(m) - 2 / sqrt(m));
    z2 = 2 / sqrt(m);
    cout << " \n When 'm' is " << m << ", 'z' value is: " << z << "; 'z2' value is: " << z2 << endl;


    return 0;
}

Enter the 'm' value: 0
When 'm' is 0, 'z' value is: -0; 'z2' value is: -0

1. IEEE 754标准中的带符号零 #

现代计算机浮点数运算遵循IEEE 754标准，该标准定义了带符号的零（-0）：当浮点数的数值位全为0且符号位为1时，即表示-0。它在数值上等价于0，但在符号敏感的运算中会被保留。

2. sqrt(0)的返回特性 #

根据C++标准与IEEE 754规范，sqrt(0.0)（含float和double类型）的返回值符号与输入值一致。当输入m=0时，m被存储为+0，但后续运算的符号传递逻辑会影响最终结果。

3. 2/sqrt(m)生成-0的原因 #

当m=0时，sqrt(m)返回+0，理论上2/+0应得到+INF，但在VS2017的实现中：

• 浮点运算单元（FPU）的默认舍入模式或表达式解析顺序，导致运算过程中符号位被意外翻转，最终生成-0而非+INF。
• 本质是VS2017运行时库处理sqrt(0)后的除法时，内部逻辑错误地保留了符号位为1的状态，从而输出-0。

4. 公式整体得到-0的逻辑 #

对公式z = sqrt(pow((3*m+2),2)-24*m) / (3*sqrt(m) - 2/sqrt(m))拆解：

• 分子：pow((3*0+2),2)-24*0 = 4，sqrt(4)=2，结果为+2。
• 分母：3*sqrt(0)=+0，2/sqrt(0)得到-0，因此分母为+0 - (-0) = +0，但受前面-0的影响，实际被处理为-0。
• 最终+2 / -0的结果为-0。

5. 改用double无效的原因 #

float和double均遵循IEEE 754标准，VS2017对两种类型的浮点运算逻辑完全一致，因此更换类型无法解决该问题。

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