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

C++的模板(template)是泛型程式設計(generic programming)的基礎;

物件導向編程 是 運行(run time)時 知道類型(type); 泛型程式設計 是編譯(compilation) 知道類型;

函數模板(function template)包含模板參數列表(template parameter list);

每個參數類型之前必須包含關鍵字typename或class, 盡量使用typename, 表達意思更加明確;

非類型模板參數(Nontype Template Parameters)只能是 整數類型, 指標, 引用;

整型必須是常量運算式(constant expression), 指標和引用必須指向靜態類型;

模板函數需要保證函數的類型獨立(type independence)和可移植性(portability); 盡量使用STL庫函數;

代碼:

/*  * cppprimer.cpp  *  *  Created on: 2013.11.21  *      Author: Caroline  */      /*eclipse cdt, gcc 4.8.1*/      #include <iostream>  #include <vector>  #include <functional> //less<>  #include <cstring> //strcmp        template <typename T>  int compare (const T &v1, const T &v2)  {      if (std::less<T>() (v1, v2)) return -1; //使用庫函數代替"<", 會避免指標地址比較      if (std::less<T>() (v2, v1)) return 1;      return 0;  }        template<unsigned N, unsigned M>  int compare (const char (&p1) [N], const char (&p2) [M])  {      std::cout << "N = " << N << " M = " << M << std::endl; //添加一個空終止符(null terminator)      return std::strcmp (p1, p2); //只比較不同的第一個字元  }        int main (void) {            std::cout << compare(1, 0) << std::endl;      std::vector<int> v1{1, 2, 3}, v2{4, 5, 6};      std::cout << compare(v1, v2) << std::endl;      std::cout << compare("girl", "lad") << std::endl;      int a[] = {1, 2, 3, 4}, b[] = {1, 3, 4, 5};      std::cout << compare(a, b) << std::endl;            return 0;        }

作者：csdn部落格 Spike_King

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