依赖范围中的typename

时间:2013-10-17 20:14:11

标签: c++ iterator auto typename const-iterator

下面是我的代码的精简版本,它给我一个编译器错误。编译器告诉我将typename放在'std :: deque :: reverse_iterator'的前面,这是有道理的。但如果我这样做,我会在底部收到错误。这是什么意思?怎么解决?

#include <iostream>
#include <deque>

template<class T>
class Stack{

    public:
        Stack(){}
        ~Stack(){}
        void push(T c) { s.push_back(c); }
        void inspect() const{
            for(typename std::deque<T>::reverse_iterator i=s.rbegin(); i!=s.rend(); i++)
                std::cout << *i << std::endl;
        }

    private:
        typename std::deque<T> s;
};


int main(){

  Stack<int> s;
  s.push(1);
  s.inspect();
  return 0;
}

错误:

error: no matching function for call to 'std::_Deque_iterator<int, int&, int*>::_Deque_iterator(std::reverse_iterator<std::_Deque_iterator<int, const int&, const int*> >::iterator_type)'|
note: candidates are:|
note: std::_Deque_iterator<_Tp, _Ref, _Ptr>::_Deque_iterator(const iterator&) [with _Tp = int; _Ref = int&; _Ptr = int*; std::_Deque_iterator<_Tp, _Ref, _Ptr>::iterator = std::_Deque_iterator<int, int&, int*>]|
note:   no known conversion for argument 1 from 'std::reverse_iterator<std::_Deque_iterator<int, const int&, const int*> >::iterator_type {aka std::_Deque_iterator<int, const int&, const int*>}' to 'const iterator& {aka const std::_Deque_iterator<int, int&, int*>&}'|
note: std::_Deque_iterator<_Tp, _Ref, _Ptr>::_Deque_iterator() [with _Tp = int; _Ref = int&; _Ptr = int*]|
note:   candidate expects 0 arguments, 1 provided|
note: std::_Deque_iterator<_Tp, _Ref, _Ptr>::_Deque_iterator(_Tp*, std::_Deque_iterator<_Tp, _Ref, _Ptr>::_Map_pointer) [with _Tp = int; _Ref = int&; _Ptr = int*; std::_Deque_iterator<_Tp, _Ref, _Ptr>::_Map_pointer = int**]|
note:   candidate expects 2 arguments, 1 provided|

2 个答案:

答案 0 :(得分:3)

std::deque<T>没有任何依赖,因此不能有typename。只有左侧依赖于模板参数的::右侧的内容才是依赖的。

答案 1 :(得分:1)

这是一个很好的例子,使用auto可以帮助你不仅仅是保存输入。您使用const成员函数,但尝试使用数据成员的reverse_iterator,而不是const_reverse_iterator

typename std::deque<T>::reverse_iterator更改为typename std::deque<T>::const_reverse_iterator,或更简单地将auto更改。

这是对您的数据成员的额外typename的补充。