应将循环内不变的计算(如sqrt(x)、vec.size())提取到循环外。例如用const auto n = vec.size()替代每次调用,既安全又清晰;对无副作用函数如sqrt(4.0)可直接提为const变量。

循环里反复调用 sqrt(x) 或 vec.size() 怎么优化
这类计算只要输入不变,结果就固定,放在循环内纯属浪费 CPU。编译器不一定能自动优化(尤其带副作用或跨翻译单元时),得手动提。
常见被误放的有:std::sqrt、std::sin、容器的 size()、end()、字符串的 length()、指针偏移计算如 &arr[i] 中的基地址加法等。
- 如果函数无副作用且参数是常量(比如
sqrt(4.0)),直接提成 const 变量 - 容器大小若循环中不增删元素,
const auto n = vec.size();更安全——size()是 O(1),但语义清晰且避免迭代器失效误判 - 用范围 for 时,
end()通常会被编译器优化,但显式缓存const auto e = vec.end();能杜绝意外(比如 vector 在循环中被 push_back 导致 reallocate)
for (int i = 0; i 怎么改
这是典型陷阱:每次迭代都重算条件表达式。即使 expensive_func() 返回 const,编译器也未必敢动——它可能有 IO、锁、或未声明 noexcept / const。
- 最稳妥:提前调用并存为局部变量,比如
const int limit = expensive_func(); for (int i = 0; i - 如果函数返回值依赖循环外状态但可能变化(比如全局计数器),需确认逻辑是否真允许缓存——否则提出来反而引入 bug
- 注意类型匹配:
expensive_func()返回size_t?那i也该是size_t,避免符号比较警告或隐式转换开销
循环内取数组首地址或计算偏移要不要提
像 &arr[0] + i 或 base_ptr + i * stride 这类地址运算,在每次迭代重复算,现代 CPU 流水线虽快,但冗余指令仍占解码带宽。
-
&arr[0]等价于arr,直接用数组名更简洁;若arr是局部栈数组,取地址零开销,但提成指针变量(auto p = arr;)可提升可读性 - 步长固定时,用指针递增代替下标:先
auto p = &arr[0];,循环里++p,比arr[i]少一次乘法和加法 - 结构体数组中取字段地址(如
&arr[i].field)必须提——每次都要做 base + offset 计算,且 offset 不一定编译期可知(虚继承或 packed 属性影响)
编译器会不会自己优化?什么情况下不能信
Clang/GCC -O2 下对纯函数(sqrt、abs)和容器 size() 常做 hoisting,但以下情况大概率失效:
- 函数调用跨 .cpp 文件,且没启用 LTO
- 函数声明没写
[[nodiscard]]或const,编译器不敢假设无副作用 - 循环体有内联汇编、
volatile访问、或调用未知 DLL 函数 - 使用
std::vector::at()—— 它带边界检查,每次调用都可能抛异常,编译器绝不敢省
性能关键路径上,别赌编译器;手提一行代码,既明确意图,又跨平台稳定。最容易被忽略的是:缓存值的生命周期必须覆盖整个循环,尤其是引用或指针——提成变量时别让原对象提前析构。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











