Question

我正在设计自己的迭代器类，以便我可以为容器创建自定义迭代器。我认为这是最简单的方法，而不是继承自bidirectional_iterator或iterator_traits。问题是容器也是模板化的。在为此类编写复制构造函数和赋值运算符时，编译器不喜欢返回类型和参数（这是

iterator<someContainer<someClasstype>>.

这是一个可以解决的问题吗？或者这是模板深度的限制吗？

这是班级：

template <template<class Data> class Cont, class T>
class iterator
{
    typedef typename Cont<T>    container_type;
    typedef T*      ptr_type;
    typedef T       value_type;
private:
    ptr_type _ptr;
    size_t _alloc;  // offset to apply when jumping contiguos addresses
public:
    // ctors

    // Default
    explicit iterator()
    {
        _ptr = 0;
        _alloc = sizeof(value_type);
    }

    // reference
    explicit iterator(const value_type& address): _ptr(address)
    {
            _alloc = sizeof(value_type);
    }

    // pointer
    explicit iterator(const ptr_type ptr): _ptr(ptr)
    {
        _alloc = sizeof(value_type);
    }

    // copy
    iterator(const iterator<Cont<T>, T>& right)
    {
        _ptr = right._ptr;
        _alloc = right._alloc;
    }


    // operators

    // assignment
    iterator<Cont<T>, T>& operator=(const value_type& address)
    {
        return *this(address);
    }

    iterator<Cont<T>, T>& operator=(const ptr_type ptr)
    {
        return *this(ptr);
    }

    iterator<Cont<T>, T>& operator=(const iterator<container_type, T>& right)
    {
        return *this(right);
    }

    // equality
    bool operator==(const iterator<container_type, T>& right)
    {
        return (_ptr == right._ptr && _alloc == right._alloc);
    }

    // dereference
    T& operator*(const iterator<container_type, T>& it)
    {
        return *_ptr;
    }

    T* operator()   // get value operator? (ie list<int>::iterator returns the memory address, even though its a class
    {
        return _ptr;
    }

};

我到目前为止尝试过这些组合：

iterator<Cont<T>>
iterator<Cont<T>, T>
iterator<container_type> // typedef of Cont<T>
iterator<container_type, T>

但没有一个被接受。编译器错误是：

Error   1   error C3200: 'Cont<T>' : invalid template argument for template parameter 'Cont', expected a class template c:\users\sapphire\documents\visual studio 2012\projects\hybridlist\hybridlist\iterator.h    43

Error   2   error C2976: 'iterator' : too few template arguments    c:\users\sapphire\documents\visual studio 2012\projects\hybridlist\hybridlist\iterator.h    53

Answer 1

iterator的第一个模板参数是模板模板参数。也就是说，它应该以模板作为参数。您无法提供Cont<T>，因为这是模板的特定实例。尝试：

iterator<Cont, T>

值得注意的是Data中的template<class Data> class Cont是多余的。只需template<class> class Cont即可。

考虑从std::iterator继承 - 这就是它的设计目标。

赋值运算符使用模板参数重载模板类

1 个答案: