C++循环内使用static变量是否是有效的性能优化方式？

第一个问题：你的认知是否正确？ #

这个认知要分场景判断：

• 对于有非平凡构造/析构函数的自定义类型（比如带内存申请的容器、有初始化逻辑的业务类），这个认知完全正确：每次循环迭代都会依次执行两个变量的构造、析构逻辑，确实会产生额外的性能开销。
• 对于平凡类型（比如int、double、没有自定义构造/析构的简单结构体），这个开销几乎可以忽略：这类变量的栈上分配只是移动栈指针的操作，构造析构没有实际执行逻辑，大部分场景下编译器还会直接做优化，不会产生额外耗时。

第二个问题：为什么不推荐在循环里用static变量？ #

主要是static带来的问题远大于它能省的那点性能开销，常见弊端如下：

• 线程不安全：静态局部变量的存储是全局进程共享的，如果这段循环在多线程场景下执行，多个线程会同时读写同一块内存，直接触发数据竞争，产生不可预期的逻辑错误。如果为了安全加锁，加锁的开销反而远高于原本的构造析构开销。
• 状态残留隐患：静态变量只会在第一次进入循环时构造一次，上一轮迭代对变量的修改会完全保留到下一轮。除非你每次迭代都手动重置所有成员状态，否则只要漏了重置就会产生逻辑bug，而且这类隐式状态依赖的bug排查成本极高。
• 内存浪费：静态变量的生命周期和整个程序一致，直到程序退出才会析构释放内存。如果变量占用内存较大（比如大数组、带缓存的容器），这块内存会一直被占用，哪怕后续再也不会执行这个循环也不会释放，完全没必要。
• 不支持递归/重入：如果这个循环所在的函数被递归调用，或者被其他逻辑再次调用，静态变量会被所有调用链路共享，直接打乱正常的逻辑执行；而普通局部变量是栈独立的，每个调用链路的变量互不影响，不会有这个问题。
• 性能收益极低：现在编译器的优化能力已经非常强，对于没有副作用的构造析构逻辑，编译器会自动把变量提升到循环外部构造，和你手动加static的性能效果完全一致，根本不需要手动写static优化。如果确实需要复用变量，直接把变量定义写到循环外部就好，作用域可控，也不会有静态变量的各种隐患。

示例代码对比 #

循环内使用非静态变量

for(;;){
  type1 var1;
  type2 var2;
//(var1, var2 construct here )

....
   // Do something
....
  
//(var1, var2 destruct here )
}

循环内使用静态变量

for(;;){
  static type1 var1;
  static type2 var2;

//(var1, var2 don't construct here )
....
   // Do something
....
  
//(var1, var2 don't destruct here )
}

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