模板(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;

}