用户定义的容器无法使用std:：ranges

Question

我无法让我的用户定义的容器使用std::ranges。如果迭代器只是一个< code>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

为了实现这一点，是否需要为＜code＞std:：ranges＜/code＞做一些新的工作？

我正在使用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)

但海湾合作委员会给出了同样的错误。

我已经找到了如何创建范围视图的例子，但是没有一个向我展示如何创建自己的迭代器。

Answer 1

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

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

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

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

然后< code >运算符*()不是< code>const，它需要是。

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

一旦你解决了所有这些问题，那么一切都会按预期进行。