看过stl模板源程序的朋友请进

[jwwu]

在stl模板得源程序里面经常可以看到
template <class T>
class iterator {
typedef typename T::iterator_tag iterator_tag;
...
}
请问 typename 是定义T 里面得成员iterator_tag 吗
还是T 在以前就定义了iterator_tag

上面那句到底是什么意思?

[jyfcsdn]

T以前就有iterator_tag这个东东

[sandrowjw]

T自己管自己定义了适合于它的iterator_tag（实际上是iterator_category），iterator类引用了这个类型来变成符合这个category类型的iterator。

[bravemanman]

v

[Wolf0403]

是不是就是说，传递给 iterator 作为模板参数的类，必须包含一个 ::iterator_tag 类型定义的？

[积木]

T::iterator_tag
因为程序实现要用到tag的参数，因为对不同的流迭代器
其代码编写逻辑是不一样的，实现的复杂度也不同

[cxjddd]

typename 是指 T::iterator_tag 是一个类型，而不是其它什么东西。

[oopig]

同意cxjddd(战士编程)。
由于模版的迟滞编译的特性，编译器并不清楚T这个模版类型形参的声明，所以需要显式地说明T::iterator_tag是一个类型。