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

参考：

• 具有派生类的自定义容器的迭代器
• 使用Iterator隐藏内部容器并在基本容器上实现泛型操作
• 快速灵活的抽象类迭代器
• 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方法正确管理副本如果你的迭代器最终使用了虚拟方法，那你就做错了