【42】了解typename的双重意义

1、在template声明中，class与typename是等价的，但是使用typename更好。

2、在template实现中，模版形参是从属名称，嵌套在模版形参中的类型是嵌套从属名称，不依赖任何template参数的名称，称为非从属名称。

3、嵌套从属名称，可能会导致解析困难，出现二义性。比如：C::const_iterator* x; 有两种意思。一是：模版形参C中有个静态字段const_iterator，然后计算它与x的乘积；二是：模版形参C中有个嵌套类型const_iterator，定义指向它的指针。默认情况下，C++编译器按第一种意思解释，也就是说，把它当成静态字段，而不是类型。如果我想告诉编译器，这是个嵌套类型，该怎么办？使用typename C::const_iterator* x;

4、typename必须作为嵌套从属类型名称的前缀词，有两个例外情况：

 template <typename T>

 class Derived:public Base<T>::Nested //不能使用typename

 {

     public:

         explicit Derived(int x):Base<T>::Nested(x) //不能使用typename

         {

               typename Base<T>::Nested temp; //必须使用typename

          }

 }

也就是，不能在基类列，或者成员初始化列，以typename作为base class的修饰符。

巴特西

【42】了解typename的双重意义

最新文章

热门文章