C++中函數模板定製(function template specialization) 詳解

函數模板定製可以解決特定的模板參數, 需要特定的函數方法去實現;

注意函數模板定製是執行個體化模板, 而不是模板的重載;

有非模板函數(nontemplate function)存在時, 當匹配度相同時, 優先使用非模板函數;

如比較(compare)函數, 比較字串(char*)類型, 不能通過判斷地址去比較, 應該使用strcmp()函數, 需要定製函數模板;

函數模板定製需要使用 "template<>", 空的角括弧表明 提供的模板實參支援原版本的所有模板形參;

代碼:

/*  * CppPrimer.cpp  *  *  Created on: 2013.12.9  *      Author: Caroline  */      /*eclipse cdt, gcc 4.8.1*/      #include <iostream>  #include <vector>  #include <cstring>        using namespace std;        template <typename T>  bool compare (const T& t1, const T& t2)  {      std::cout << "first version" << std::endl;      return (t1<t2) ? true : false;  }        //函數模板定製  template<>  bool compare (const char* const &p1, const char* const &p2)  {      std::cout << "third version" << std::endl;      return strcmp(p1, p2);  }

//有非模板優先使用非模板  /*bool compare (const char* const &p1, const char* const &p2) { <span style="white-space:pre">  </span>std::cout << "forth version" << std::endl; <span style="white-space:pre">  </span>return strcmp(p1, p2); }*/      //處理字面類型的比較  template<unsigned N, unsigned M>  bool compare (const char (&p1)[N], const char (&p2)[M])  {      std::cout << "second version" << std::endl;      return strcmp(p1, p2);  }        int main(void)  {      const char* w("Wendy");      const char* c("Caroline");      //沒有函數模板定製, 調用第一個版本, 因為指標不能轉換為數組的引用      if(compare(c, w)) {          std::cout << "Caroline is long." << std::endl;      } else {          std::cout << "Wendy is long." << std::endl;      }            if(compare("Caroline", "Wendy")) {          std::cout << "Caroline is long." << std::endl;      } else {          std::cout << "Wendy is long." << std::endl;      }            return 0;  }

輸出:

third version  Caroline is long.  second version  Caroline is long.

作者：csdn部落格 Spike_King

更多精彩內容：http://www.bianceng.cnhttp://www.bianceng.cn/Programming/cplus/