循环内直接调用size()与提前赋值的性能及实践差异探讨

先明确对比的两种代码写法：

第一种：

for(int i = 0; i < x.size(); i++)

第二种：

int size = x.size();
for(int i = 0; i < size; i++)

一、无编译优化时的差异 #

• 操作次数：前者每次循环都会调用x.size()，如果size()的实现需要执行实际逻辑（比如遍历计算长度、涉及函数栈操作），那每次循环都要重复这个开销；后者只调用一次size()并赋值给变量，循环里直接访问变量，操作次数更少，性能更优。
• 编译时间：两者编译耗时几乎没有差异，无非是后者多了一行变量赋值的编译处理，不会带来可感知的编译速度变化。

二、编译优化的自动处理能力 #

主流编译器（GCC、Clang、MSVC等）在开启O2/O3级别的优化时，会自动分析x.size()的调用场景：

• 如果编译器能确定x在循环过程中不会被修改（比如x是const对象、局部非全局容器且循环内没有修改它的操作），会自动把x.size()的调用提升到循环外，等价于第二种写法的效果。
• 但如果编译器无法确定x是否被修改（比如x是全局变量、循环内有调用可能修改x的外部函数），就不会做这个优化，此时两种写法的性能差异依然存在。

三、极致计算效率下的差异 #

如果追求极致性能，要分场景判断：

• 当x.size()是纯函数（返回值仅依赖容器状态，无副作用，且循环内x状态完全不变）：开启优化后两者性能完全一致，编译器的循环外提优化会抹平差异。
• 当x.size()不是纯函数，或者编译器无法明确判断x是否被修改：此时第二种写法依然更优，能避免重复调用size()带来的额外开销。
• 对于一些自定义容器，如果size()的实现本身有不可忽略的开销，显式保存size变量能消除编译器优化的不确定性，确保性能最优。

四、编码最佳实践 #

• 若循环内不会修改容器x：两种写法都可行，优化后性能无差。显式声明size变量的写法可读性更强，能清晰传递“循环边界是容器初始长度”的意图。
• 若循环内可能修改容器x：两种写法逻辑完全不同，需根据需求选择——前者会随容器长度变化调整循环次数，后者则以初始长度为固定边界，不能混用。

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