模板特化

上一篇《模板与重载》里，我遇见了想同时使用模板函数与非模板函数的情况。后来才知道，其实并不需要，当我想对某些特定的类型进行特殊操作时，只需要使用模板特化就可以。

所谓特化，就是说对于模板函数，对于某些类型可能需要特殊处理，所以进行特殊化。可以分为特化与偏特化，其实就是将模板列表中的模板全部特化还是部分特化。
使用 template<> 来告诉编译器，这是一个特化的模板。

• 类模板：

  template<class T>
  class whatever{
  private:
      T x;
  public:
     whatever(T _x): x(_x) {};
  }
  template<>
  class whatever<char*>{
  private:
      char* x;
      int length;
  public:
     whatever(char* _x) {
         length = strlen(_x) + 1;
         x = new char[length];
         memcpy(x, _x, length);
     }
     ~whatever(){
         delete[] x;
     }
  }
  

  如上就是类模板的特化。最开始template<>指明这是模板的特化，然后在定义的时候<char*>指明是对char*类型的特化。
• 函数模板：

  template<class T>
  int type(T){
     return 1;
  }
  template<>
  int type<int>(int){
     return 0;
  }
  template<>
  int type(float){
     return 1;
  }
  

  如上就是类模板的特化。与类模板的特化基本相同。不过如果模板类型出现在了返回值或者传入参数中时，定义中的模板参数列表可以省略，如上面对float的特化。