C语言double类型比较异常：-0与0判定不相等

问题原因 #

你遇到的是IEEE 754浮点数标准的特性问题：

• 浮点数的0有两种合法表示：+0.0和-0.0，二者数值等价，但二进制中的符号位不同
• 直接用==做严格相等比较时，会检查所有二进制位（包括符号位），因此-0.0 == 0.0会返回false（即代码中的0）
• 强制类型转换无法消除-0.0的符号位，因为这是标准允许的浮点数表示

修复方案 #

根据你的场景，推荐以下几种可行的修复方式：

1. 检查绝对值是否为0（兼容±0.0） #

利用fabs()函数取绝对值，fabs(-0.0)会返回0.0，因此可以直接判断：

if (fabs(y) == 0.0) {
    // 绘制坐标轴的逻辑
}

2. 用极小阈值判断（更鲁棒，适配遍历精度误差） #

由于浮点数遍历的步长可能存在精度累积，y可能无法精确等于±0.0，更稳妥的方式是判断y的绝对值是否小于一个极小的epsilon（比如1e-9）：

#include <math.h> // 需要引入math.h头文件

// ...

if (fabs(y) < 1e-9) {
    for (double i = 0; i <= DOMAIN * 2; i += stepy) {
        putchar('-');
    }
}

3. 消除符号位后比较 #

通过y + 0.0可以将-0.0转换为+0.0，再与0比较：

if ((y + 0.0) == 0.0) {
    // 绘制逻辑
}

修改后的示例代码 #

以最鲁棒的阈值判断方式为例：

#include <stdio.h>
#include <math.h>

#define RANGE 10.0
#define YUNITSIZE 5.0
#define DOMAIN 10.0

int main() {
    double y;
    double stepy = (double)RANGE / YUNITSIZE;

    for (y = -RANGE; y <= ((double)RANGE + stepy); y += stepy) {
        printf("%f %f %d\n", y, 0.0, (int)(y == 0.0)); // 调试输出
        if (fabs(y) < 1e-9) { 
            for (double i = 0; i <= DOMAIN * 2; i += stepy) {
                putchar('-');
            }
            putchar('\n');
        }
        putchar('\n');
    }
    return 0;
}

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