Clang警告避免拷贝是否合理？std::pair遍历的效率疑问

问题背景 #

现有存储char类型std::pair的std::vector，存在两种范围for循环遍历方式：

std::vector<std::pair<char, char>> v;

// 方式1：使用pair的引用
for (const auto &p : v) {
   // ...
}
// 方式2：使用结构化绑定的引用
for (const auto &[first, second] : v) {
   // ...
}

第一种方式中p是pair的引用，第二种（未优化时）first和second是pair元素的引用。但该pair仅占2字节，单个引用的大小都比它大，因此不考虑优化时，以下值拷贝的写法理论上更高效：

std::vector<std::pair<char, char>> v;

// 方式3：拷贝pair到局部变量
for (const auto p : v) {
   // ...
}
// 方式4：结构化绑定值拷贝
for (const auto [first, second] : v) {
   // ...
}

拷贝2字节到局部变量并通过已知偏移访问，比创建引用再解引用访问更高效。但Clang会产生警告（部分系统中被视为错误）：

loop variable 'p' creates a copy from type 'const std::pair<char, char>'
use reference type to prevent copying
loop variable '<structured bindings>' creates a copy from type 'const std::pair<char, char>'
use reference type to prevent copying

使用std::list替代std::vector时也会出现相同警告。

解答 #

遍历pair时使用引用并不总是比值拷贝更高效 #

对于std::pair<char, char>这种极小尺寸的对象，值拷贝的开销反而可能低于引用：

• 引用本质是底层指针的封装，未优化情况下访问引用需要额外的指针解引用操作；而拷贝2字节到局部变量后，可以直接通过固定偏移访问成员，指令更少、运行开销更低。
• 当对象尺寸小于等于指针/引用的尺寸时，拷贝操作的成本通常都比引用的间接访问成本低。

Clang的警告确实过于严格 #

Clang的警告逻辑是基于通用场景的最佳实践：

• 对于绝大多数尺寸较大的对象（比如包含复杂成员的结构体、大容器等），拷贝的开销远大于引用的开销，此时警告提示使用引用是合理的。
• 但它没有区分对象极小的特殊场景，导致在这类场景下给出了不符合最优性能的建议，显得过于严苛。

补充说明 #

• 在开启编译器优化（如-O2）的情况下，编译器通常会自动消除引用的额外开销，也会优化值拷贝操作，两种写法最终生成的机器码几乎一致，性能差异可以忽略。
• 如果需要在调试模式（未优化）下追求性能，且确定对象尺寸极小，可以通过编译指令忽略该警告（例如#pragma clang diagnostic ignored "-Wrange-loop-analysis"），或者保留值拷贝的写法；对于普通尺寸的对象，依然应该遵循警告建议使用引用，避免不必要的拷贝开销。

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