用户定义的容器不适用于 std::ranges

如何解决用户定义的容器不适用于 std::ranges

我无法让用户定义的容器与 std::ranges 一起使用。 如果迭代器只是一个 int*，我的容器可以工作，但是一旦我创建了自己的迭代器类，就会出现编译器错误。

这有效。

#include <iostream>
#include <ranges>
using namespace std;

struct sentinel {};

class my_iota_view_a : public std::ranges::view_interface< my_iota_view_a >{
public:
    using value_type        = size_t;
    using iterator          = value_type *;

    my_iota_view_a() = default;
    my_iota_view_a( size_t begin ) : mBegin( &mData[begin] ) { }

    iterator begin() { return mBegin; }
    sentinel end() { return sentinel{}; }
private:
    value_type mData[10] ={ 0,1,2,3,4,5,6,7,8,9 };
    value_type * mBegin;
};

bool operator==( my_iota_view_a::iterator lhs,sentinel rhs ) { return false; }
bool operator!=( my_iota_view_a::iterator lhs,sentinel rhs ) { return true; }

int main() {
    for( auto i :  my_iota_view_a( 1 ) | ranges::views::take(3) )  
        cout << i << ' ';
    cout << "\n";
}

https://godbolt.org/z/nxr1qe

使用我自己的迭代器它不起作用。

#include <iostream>
#include <ranges>
using namespace std;

struct sentinel {};

class my_iota_view_b : public std::ranges::view_interface< my_iota_view_b > {
public:
    struct iterator_type {
        using iterator_category = std::output_iterator_tag;
        using value_type        = size_t;
        using reference         = value_type; // Intentional not 'value_type &' because 
                                              // this iterator modifies the value.
        using pointer           = value_type*;
        using difference_type   = std::ptrdiff_t;

        iterator_type() = default;
        iterator_type( value_type val ) : mVal( val ) {}
        iterator_type( const iterator_type & o ) : mVal(o.mVal) {}
        iterator_type( iterator_type && o ) noexcept : mVal( std::move( o.mVal ) ) {}

        iterator_type operator++( int ) /* Postfix a++ */ { auto it = *this; ++it; return it; }
        iterator_type operator++() /* Prefix ++a */{ mVal++; return *this; }

        reference operator*() { return mVal; }
    
        value_type mVal{};
    };

    struct sentinel {};

    friend bool operator==( iterator_type lhs,sentinel rhs ) { return lhs.mVal > 1000; }
    friend bool operator!=( iterator_type lhs,sentinel rhs ) { return !(lhs == rhs); }

    using value_type        = size_t;
    using iterator          = iterator_type;
    using const_iterator    = iterator_type;

    my_iota_view_b() = default;
    my_iota_view_b( value_type begin ) : mBegin( begin ) {}

    iterator begin() { return mBegin; }
    sentinel end() { return sentinel{}; }

    size_t size() { return 10; }
private:
    value_type mBegin{};
};

bool operator==( my_iota_view_b::iterator lhs,sentinel rhs ) { return false; }
bool operator!=( my_iota_view_b::iterator lhs,sentinel rhs ) { return true; }

int main() {
    for( auto i :  my_iota_view_b( 1 ) | ranges::views::take(3) )  // *1
        cout << i << ' ';

    for( auto i :  my_iota_view_b( 1 )  )  // An old school range based for works.
        cout << i << ' ';
}

// Line *1 error: no match for 'operator|' (operand types are 'my_iota_view_b' and ranges::views::take(3)

https://godbolt.org/z/o9rzhf

是否需要为 std::ranges 做一些新的事情才能使这项工作发挥作用？

我正在使用 Visual Studio 16.8.4（撰写本文时的最新版本）进行编译，编译错误是

error C2678: binary '|': no operator found which takes a left-hand operand of type 'my_iota_view_b' (or there is no acceptable conversion)

但是 GCC 给出了同样的错误。

我已经找到了如何制作范围视图的例子，但没有一个例子告诉我如何制作我自己的迭代器。

解决方法

问题是你的迭代器不是迭代器。回答这个问题的最好方法是使用静态断言：

static_assert(std::input_iterator<my_iota_view_b::iterator>);

如果你这样做，你会看到你的迭代器无法满足的所有事情。第一个是它不可移动分配。这是因为您提供了一个移动构造函数 - 您不应该这样做并让编译器为您生成它们。

删除移动和复制构造函数后，您将看到下一个错误，即前缀增量不返回引用，它应该返回。

然后那个 operator*() 不是 const，它必须是。

然后您的 iterator_category 是 output_iterator_tag，而它应该是 forward_iterator_tag（甚至完全不存在）。

解决所有这些问题后，一切都会按预期进行。