将'|'(管道)运算符与std::view一起使用不能编译

2022-04-05 00:00:00 c++ c++20 std

在转行之后,我正在努力熟悉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)
编译器实现的当前规则是范围适配器管道不能接受右值非视图范围(如vectorstring等)。这是因为管道本身是非拥有的(视图是非拥有的),并且作为防止悬挂的安全机制而存在。

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

所以现在,您必须继续这样写(就像您已经在做的那样):

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

相关文章