1. 模版簡介
1) c++模板簡介
c++中，模板可以允許函數(shù)或者類通過泛型的方式來表現(xiàn)或者運行。
例如，我們可以用max函數(shù)來計算兩個整數(shù)的最大值典挑，代碼如下：
int Max(int x, int y)
{
return x > y ? x : y;
}
但是如果我們對double、long等其他類型也想定義Max函數(shù)啦吧，那么就會出現(xiàn)重復定義類似代碼的情況您觉，我們可以使用函數(shù)模板，定義如下：
template <typename T> T Max(T a, T b)
{
return a > b ? a : b;
}
在實際使用函數(shù)模板時授滓，我們仍然可以使用以前的方式來使用Max函數(shù)：
cout << Max(33, 25) << endl;
在c++中模版可以分成兩類：類模版和函數(shù)模板琳水。
模板還兩個重要的概念，即模板聲明和模版實例化般堆。
模板聲明是給出函數(shù)或者類的模板形式的定義在孝。
而模板實例化是從模板構建出一個真正的類或者函數(shù)的過程。
前面Max函數(shù)模版的定義就是模板聲明淮摔，而后面調用Max(33,25)時會執(zhí)行模版實例化私沮。
模板實例化有兩種方式：
1. 顯式實例化
在代碼中明確指定使用哪種類型進行實例化
2.隱式實例化
在首次使用模版時根據(jù)情況自動選擇合適的類型進行實例化
2) c++函數(shù)模板
前面的Max還可以定義成如下形式：
template <class T> T Max(T a, T b)
{
return a > b ? a : b;
}
但是class和typename有不同的含義，最好使用typename和橙。
前面提到模板實例化仔燕，也可以理解成用具體類型替代模板參數(shù)的過程。
函數(shù)模版的實例化是編譯器自動實現(xiàn)的魔招。
寫了一個小程序來測試：
#include <iostream>
using namespace std;
template <typename T> T Max(T x, T y)
{
return x > y ? x : y;
}
int main(void)
{
cout << Max(33, 28) << endl;
}
這個文件使用 clang 編譯生成匯編文件晰搀，然后使用c++filt將其中符號轉換成原來函數(shù)，命令如下：
clang++ -S max.cpp
cat max.s | c++filt
匯編文件內容(僅保留關鍵內容)：
.Ltmp10:
.cfi_def_cfa_register %ebp
subl $24, %esp
movl $33, %eax
movl $28, %ecx
movl $33, (%esp)
movl $28, 4(%esp)
movl %eax, -4(%ebp) # 4-byte Spill
movl %ecx, -8(%ebp) # 4-byte Spill
calll int Max<int>(int, int)
leal std::cout, %ecx
movl %ecx, (%esp)
movl %eax, 4(%esp)
calll std::basic_ostream<char, std::char_traits<char> >::operator<<(int)
leal std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&), %ecx
movl %eax, (%esp)
movl %ecx, 4(%esp)
calll std::basic_ostream<char, std::char_traits<char> >::operator<<(std::basic_ostream<char, std::char_traits<char> >& (*)(std::basic_ostream<char, std::char_traits<char> >&))
......
int Max<int>(int, int): # @int Max<int>(int, int)
# BB#0:
pushl %ebp
movl %esp, %ebp
subl $12, %esp
movl 12(%ebp), %eax
movl 8(%ebp), %ecx
movl %ecx, -4(%ebp)
movl %eax, -8(%ebp)
movl -4(%ebp), %eax
cmpl -8(%ebp), %eax
jle .LBB2_2
......
從匯編代碼可以看到办斑，實際調用的是int Max<int>(int,int)外恕。而且代碼段后面有這個實例化的函數(shù)模板的定義。
顯然，函數(shù)模版需要生成實例化之后的代碼鳞疲，然后才能使用實例化后的函數(shù)罪郊。
在對函數(shù)模版實例化時，需要根據(jù)實參的類型判斷需要怎么實例化建丧，這個過程被成為參數(shù)推導。在參數(shù)推導的過程中波势，不允許自動類型轉換翎朱。
例如下面的用法是錯誤的：
Max(1,2.0)
但是可以使用下面任何一種方式類處理這類錯誤：
Max(static_cast<double)1, 2.0)
Max<double>(1,2.0)
函數(shù)模版和普通函數(shù)一樣可以重載，并且可以和普通函數(shù)共存尺铣。如果非模版函數(shù)和模版函數(shù)都適用拴曲，那么優(yōu)先選用非模版函數(shù)。
允許使用Max<>(23,7)凛忿，會自動推導選擇合適的類型來進行模版實例化澈灼，跟前面Max(23,7)等價。
3) 類模板
類模版的一個例子：
const std::size_t DefaultStackSize = 1024;
template <typename T, std::size_t n = DefaultStackSize> class Stack{
public:
void Push(const T const & element);
int Pop(T &element);
int Top(T &element) const;
private:
std::vector<T> m_Members;
std::size_t m_nMaxSize = n;
};
類模板定義跟函數(shù)模版定義類似店溢。
在類模版函數(shù)定義中叁熔，如果需要用到類本身，那么需要其完整定義（Stack<T>)床牧，而不是使用T荣回。
在定義類的模板函數(shù)時，需要指明是一個模板函數(shù)戈咳，例如Push函數(shù)的定義如下：
template <typename T, std::size_t nMaxSize>
void Stack<T, nMaxSize>::Push(const T const& element)
{
....
}
使用類模版方式如下：
Stack<int> stack; //定義一個內部存放int類型的stack
Stack<int, 100> stack; //定義一個內部存放類型為int的棧心软，棧的默認大小是100.
Stack<Stack<int> > intStackStack; //定義一個棧，棧中元素是Stack<int>類型著蛙。
允許對類模版進行特化删铃，類似下面代碼：
template <>
class Stack<std::wstring> {
...
};
也可以對類模版進行偏特化（即僅有部分模板類型進行特化）。
4) c++操作符重載
c++中關鍵字operator定義了一種特殊函數(shù)踏堡，可以對常見的操作（例如*猎唁、->或者括號操作符）等進行重載。
操作符重載不能用于內部類型顷蟆。
操作符重載可用于非靜態(tài)成員函數(shù)或靜態(tài)全局函數(shù)胖秒。
一元操作符重載為成員函數(shù)沒有參數(shù)，二元操作符重載為成員函數(shù)只有一個參數(shù)慕的。
操作符重載不能帶有默認參數(shù)阎肝。
2. 泛型編程
1) 簡介
泛型編程是一種編程思想，與具體語言無關肮街，它可以允許類型在需要調用的時候以參數(shù)的方式給出风题。
