​ typedef _A::size_type size_type; 这句中的 _A:: 如何解释？

Question

template<class _E,class _Tr = char_traits<_E>,class _A = allocator<_E> >class basic_string {public:typedef basic_string<_E, _Tr, _A> _Myt;typedef _A::size_type size_type;typedef _A::difference_type difference_type;typedef _A::pointer pointer;typedef _A::const_pointer const_pointer;typedef _A::reference reference;typedef _A::const_reference const_reference;typedef _A::value_type value_type;typedef _A::pointer iterator;typedef _A::const_pointer const_iterator;typedef reverse_iterator<const_iterator, value_type,const_reference, const_pointer, difference_type>const_reverse_iterator;typedef _A::size_type size_type; 这句中的 _A:: 如何解释？ 这个应该是个类模板的虚类型，怎么可以用作用域:: ？

Answer 1

_A::是很正常的用法啊，类模版是在使用的时候才实例化的，真正使用的时候_A被指定成什么，那_A::就是谁的作用域了。