C语言Neg_Float函数错误排查：0值取反未通过测试

需求说明 #

实现Neg_Float函数：接收单精度浮点数的位级表示（unsigned int类型），返回-f的位级等价结果；若参数为NaN则返回原参数。允许使用整数/无符号操作及if、while，最多8个操作。

现有代码 #

unsigned Neg_Float(unsigned uf) {
    unsigned exp = (uf >> 23) & 0xff;
    if (exp == 0xff)
        return uf; //NaN
    else {
        return (uf ^ 0x80000000);
    }
}

测试错误信息 #

ERROR: Test Neg_Float(0[0x0]) failed...
...Gives 0[0x0]. Should be -2147483648[0x80000000]

错误原因分析 #

1. NaN判断逻辑不严谨：原代码仅通过指数位全1（exp == 0xff）判断NaN，但单精度浮点数中，NaN的定义是指数位全1且尾数位不全0；指数位全1且尾数位全0的是无穷大，不属于NaN，应该对其取反（正无穷→负无穷，负无穷→正无穷）。
2. 零值处理不符合要求：输入0x0（正零）时，正确的位级取反结果应为0x80000000（负零），但现有代码返回了原参数。若测试结果属实，大概率是代码编写时的笔误（比如误将return uf ^ 0x80000000;写成return uf;），导致符号位未被翻转。

修正后的代码 #

unsigned Neg_Float(unsigned uf) {
    unsigned exp = (uf >> 23) & 0xff;
    unsigned frac = uf & 0x7fffff; // 提取尾数位
    // 仅当输入是NaN（指数全1且尾数不全0）时返回原参数
    if (exp == 0xff && frac != 0)
        return uf;
    // 其他情况（零、正常数、无穷大）翻转符号位
    return uf ^ 0x80000000;
}

关键说明 #

• 单精度浮点数位结构：1位符号位（最高位，0表正、1表负）+ 8位指数位 + 23位尾数位。
• 取反核心操作：通过异或0x80000000翻转符号位，这是实现-f位级等价的直接方式。
• 特殊值处理：正零取反得到负零（符合位级要求），无穷大取反得到异号无穷大，只有NaN保留原位模式。

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