问一个模板问题

shake863

自己c++不是很好，有一个问题，
在写模板函数的时候
例如：
template<typename C>
void test(basic_string<C>& s) {
   
    typename basic_string<C>::iterator p;   // 这里前面要申明 typename
    basic_string<C>::size_type p1;              // 这里不需要声明 typename

}

这是为什么啊?
在模板函数里面什么时候要用typename 申明呢？

tyc611

这里都需要typename来声明使用的是类型
在使用了有依赖名的类型的内嵌类型时都需要typename声明，如这里的basic_string<C>类型依赖于模板参数C，因此它的内嵌类型需要typename声明

shake863

我想知道的是
basic_string<C>::size_type
为什么不需要？

sun20082002

对于本题的这两种写法,意思是一样的,只是第二种应该不标准而已,有的编译器能够通过, 正常情况内部类型前应该加typename修饰, 不然有时会将size_type当作一个静态成员变量,具体最好参考一下c++ template chapter 5 & 9

timespace

编译器分析模板定义时需要区分类型和表达式，对于你这个例子，两个都不加typename也可以，因为basic_string<T>::iterator和basic_string<T>::size_type都是两个类型，但是如果有T::name * p这种声明，在模板实例化之前，编译器有时很难确定它是乘法表达式还是指针声明，所以加typename会指导编译器更有效的分析模板定义。
   当然这些都是编译时确定的，理论上不加typename，在实例化之后也能确定具体含义，不同的编译器会有不同的限制，实现时不会完全按照理论来。不过作为一个好习惯或者编译的优化方法，还是适当的加typename，就像const的用法一样，多数时候不加也能工作，但是它会传到一些积极的信息

shake863

晓得了，谢谢大家的热情答疑。