使用“|”带有 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拥有buildMultiples（这是P2415）的结果，但编译器不会'还没有实现它。通过此更改，您的其他版本也将被编译。

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

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