C语言中指向有符号与无符号的指针内存布局是否受标准保证一致？

先直接给结论：C标准完全不保证int*和unsigned*类型的指针内存布局一致，所以你代码里的memcmp(&i, &u, sizeof(u)) == 0这个判断不一定成立。

具体原因 #

C标准只规定：指向兼容类型的指针必须有相同的表示和对齐要求。但int*和unsigned*本身是不同的指针类型——虽然int和unsigned int属于对应整数类型，但它们的指针类型并不属于兼容类型范畴。

标准没有强制要求不同指针类型的内存表示必须相同，哪怕它们指向的对象类型是对应有符号/无符号整数。虽然在x86、ARM这类主流平台上，所有对象指针的二进制表示都是一样的，但这是平台实现的特性，不是C标准的硬性规定。极端情况下，某些特殊架构可能会给不同类型的指针分配不同的位模式，或者在指针中嵌入类型标识信息，这种情况下两个指针的内存布局就会不一样。

可变参数函数场景的实际影响 #

如果在可变参数函数（比如printf）里，函数预期接收int*，但你传入了unsigned*，这属于类型不匹配，直接触发C标准定义的未定义行为。

在大多数平台上可能碰巧能正常运行，但一旦遇到指针表示不同的架构，函数会接收到错误的指针值，进而导致读取错误内存、程序崩溃等不可预料的问题。

示例代码 #

unsigned value = 3;
int *i = (int *)&value;
unsigned *u = &value;

memcmp(&i, &u, sizeof(u)) == 0;

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