Templates and Generic Programming
- 泛型技術。比如：模板技術，RTTI技術，虛函數技術，要么是試圖做到在編譯時決議，要么試圖做到運行時決議。
- 模板是泛型編程的基礎
模板 template
- 模板不是類或函數，可以將模板看作編譯器生成類或者函數的一份說明書;
- 編譯器根據模板創建類或者函數的過程稱為模板的實例化(instantiation);
- 使用模板時，必須(隱式或顯式)指定模板實參
- 顯式模板實參(explicit template argument)
max<int> (1, 3.0); //function template Blob<int> a; //class template 必須顯式指定- 隱式模板實參(implicit template argument)
max(1, 2); //function template
函數模板(function template)
template<template parameter list>
template<typename T1, typename T2>
函數模板實例化 instantiate
When the compiler instantiates a template, it creates a new “instance” of
the template using the actual template argument(s) in place of the
corresponding template parameter(s).
非類型模板參數(nontype parameter)
template <unsigned N, unsigned M>
inline int compare(const char (&p1)[N], const char (&p2)[M]) {
return strcmp(p1, p2);
};
// 非類型模板參數的模板實參必須是常量表達式
cout << compare("a", "ba") << endl;
類模板(class template)
類模板的實例化
- 類模板實例化必須提供顯式模板實參
Blob<int> ia;
Blob<int> ia2 = {0, 1, 2, 3, 4};
- 一個實例化了的類模板，其成員函數只有在使用時才被實例化
Blob<int> ia2 = {0, 1, 2, 3, 4}; // 類模板實例化
ia2.size(); // 實例化 Blob<int>::size() const
