C语言中为何无法将pow(2,64)-1正确转换为unsigned long？

为什么最后两种写法无效？ #

核心问题出在pow()是浮点数运算函数，而double类型的精度存在局限：

• double的尾数仅53位（含隐含位），只能精确表示2^53以内的所有整数。超过这个范围后，整数间会出现可表示的间隙，无法存储每一个精确值。
• pow(2,64)是2的整数次幂，double可以精确表示，但pow(2,64)-1是64位全1的数，double无法精确存储该值，会被近似为2^64（因为相邻可表示浮点数的间隔是2^(64-53)=211，2^{64-1会被舍入到最近的可表示值2}64）。
• 将这个近似后的2^64强制转换为unsigned long时，由于unsigned long的最大值是2^64-1，2^64超出了类型范围，这种转换属于未定义行为，在你的机器上得到了2^63的错误结果。

对于(unsigned long)pow(2,64)-1：
pow(2,64)返回的double值转成unsigned long时，因超出范围触发未定义行为，得到的结果并非预期值，再减1自然也无法得到正确的最大值。

符合K&R练习要求的正确写法 #

既然不能用limits.h和位运算符，利用K&R书中提到的无符号整数溢出特性（无符号整数溢出是定义良好的，结果为模2^n），可以用纯整数运算实现：

#include <stdio.h>

int main() {
    // 无符号整数的-1会自动转换为类型最大值
    printf("Unsigned long: Max: %lu\n", (unsigned long)-1);
    return 0;
}

或者分步写更直观：

unsigned long max_ul = 0;
--max_ul; // 无符号0减1触发溢出，直接得到最大值
printf("Unsigned long: Max: %lu\n", max_ul);

这两种写法完全符合要求：未使用limits.h，无位运算符，仅用到无符号整数的基本运算特性，是K&R明确覆盖的知识点。

补充说明 #

你之前的2*(unsigned long)pow(2,63)-1之所以有效，是因为2^63是2的整数次幂，double可以精确表示它；转成unsigned long后乘以2得到2^64，触发无符号溢出后变为0，再减1就得到了最大值。但这种写法依赖浮点数的精确性，不如纯整数写法可靠。

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