编译器不同意接受此 view::keys 代码

Question

3 个编译器中只有 gcc 接受此代码。我猜 clang 问题是它使用了古董 libstdc++，但是 MSVC 和 GCC 应该支持范围代码。

什么是标准的强制行为？

#include<array>
#include<algorithm>
#include<iostream>
#include<map>
#include<set>
#include<ranges>

constexpr std::array<std::pair<int, double>,2> arr{std::pair{1,1.1},std::pair{2,2.2}};

int main(){
    auto it = std::ranges::find(arr | std::views::keys , 2);    
    std::cout << *it;
}

https://godbolt.org/z/hnnb38cPM

Answer 1

这需要 P2017R1（有条件地借用范围）才能工作；否则，arr | std::views::keys 就不是 borrowed_range，因此 ranges::find returns dangling.

大概 Godbolt 上的 MSVC 版本没有实现那篇论文。

编译器不同意接受此 view::keys 代码

Compilers disagree on accepting this view::keys code

c++

c++20

std-ranges