使用“|” 带 std::views 的（管道）运算符无法编译

Question

在职业转移之后，我试图跟上 std::views （以及一般的函数式编程）的步伐。我正在使用“|” （管道）运算符与向量上的 std::views::filter ，我很困惑为什么有些代码结构可以编译，而另一些则不能。

此代码创建 的向量的向量int，然后按总和对其进行过滤。我已经评论了令我困惑的三个语句，其中前两个可以编译，第三个则不能。

编译错误是：

'|': no operator found which takes a left-hand operand of type 'std::vector<std::vector<int,std::allocator<int>>,std::allocator<std::vector<int,std::allocator<int>>>>' (or there is no acceptable conversion)  

（使用MSVC19，用 编译/std:c++latest）

我很困惑为什么这不能编译，而 (2) 尤其可以编译？

#include <vector>
#include <numeric>
#include <ranges>

template<typename T>
auto buildMultiples(const std::vector<T>& base)
{
    std::vector<std::vector<T>> vRet;
    for(T n= 1; n <= 5; n++)
    {
        auto v = base;
        for (auto& m : v) m *= n;
        vRet.push_back(v);
    }
    return vRet;
}

template<typename T>
struct sumGreaterThan
{
    T _limit{ 0 };

    auto operator()(const std::vector<T>& v) {return std::accumulate(v.cbegin(), v.cend(), 0) > _limit;}
};
   
int main()
{
    using namespace std;
    vector<int> nums{1,2,3,4,5,6,7,8,9};

    auto mults = buildMultiples(nums);

    for (auto& m : buildMultiples(nums)) {} //1. Compiles

    sumGreaterThan sumFilter{ 10 };
    
    auto vecs = buildMultiples(nums);
    for (auto& m : vecs | views::filter(sumFilter)) {} //2. Compiles

    for (auto& m : buildMultiples(nums) | views::filter(sumFilter)) {} //3. Compilation Error!!

    for (auto vecs = buildMultiples(nums); auto & m : vecs | views::filter(sumFilter)) {} // 4. Compiles. Thanks @Aryter
}

Answer 1

这是将左值传递vector给filter：

vecs | views::filter(sumFilter)

而这是将右值传递vector给filter：

buildMultiples(nums) | views::filter(sumFilter)

编译器实现的当前规则是范围适配器管道不能采用右值非视图范围（如vector、string等）。这是因为管道本身是非拥有的（视图是非拥有的），并且作为防止悬挂的安全机制而存在。

最近作为缺陷而采用的新规则将允许这可能并且会导致filter拥有（这是P2415 ）的结果，但编译器尚未实现它。通过此更改，您的其他版本也将被编译。buildMultiples

所以现在，你必须继续这样写（就像你已经在做的那样）：

auto vecs = buildMultiples(nums);
for (auto& m : vecs | views::filter(sumFilter)) { ... }