https://blog.youkuaiyun.com/vanturman/article/details/80269081
对于用于模板定义的依赖于模板参数的名称,只有在实例化的参数中存在这个类型名,或者这个名称前使用了typename关键字来修饰,编译器才会将该名称当成是类型。除了以上这两种情况,绝不会被当成是类型。
因此,如果你想直接告诉编译器T::iterator是类型而不是变量,只需用typename修饰:
template <class T>
void foo() {
typename T::iterator * iter;
// ...
}
这样编译器就可以确定T::iterator是一个类型,而不再需要等到实例化时期才能确定,因此消除了前面提到的歧义。