先来上段代码
这是啥，为啥前面会有个typename。
于是去谷歌了一下http://feihu.me/blog/2014/the-origin-and-usage-of-typename/
对于用于模板定义的依赖于模板参数的名称，只有在实例化的参数中存在这个类型名，或者这个名称前使用了typename关键字来修饰，编译器才会将该名称当成是类型。除了以上这两种情况，绝不会被当成是类型。因此，如果你想直接告诉编译器T::iterator是类型而不是变量，只需用typename修饰。这样编译器就可以确定T::iterator是一个类型，而不再需要等到实例化时期才能确定，因此消除了前面提到的歧义。所以模板还是建议使用typename。引入typename关键字用于告诉编译器将::符号后的标示符看作是类型而不是变量，而且必须显式告诉。