如何修复ForEachEst宏引发的Valgrind读2错误？

问题背景 #

我定义的ForEachEst宏始终触发Valgrind读2错误，原宏定义如下：

#define ForEachEst(r,s,i) for((i) = 0, (s) = group[r]->est[i]; (i) < grp[r]->est_count; (s) = group[r]->est[++i])

尝试用条件运算符改写宏：

#define ForEachEst(r,s,i) for((i) = 0, (s) = group[r]->est[i]; (i) < grp[r]->est_count; ++i, (s) = group[r]->est[i >= grp[r]->est_count ? 0 : i])

但Valgrind仍抛出读2错误。由于程序中已大量使用该宏，无法将其移除，需解决该问题。

示例代码：

#define ForEachEst(r,s,i) for((i) = 0, (s) = group[r]->est[i]; (i) < grp[r]->est_count; (s) = group[r]->est[++i])

/* 每个grp[]包含多个sets[]，sets的索引存储在grp->est[]中。例如：grp[1]对应{sets[0], sets[5], sets[9]}，grp[1]->est[]为{0,5,9}。group[r]->est_count是表示该组中索引数量的整数 */

int s;
int r;
int i; 

ForEachEst(r, s, i) {
  print("Grp: %d, Set: %d", r, s);
}

错误根源 #

1. 数组越界访问：原宏的循环逻辑存在漏洞：当i等于grp[r]->est_count - 1时，循环体执行完毕后会执行增量部分的++i，此时i变为grp[r]->est_count，接着访问group[r]->est[i]，而数组est的合法索引范围是0到est_count-1，这就触发了越界读操作，正是Valgrind报错的核心原因。
2. 变量拼写混淆：宏中混用了group[r]和grp[r]两个变量，结合注释描述，这大概率是笔误。如果group和grp不是指向同一结构数组，est_count与实际est数组长度不匹配，也会导致越界。
3. 改写后的宏仍有冗余访问：修改后的宏在i达到est_count时，仍会执行s = group[r]->est[0]的赋值操作——虽然这个访问本身不越界，但属于不必要的操作，且未解决循环增量执行时机错误的核心问题。

解决方案 #

方案1：调整宏结构，避免增量阶段的越界访问 #

将s的赋值从for循环的增量部分移到循环体前置位置，用嵌套空循环实现，完全兼容原有代码调用方式：

#define ForEachEst(r,s,i) for((i) = 0; (i) < grp[r]->est_count; ++i) \
    for((s) = grp[r]->est[i]; ; )

逻辑说明：

• 外层循环控制i的递增，当i达到est_count时直接终止，不会执行多余操作。
• 内层空循环仅执行一次s的赋值，随后进入业务代码块，执行完后内层循环自动退出，回到外层循环的增量步骤。
• 同时修正了group和grp的拼写问题，确保变量统一。

方案2：用逗号表达式重构循环条件（可读性稍弱） #

如果不想用嵌套循环，也可以把s的赋值整合到循环条件中，确保只有循环条件满足时才执行赋值：

#define ForEachEst(r,s,i) for((i) = -1; (i) + 1 < grp[r]->est_count && ((s) = grp[r]->est[++i], 1); )

逻辑说明：

• i初始化为-1，每次循环条件判断时，先执行++i，再赋值s，最后通过逗号表达式返回1（保证条件为真）。
• 当i+1等于est_count时，循环条件不满足，直接终止，不会触发任何越界访问。

验证说明 #

以示例代码为例，使用方案1的宏后，执行流程为：

1. i初始化为0，进入外层循环。
2. 内层循环将s赋值为grp[r]->est[0]，执行print操作。
3. 内层循环退出，外层循环执行++i，直到i等于est_count时终止循环。
   全程不会出现数组越界，Valgrind的读错误会被解决。

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