我的自定义std:：ranges迭代器缺少什么？

Question

我想为客户数据结构提供一个视图，它有自己的迭代器。我编写了一个小程序来测试它，如下所示。如果我取消对begin（）的注释，它就会工作。但是如果我使用DummyIter，那么我会得到一个编译错误。

在我的完整程序中，我实现了一个完整的迭代器，但为了简单起见，我把它缩小到了必要的函数。

#include <iostream>
#include <ranges>
#include <vector>

template<class T>
struct DummyIter
{
  using iterator_category = std::random_access_iterator_tag;
  using value_type = T;
  using difference_type = std::ptrdiff_t;

  DummyIter() = default;

  auto operator*() const { T t; return t; }

  auto& operator++() { return *this; }

  auto operator++(int val) { DummyIter tmp = *this; ++*this; return tmp; }

  auto operator==(const DummyIter& iter) const { return true; }
};

template<class V>
struct DummyView : std::ranges::view_interface<DummyView<V>>
{
  //auto begin() const { return std::ranges::begin(v); }
  auto begin() const { return DummyIter<int>(); }

  auto end() const { return std::ranges::end(v); }

  V v;
};

int main() {
  auto view = DummyView<std::vector<int>>();
  view | std::views::filter([](auto i) { return i > 0; });
}

我使用的是GCC 11.1.0。我在迭代器中缺少了什么使其符合范围？

error: no match for 'operator|' (operand types are 'DummyView<std::vector<int> >' and 'std::ranges::views::__adaptor::_Partial<std::ranges::views::_Filter, main()::<lambda(auto:15)> >')
   37 |   view | std::views::filter([](auto i) { return i > 0; });
      |   ~~~~ ^ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |   |                        |
      |   |                        std::ranges::views::__adaptor::_Partial<std::ranges::views::_Filter, main()::<lambda(auto:15)> >
      |   DummyView<std::vector<int> >

Answer 1

检查此类范围的方法是：

1. 验证您的迭代器是一个input_iterator。
2. 验证您的哨兵是一个sentinel_for您的迭代器。

这些检查将告诉您缺少哪些功能。

在这种情况下，即：

using I = DummyIter<int>;
using S = std::vector<int>::const_iterator;

static_assert(std::input_iterator<I>);   // ok
static_assert(std::sentinel_for<S, I>);  // error

问题是S不是sentinel_for

因此，您需要添加另一个运算符==到DummyIter

Answer 2

这不起作用，因为开始和结束的返回类型不匹配。所以基本上这些迭代器不能相互比较。

证明：

• 这是带有额外静态断言的代码

最低要求是开始（）和结束（）的结果是可比的。当不知道范围的大小时，开始（）和结束（）的不同类型是有用的。这里有一个关于哨兵的很好的解释（在注释中提到）。

Answer 3

因为您的DummyView不符合range的概念，准确地说，就是视图的返回类型。end（）不能用作视图的哨兵。begin（），因为没有合适的运算符==（）来与std:：vector进行比较

解决方法只是添加bool运算符==（std::向量

template<class T>
struct DummyIter {
  // ...
  bool operator==(std::vector<T>::const_iterator) const;
};

演示