问题描述

在转行之后，我正在努力熟悉std：：view(以及一般的函数式编程)。我在向量上使用带有std：：view：：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
}

推荐答案

这正在将一个左值vector传递到filter：

vecs | views::filter(sumFilter)

鉴于这是将右值vector传递到filter：

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

最近被采纳为缺陷的新规则将允许filter可以并且将导致拥有buildMultiples(这是P2415)的结果，但编译器还没有实现它。使用此更改，您的其他版本也可以编译。

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