使用“|” 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)) { ... }

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

Using '|' (pipe) operator with std::views does not compile

c++

std

c++20