C++嵌套for循环整型迭代器内外声明的内存使用差异

Code 1 #

int solution(vector<vector<int>>& arr){
    int ans, m = arr.size(), n = arr[0].size(); // 给定m的取值至少为1
    for(int i = 0; i < m; i++){
        for(int j = 0; j < n; j++){
            // 执行相关操作
            // i和j仅用于遍历数组
        }
    }
    return ans;
}

Code 2 #

int solution(vector<vector<int>>& arr){
    int i, j, ans, m = arr.size(), n = arr[0].size();
    for(i = 0; i < m; i++){
        for(j = 0; j < n; j++){
            // 执行相关操作
        }
    }
    return ans;
}

这两段代码在编译后的运行时内存占用完全相同，你此前的认知偏差来源于混淆了语法层面的变量作用域/生命周期和实际内存分配行为，具体差异说明如下：

• 首先int属于POD（普通旧数据）类型，没有自定义的构造、析构逻辑，编译器对这类局部变量的内存分配是在函数编译阶段一次性完成的：
  函数执行前会先创建栈帧，编译器会提前统计整个函数内所有局部变量需要的总栈空间，直接调整栈指针预留对应大小的内存，不会因为你把变量声明写在循环内部，就每次进入循环都重新分配内存。Code1里的j只是语法上的作用域被限制在第二层for循环内部，实际占用的栈内存和Code2里的j一样，都是固定的4字节（常规32位int的大小），不存在重复分配、多占内存的情况，甚至开启优化后两段代码会生成完全一致的汇编指令。
• 二者唯一的差异是语法层面的作用域限制：
  Code1中i仅能在第一层for循环内访问，j仅能在第二层for循环内访问，超出对应范围编译器会直接报错；Code2中i、j的作用域覆盖整个函数，循环结束后仍然可以被访问。
• 业内更偏好Code1写法的核心原因是安全性和可读性：
  更小的作用域可以避免变量被意外复用、误修改，减少隐性逻辑bug，同时变量声明和使用的位置挨在一起，代码可读性更强。

补充说明：如果循环内声明的是带自定义构造/析构的非POD类型（比如std::string、自定义类对象），确实会每次进入循环执行构造、退出执行析构，产生额外的运行时开销，但这也不会增加内存占用，构造析构都是在同一块预留的栈内存上执行的。

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