typename的用法

          template与class两个关键字的含义，在不同场合稍有不同。  
  template的含义有两个：  

  1）template   <   typename   var_name     >   class   class_name;   表示var_name是一个类型，  
  在模版实例化时可以替换任意类型，不仅包括内置类型（int等），也包括自定义类型class。  
   
  这就是问题中的形式，换句话说，在template<typename   Y>和template<class   Y>中，  
  typename和class的意义完全一样。   
    
  2）typename   var_name;表示var_name的定义还没有给出，这个语句通常出现在模版的定义内,例如：   
  

template      
  void   f()   {   
      typedef   typename   T::A   TA;   //   声明   TA   的类型为   T::A   
      TA   a5;                       //   声明   a5   的类型为   TA   
      typename   T::A   a6;                 //   声明   a6   的类型为   T::A   
      TA   *   pta6;                         //   声明   pta6   的类型为   TA   的指针   
  }   

  因为T是一个模版实例化时才知道的类型，所以编译器更对T::A不知所云，为了通知  
  编译器T::A是一个合法的类型，使用typename语句可以避免编译器报错。   
    
  
          建议在这种语句中尽可能采用typename，以避免错觉（以为只能替换class,不能只换int),  
  这也是C++新标准引进typename关键词的一个初衷。  

          

           再看一个例子:

           为了分析模板定义，编译器必须能够区分出是类型以及不是类型的表达式。对于编译器  
  来说它并不总是能够区分出模板定义中的哪些表达式是类型。例如，如果编译器在模板定  
  义中遇到表达式Parm::name，且Parm   这个模板类型参数代表了一个类。那么name   引用的是  
  Parm   的一个类型成员吗？   
    

  template      
  Parm   minus(   Parm*   array,   U   value   )   
  {   
  　　Parm::name   *   p;   //   这是一个指针声明还是乘法？   
  }   

    
  编译器不知道name   是否为一个类型，因为它只有在模板被实例化之后才能找到Parm   表  
  示的类的定义。为了让编译器能够分析模板定义，用户必须指示编译器哪些表达式是类型表  
  达式。告诉编译器一个表达式是类型表达式的机制是在表达式前加上关键字typename。例如，  
  如果我们想让函数模板minus()的表达式Parm::name   是个类型名，因而使整个表达式是一个  
  指针声明，我们应如下修改   
    

  template      
  Parm   minus(   Parm*   array,   U   value   )   
  {   
  typename   Parm::name   *   p;   //   ok:   指针声明   
  }