clang tidy:`循环变量已复制,但仅用作常量引用;考虑让它成为一个永久的参照物——它真的重要吗?

构造函数除了构造新对象之外,还有其他副作用。因此,这两个版本的语义可能有所不同。

即使情况并非如此,编译器也可能无法在编译期间确定这一点。例如,如果 foo 类型未在同一翻译单元中定义,并且未使用链接时间优化,编译器将无法优化掉副本,因为它可能具有在当前翻译单元编译时未知的副作用。

类似地,循环体可能会调用编译器无法证明它们没有修改的函数 福 ,在这种情况下,也无法优化副本。

(顺便说一句,编译器要证明这一点比clang tidy给你警告要困难得多,因为即使是一个函数 const 福 技术上仍然允许修改它。即使 福 对象本身是 常数 -合格的(例如。 const auto ),功能可能取决于 福 福 对象通过其他程序路径访问。)

例子:

auto f(const std::vector<std::string>& x) {
    std::size_t n = 0;
    for(auto y : x)
        n += y.size();
    return n;
}

GCC和叮当声 -O3 libstdc++不会优化拷贝(请参阅 operator new / operator delete / memcpy 程序集中的调用): https://godbolt.org/z/d66ac617M

https://godbolt.org/z/Tdc3GhcEv

如果你知道 福 是简单的,例如,类似于 std::vector<int> 容器,那么就性能而言,它实际上并不重要,假设可观察到的行为是相同的。

您可能仍然希望使用 常数 常数 第三部分,用于在整个代码中保持常量的正确性。然而,这是多么必要,可能会进入基于意见的领域。