嘿，各位技術潮人！好久不見甚是想念。生活就像一場奇妙冒險，而編程就是那把超酷的萬能鑰匙。此刻，陽光灑在鍵盤上，靈感在指尖跳躍，讓我們拋開一切束縛，給平淡日子加點料，注入滿滿的passion。準備好和我一起沖進代碼的奇幻宇宙了嗎？Let's go！

我的博客：yuanManGan

我的專欄：C++入門小館?C言雅韻集?數據結構漫游記? 閑言碎語小記坊?題山采玉?領略算法真諦

目錄

模板：

1.泛型編程：

2.函數模板

2.1函數模板概念：

2.2函數模板格式：

2.3 函數模板的原理

2.4 函數模板的實例化

1.隱式實例化:

2. 顯式實例化：

2.5 模板參數的匹配原則

3. 類模板

3.1 類模板的定義格式

3.2 類模板的實例化

4. 非類型模板參數

5.模板的特化

5.1函數模板的特化：

5.2類模板特化

5.2.1全特化

5.2.2?偏特化

6 模板分離編譯

7. 模板總結

---

模板：

1.泛型編程：

我們為什么要出現模板呢？

我們來看看下列個這個函數：

void Swap(int& left, int& right)
{int temp = left;left = right;right = temp;
}
void Swap(double& left, double& right)
{double temp = left;left = right;right = temp;
}
void Swap(char& left, char& right)
{char temp = left;left = right;right = temp;
}
......

我們要實現交換，難道寫無數個類型的組合？

這里用函數重載有很多缺點：

代碼的可維護性差，多一個類型就要多寫幾個對應的代碼，復用率低

那我們是否可以告訴編譯器一個模子，讓編譯器自動生成對應的函數呢？

模板又分為函數模板和類模板：

2.函數模板

2.1函數模板概念：

2.2函數模板格式：

2.3 函數模板的原理

在編譯器的編譯階段，對于函數模板的使用，編譯器需要根據傳入的實參類型來推演生成對應類型的函數以供調用。比如：當用double類型使用函數模板時，編譯器通過對實參類型的推演，將T確定為double類型，然后產生一份專門處理double類型的代碼，對于字符類型也是如此。

2.4 函數模板的實例化

1.隱式實例化:

?該語句不能通過編譯，因為在編譯期間，當編譯器看到該實例化時，需要推演其實參類型
?通過實參a1將T推演為int，通過實參d1將T推演為double類型，但模板參數列表中只有一個T，
?編譯器無法確定此處到底該將T確定為int 或者 double類型而報錯注意：在模板中，編譯器一般不會進行類型轉換操作，因為一旦轉化出問題，編譯器就需要背黑鍋

如果類型不匹配，編譯器會嘗試進行隱式類型轉換，如果無法轉換成功編譯器將會報錯

2.5 模板參數的匹配原則

3. 類模板

3.1 類模板的定義格式

?注意：一般情況下如果函數模板遇到不能處理或者處理有誤的類型，為了實現簡單通常都是將該 函數直接給出。

?直接寫函數比寫模板的特化要舒服很多。

bool Less(Date* left, Date* right)
{return *left < *right;
}

5.2類模板特化

5.2.1全特化

全特化即是將模板參數列表中所有的參數都確定化。

template<class T1, class T2>
class Data
{
public:Data() { cout << "Data<T1, T2>" << endl; }
private:T1 _d1;T2 _d2;
};
template<>
class Data<int, char>
{
public:Data() { cout << "Data<int, char>" << endl; }
private:int _d1;char _d2;
};
void TestVector()
{Data<int, int> d1;Data<int, char> d2;
}

這全特化出來的對象就和非模板函數和模板函數的關系一樣，有更匹配的調用更匹配的，沒有就匹配的就調用模板重新創建一個。

5.2.2?偏特化

template<class T1, class T2>
class Data
{
public:Data() { cout << "Data<T1, T2>" << endl; }
private:T1 _d1;T2 _d2;
};

我們可以對其中一個或多個參數特化

template<class T1, class T2>
class Data
{
public:Data() { cout << "Data<T1, T2>" << endl; }
private:T1 _d1;T2 _d2;
};
// 將第二個參數特化為int
template <class T1>
class Data<T1, int>
{
public:Data() { cout << "Data<T1, int>" << endl; }
private:T1 _d1;int _d2;
};

參數限制：

還可以指定傳入的類型，比如傳入指針就走這種類型：

//兩個參數偏特化為指針類型
template <typename T1, typename T2>
class Data <T1*, T2*>
{
public:Data() { cout << "Data<T1*, T2*>" << endl; }
private:T1 _d1;T2 _d2;
};
//兩個參數偏特化為引用類型
template <typename T1, typename T2>
class Data <T1&, T2&>
{
public:Data(const T1& d1, const T2& d2): _d1(d1), _d2(d2){cout << "Data<T1&, T2&>" << endl;}
private:const T1& _d1;const T2& _d2;
};

6 模板分離編譯

我們之前學習STL時說過使用了模板之后的類的函數聲明和定義最好不要分離。

我們先來了解一下這些：

這個是我們之前學習c語言時可能會困惑的問題，如果在頭文件寫聲明和定義會出現鏈接報錯。

因為在符號表中會重復包含add函數，test.cpp和func.cpp共用一個符號表。我們可以將聲明和定義分離到不同的頭文件，或者將函數靜態不出現在符號表。

我們將聲明的定義分離是怎么實現的呢，這里再來回顧一下：

7. 模板總結