C语言中malloc分配内存的指针比较是否为完全定义行为？

完全可以保证该行为是完全定义的：当且仅当0 <= i < j < n时，s + i < s + j必然成立。

核心依据 #

C标准中明确规定：通过malloc、calloc等函数分配的内存，语义上等价于一个长度为n的字符类型数组对象（这里n是分配的字节数）。对于指向同一数组对象元素的指针（或指向数组末尾后一个合法位置的指针），关系运算符（<、>、<=、>=）的比较行为是完全定义的，且严格遵循数组元素的下标顺序——下标更小的元素对应的指针值更小。

针对疑问的解释 #

• 关于malloc内存是否属于“数组”：C标准并不要求数组必须是显式声明的。动态分配的连续内存块，在标准语义上就是一个隐式的字符数组，完全适用数组指针的所有规则。
• 虚拟内存的影响：底层虚拟内存的映射机制不影响C标准层面的语义定义。无论虚拟内存如何将物理页映射到逻辑地址，标准只要求malloc返回的是一块连续的逻辑地址空间，从语言层面看就是连续的数组，指针比较的逻辑不受底层实现影响。

代码场景验证 #

对于你给出的代码：

size_t n = ???;
unsigned char* s = malloc(n);

只要malloc成功返回非NULL，在0 <= i < n、0 <= j < n的范围内，s+i和s+j的比较结果就严格对应下标i和j的大小关系，不存在未定义行为。

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