无索引变量的malloc缓冲区遍历是否存在未定义行为？

假设我们先执行以下内存分配操作：

size_t length = 1000;
char* p = malloc(length);

基础遍历写法 #

索引控制的遍历 #

这是最基础的遍历方式，通过索引i访问数组元素：

for (size_t i = 0; i < length; ++i) {
  p[i] = ...; // 反向遍历可改为 p[length - 1 - i] = ...
}

指针+索引控制的遍历 #

通过指针移动访问元素，但仍用索引i控制循环次数：

正向遍历

char* q = p;
for (size_t i = 0; i < length; ++i) {
  *q = ...;
  ++q;
}

反向遍历

char* q = p + (length - 1);
for (size_t i = 0; i < length; ++i) {
  *q = ...;
  --q;
}

无索引变量的指针遍历是否可行？ #

如果想完全去掉索引变量i，可以尝试以下两种写法：

正向无索引遍历 #

char* const final = p + (length - 1);
for (char* q = p; q <= final; ++q) {
  *q = ...;
}

反向无索引遍历 #

char* const final = p + (length - 1);
for (char* q = final; q >= p; --q) {
  *q = ...;
}

潜在的未定义行为与失效场景 #

这类无索引循环存在极小概率但明确存在的错误行为，且部分场景属于C标准定义的未定义行为：

• 正向遍历：若p + length因地址溢出等于0（即内存分配在size_t类型的上限附近），循环会无法正常终止。
• 反向遍历：若p等于0（内存分配在内存起始地址），循环同样无法正常终止。

结合补充场景（遍历的是大尺寸结构体数组，比如单结构体占3000字节），问题触发条件会宽松很多：

• 反向遍历：只要p的地址小于结构体尺寸，就会出现循环失效，无需p为0。
• 正向遍历：只要final（即p + (length-1)*结构体尺寸）处于内存最大地址减去结构体尺寸的位置，就会触发问题，结构体尺寸越大，触发概率越高。

结论 #

虽然这些极端场景在常规开发中极少遇到，但由于涉及未定义行为，使用带索引变量i的循环会更稳妥，尽管代码的简洁性略有损失。

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