如何将具有 `next()` 方法的类似迭代器转换为常规的 `begin`/`end` 迭代器对？

如何解决如何将具有 `next()` 方法的类似迭代器转换为常规的 `begin`/`end` 迭代器对？

在我继承的代码库中，有一个看起来像迭代器的类（这不是确切的代码，但逻辑类似）。

template <class T>
struct IteratorLike {
    T* next() &; // either return a pointer to a valid value or nullptr
};

您使用它的方式与您使用 Rust 迭代器的方式非常相似：

IteratorLike<...> it = ...;
while(auto* item = it.next()) {
    do_something(*item);
}

如何转换它以使其与基于 C++ 范围的 for 循环、算法或范围 v3 兼容？我使用的是 C++14（更准确地说是 gcc5.5），所以我不能有一个与迭代器本身的类型不同的哨兵类型。

---

到目前为止，似乎最简单的方法是将迭代器和下一个值都存储在我的包装器中：

template <class T>
class MyIterator {
private:
    IteratorLike<T> m_iter;
    T* m_value;
public:
    using value_type = T;
    using difference_type = std::ptrdiff_t;
    using pointer = T*;
    using reference = T&; 
    using iterator_category = std::input_iterator_tag;

    reference operator*() const {
        assert(m_value && "trying to read past the end of the iterator");
        return *m_value;
    }   
    pointer operator->() {
        // I’m not sure the assert is needed here
        assert(m_value && "trying to read past the end of the iterator");
        return m_value;
    }   

    // Prefix increment
    MyIterator& operator++() {
        m_value = m_iter.next();
        return *this;
    }   

    // Postfix increment
    MyIterator operator++(int) {
        MyIterator tmp = *this;
        ++(*this);
        return tmp;
    }
    
    // used by `my_collection.begin()`
    explicit MyIterator(IteratorLike<T> iter)
        : m_iter{m_iter},m_value{this->self.next()}
    {}  
    // missing operator == and operator != as well as the constructor
    // used `my_collection.end()
};

但是，我不明白 my_collection.end() 应该返回什么（编辑：我只是检查，我不能默认初始化 m_iter），也不明白如何使用有意义的比较运算符。

注意：我基本上是在尝试与 this 完全相反。

解决方法

由于 IteratorLike 不是 default 可构造的，但显然是 copy 可构造的，因此您也可以使用您必须构造的 end() 迭代器的实例。示例：

// used by `my_collection.begin()`
explicit MyIterator(const IteratorLike<T>& iter) :
    m_iter{iter},m_value{m_iter.next()}
{}

// used by `my_collection.end()`
MyIterator(const IteratorLike<T>& iter,std::nullptr_t) :
    m_iter{iter},m_value{nullptr}
{}

bool operator!=(const MyIterator& rhs) const {
    return m_value != rhs.m_value;
}

然后在 my_collection 中：

template<typename T>
class my_collection {
public:
    MyIterator<T> begin() { return MyIterator<T>{itlike}; }
    MyIterator<T> end() { return {itlike,nullptr}; }

private:    
    IteratorLike<T> itlike;
};