range-v3 和 view_facade，无法为 ForwardRange 建模

Question

这个简化的测试用例（按照用户手册中的示例编写）无法编译

#include <range/v3/all.hpp>
#include <vector>

using v = std::vector<int>;

class rows : public ranges::view_facade<rows> {
  public:
    rows() = default;
    explicit rows(const v& data) : it_(data.begin()), end_(data.end()) {}

  private:
    friend ranges::range_access;
    v::const_iterator it_;
    v::const_iterator end_;

    const int& read() const {
        return *it_;
    }

    bool equal(ranges::default_sentinel) const {
        return it_ == end_;
    }

    void next() {
        ++it_;
    }
};

int main() {
    v data{10, 20, 30, 40};
    auto rng = rows(data) | ranges::view::unique;
}

编译失败并显示 static_assert，因为根据 view::unique，我的范围没有模拟 ForwardRange 概念

但是如果我重写 class 以使用显式游标，则编译成功

class rows : public ranges::view_facade<rows> {
  public:
    rows() = default;
    explicit rows(const v& data) : data_{&data} {}

  private:
    friend ranges::range_access;

    const v* data_;

    struct cursor {
        cursor() = default;
        cursor(v::const_iterator iter) : it{iter} {}

        const int& read() const {
            return *it;
        }
        bool equal(const cursor& other) const {
            return it == other.it;
        }
        void next() {
            ++it;
        }

        v::const_iterator it;
    };

    cursor begin_cursor() const {
        return {data_->begin()};
    }
    cursor end_cursor() const {
        return {data_->end()};
    }
};

为什么第一个 class 不是 ForwardRange 而第二个却可以？ view_facade<>::(begin|end)_cursor() 默认returns派生的一个实例class，所以我不明白为什么它不起作用。

我添加了静态断言以确保 ranges::range_access::single_pass_t 为假，因此我怀疑问题与 ForwardIterator 概念有关。

Answer 1

您定义了 equal(ranges::default_sentinel) const 而不是 equal(const rows&)，因此您的范围的迭代器类型将满足 EqualityComparableWith<ranges::default_sentinel> 而不是 EqualityComparable。前向迭代器（和更强的）需要满足 EqualityComparable，因此 rows 满足 InputRange 但不满足 ForwardRange。

我建议你定义：

bool equal(const rows& that) const {
    return it_ == that.it_;
}

和程序 behaves as you expect.

range-v3 和 view_facade，无法为 ForwardRange 建模

range-v3 and view_facade, cannot model ForwardRange

c++

range-v3