面向对象框架中返回std::vector.size()的成员函数效率及-O2优化循环求值问题

问题背景 #

在prob.h中声明了类A_c并定义了全局对象A_c A;，在实现文件.cpp中有这样的循环代码：

for(int i = 0; i < A.vec_of_A_s_size(); i++) {
    // 执行循环操作
}

从程序设计角度，A.vec_of_A_s_size()是循环不变量，但不想用提前存储值的写法，想问在开启-O2优化的Release构建中，能不能可靠且一致地依赖编译器不对这个函数重复求值？

我的回答 #

先说结论：大多数主流编译器（GCC、Clang、MSVC）在-O2优化级别下，很大概率会把这个循环不变量提取出来只求值一次，但你不能100%依赖这个行为，它取决于几个关键因素。

下面拆解一下关键点：

• 编译器优化的前提：函数必须是「纯函数」
  编译器要做循环不变量消除，首先得确定vec_of_A_s_size()是纯函数——也就是这个函数没有任何副作用，返回值只依赖A的内部状态，而且在循环执行期间A的状态不会被修改。

  • 如果这个函数只是简单返回一个容器的大小（比如return vec.size();），编译器一眼就能识别它是纯函数，会毫不犹豫地把它提到循环外面，只计算一次。
  • 但如果函数里有任何可能的副作用（比如修改全局变量、调用了非纯函数、访问了volatile变量，甚至只是函数实现里有编译器无法识别的复杂逻辑），编译器为了保证程序行为正确，绝对不会做这个优化，每次循环都会调用函数。

• 跨编译单元的情况：没LTO的话可能无法优化
  如果vec_of_A_s_size()的实现是在另一个编译单元（比如prob.cpp），而你的循环代码在main.cpp里，那在单独编译main.cpp的时候，编译器看不到这个函数的实现细节，没法确定它是不是纯函数。这种情况下，即使开了-O2，编译器也不敢贸然优化，还是会每次循环都调用函数。只有开启了链接时优化（LTO），编译器才能在链接阶段看到所有代码，进而判断是否可以优化。

• 更稳妥的替代方案（比依赖-O2靠谱）
  如果你不想用提前存值的写法，又想确保只求值一次，有几个简单的办法：

  1. 给函数标记纯函数属性：比如GCC/Clang可以加__attribute__((pure))，MSVC用__declspec(noalias)配合无副作用的保证，明确告诉编译器这个函数是纯的，即使跨编译单元也能帮助编译器做出优化决策。
  2. 把函数设为inline并放在头文件：将vec_of_A_s_size()的实现直接写在头文件里并标记为inline，这样编译器在编译循环代码时能直接看到函数体，更容易识别它是纯函数，进而做优化。
  3. 其实提前存值没那么繁琐：退一步说，const auto size = A.vec_of_A_s_size();只是一行代码，不仅能保证无论编译器是否优化都只求值一次，还能让代码意图更清晰——读代码的人一眼就知道这个值在循环里不会变，可读性和可靠性拉满。

总的来说，O2下大概率会优化，但绝对不是100%可靠的。如果追求代码的稳定性和可预测性，要么用属性/inline给编译器明确提示，要么就用提前存值的写法，后者反而更简单直观。

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