为何GCC在std::ranges::max的每次比较中都会拷贝对象？

测试代码 #

#include <vector>
#include <iostream>
#include <ranges>
#include <algorithm>

struct A
{
    A() {}
    A( const A& ) { std::cout << "Copy\n"; }
    A( A&& ) noexcept { std::cout << "Move\n"; }

    A& operator=(const A&) { std::cout << "Copy assigned\n"; return *this; }
    A& operator=( A&& ) noexcept { std::cout << "Move assigned\n"; return *this; }

    int x = 10;
};

int main()
{
    std::vector<A> vec( 10 );
    std::cout << "Init\n";
    std::cout << std::ranges::max( vec, [] ( const auto& a, const auto& b ) { std::cout << "cmp" << std::endl; return a.x < b.x; } ).x;
}

不同编译器的输出 #

GCC 13.2（开启-O3优化） #

Init
Copy
Copy
cmp
Copy
cmp
Copy
cmp
Copy
cmp
Copy
cmp
Copy
cmp
Copy
cmp
Copy
cmp
Copy
cmp
10

Clang 17（搭配-stdlib=libc++，任意优化级别） #

Init
cmp
cmp
cmp
cmp
cmp
cmp
cmp
cmp
cmp
Copy
10

问题 #

若A的拷贝构造函数开销较大，该差异会严重影响性能。请问GCC如此实现std::ranges::max是否有合理原因，还是属于bug？

解答 #

GCC的实现并非bug，而是符合C++标准的合规实现，背后有明确的设计考量：

1. 标准对返回值的强制要求
   C++标准规定std::ranges::max必须返回一个对象而非引用——这是为了避免输入范围是临时对象时，返回引用导致的悬垂引用问题。为了接口一致性，标准统一要求所有场景下都返回对象，而非针对左值范围单独做特殊处理。

2. GCC的保守实现策略
   GCC的std::ranges::max实现中，每次比较后都会拷贝当前的最大值候选对象，而非持有原范围元素的引用。这种方式虽然产生额外拷贝，但严格遵循了标准的返回要求，同时彻底规避了复杂场景下（比如范围元素生命周期不确定）的悬垂引用风险。

3. Clang/libc++的合规优化
   Clang/libc++针对左值范围做了针对性优化：遍历过程中持有原范围元素的引用，仅在最终返回时执行一次拷贝。这种优化完全符合标准——因为左值范围的元素生命周期足够长，持有引用不会有安全问题，标准允许实现做这类不违反语义的性能优化。

4. 性能优化方案
   如果想完全避免不必要的拷贝，可以改用std::ranges::max_element。它返回指向范围中最大元素的迭代器，不会产生任何拷贝操作，代码示例如下：

std::cout << std::ranges::max_element(vec, [] (const auto& a, const auto& b) {
    std::cout << "cmp" << std::endl;
    return a.x < b.x;
})->x;

这种写法在GCC和Clang下都会产生无拷贝的比较行为，彻底消除返回对象带来的开销。

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