1

我正在设计自己的迭代器类，以便可以为我的容器创建自定义迭代器。我认为这是最简单的方法，而不是从 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
4

1 回答 1

4

iterator的第一个模板参数是模板模板参数。也就是说，它应该将模板作为其参数。您不能给出Cont<T>，因为那是模板的特定实例化。尝试：

iterator<Cont, T>

值得注意的是Dataintemplate<class Data> class Cont是多余的。只会template<class> class Cont做得很好。

考虑继承自std::iterator——这就是它的设计目的。

于 2013-02-23T11:40:56.533 回答