cpp迭代器继承

Question

我的要求与使用迭代器隐藏内部容器并在stackoverflow 上通过基本容器 [ 1 ] 实现泛型操作的问题相同。 我有一个通用的纯虚拟基础容器类，它需要提供一个应该是STL投诉的迭代器，所以我可以使用它们与cpp算法的#include <algorithm> 。 我的实现仅使用单个类而不是[ 1 ]解决方案中的两个类。

基础纯虚拟类

class BaseItr
{
  public:
    class iterator : public std::iterator<std::input_iterator_tag, int>
    {
      public:
        iterator() : _in(NULL) {}
        inline iterator(const iterator& org) : _in(org._in) {}
        inline iterator& operator=(const iterator& other) { _in = other._in; return *this; }
        virtual inline int operator * () { return _in->operator*(); }
        virtual inline iterator& operator++() { (*_in)++; return *this; }
        virtual inline iterator& operator++(int unused) { (*_in)++; return *this; }
        virtual inline bool operator==(const iterator& other) 
        {
          return *(*_in) == *(*(other._in));
        }
        virtual inline bool operator!=(const iterator& other)
        {
          return *(*_in) != *(*(other._in));
        }
        // would use shared pointer insted of this
        //~iterator() { if(_in) { delete _in; } }
        static inline iterator New(iterator *in) { return iterator(in); }
      private:
        iterator(iterator *in) : _in(in) {}
        iterator *_in;
    };

    virtual iterator begin() = 0;
    virtual iterator end() = 0;
};

履行

class Itr : public BaseItr
{
  private:
    class iterator : public BaseItr::iterator
    {
      public:
        iterator(int val) : _val(val), BaseItr::iterator() {}
        int operator * () { return _val; }
        inline iterator& operator++() { ++_val; return *this; }
        inline iterator& operator++(int unused) { _val++; return *this; }
      private:
        int _val;
    };
    BaseItr::iterator _begin;
    BaseItr::iterator _end;
  public:
    inline Itr(int start, int end)
    {
      _begin = BaseItr::iterator::New(new iterator(start));
      _end = BaseItr::iterator::New(new iterator(end));
    }

    BaseItr::iterator begin() { return _begin; }
    BaseItr::iterator end() { return _end; }
};

我的实现工作是需要的，我想知道这个实现有什么缺点，请帮我决定使用我的设计来使用适当的实现。 我在github中添加了我的完整工作示例代码：gist https://gist.github.com/3847688

参考：

• 具有派生类的自定义容器的迭代器
• 使用迭代器隐藏内部容器并在基本容器上实现泛型操作
• 抽象类的快速灵活的迭代器
• C ++：在子类中使用不同的迭代器类型而不破坏继承机制

Answer 1

最明显的问题：你的迭代器没有值语义。

如果愿意，STL算法可以自由地复制迭代器。 比如假设：

template <typename It>
It find(It b, It e, typename std::iterator_traits<It>::const_reference t) {
    for (; b != e; ++b) {
        if (*b == t) { return b; }
    }
    return e;
}

问题是，如果使用BaseItr&调用此算法，则结果为BaseItr类型，因此您将暴露于对象切片 ，这是未定义的行为 。

为了给迭代器赋予值语义，您需要围绕抽象实现创建一个包装类，并让包装器通过虚拟clone方法正确地管理副本。 如果您的迭代器最终使用虚方法，那么您做错了。