在变量定义的循环内取其地址是否不安全？cppcheck示例原因解析

先看cppcheck给出的示例代码：

void f(int x)
{
    int i = 0;
    if (x) {
        // 将'int i = 0;'移至此处是安全的
        for (int n = 0; n < 10; ++n) {
            // 可以将'int i = 0;'移至此处，但并不安全
            do_something(&i);
        }
    }
}

核心原因在于变量的生命周期和内存地址变化：

• 原代码中，i定义在if块外，整个for循环的10次迭代里，i是同一个变量，内存地址固定。每次调用do_something(&i)时，传递的都是这块固定内存的地址。如果do_something依赖这个地址的持续性（比如保存地址后续操作、或者多次迭代修改同一个i的值），原逻辑是能正常工作的。
• 要是把int i = 0;移到内层for循环里，情况就变了：每次循环迭代都会创建一个全新的i变量，每个i都有独立的栈内存地址。这会导致两个关键问题：
  1. 每次调用do_something传递的都是不同的地址，如果函数内部缓存了这个地址，后续访问时可能会指向已经销毁的栈内存（当前循环迭代结束后，该i就会被释放），引发未定义行为；
  2. 原逻辑如果依赖所有循环迭代操作同一个i实例（比如循环内累计修改i的值），移到循环内后每次迭代都会重置i为0，完全违背原代码的意图。

cppcheck特别提到“将变量作用域缩小一级始终是安全的”——也就是把i移到if块内是没问题的，因为整个for循环还是使用同一个i，行为和原代码完全一致；但直接移到内层循环属于跨两级缩小作用域，彻底改变了变量的生命周期和唯一性，所以才说不安全。

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