C++之模板詳解（一）
C++模板
模板是C++支援引數化多型的工具，使用模板可以使使用者為類或者函式宣告一種一般模式，使得類中的某些資料成員或者成員函式的引數、返回值取得任意型別。
模板是一種對型別進行引數化的工具；
通常有兩種形式：函式模板和類模板；
函式模板針對僅引數型別不同的函式；
類模板針對僅資料成員和成員函式型別不同的類。
使用模板的目的就是能夠讓程式設計師編寫與型別無關的程式碼。比如編寫了一個交換兩個整型int 型別的swap函式，這個函式就只能實現int 型，對double，字元這些型別無法實現，要實現這些型別的交換就要重新編寫另一個swap函式。使用模板的目的就是要讓這程式的實現與型別無關，比如一個swap
注意：模板的宣告或定義只能在全域性，名稱空間或類範圍內進行。即不能在區域性範圍，函式內進行，比如不能在main函式中宣告或定義一個模板。
一、函式模板通式
1、函式模板的格式：
template <class 形參名，class 形參名，......> 返回型別 函式名(引數列表)
{
函式體
}
其中template和class是關見字，class可以用typename 關見字代替，在這裡typename
和class沒區別，<>括號中的引數叫模板形參
template <class T> void swap(T& a, T& b){}，
當呼叫這樣的模板函式時型別T就會被被呼叫時的型別所代替，比如swap(a,b)其中a和b是int 型，這時模板函式swap中的形參T就會被int
2、注意：對於函式模板而言不存在 h(int,int) 這樣的呼叫，不能在函式呼叫的引數中指定模板形參的型別，對函式模板的呼叫應使用實參推演來進行，即只能進行 h(2,3) 這樣的呼叫，或者int a, b; h(a,b)。
函式模板的示例演示將在下文中涉及！
二、類模板通式
1、類模板的格式為：
template<class 形參名，class 形參名，…> class 類名
{ ... };
類模板和函式模板都是以template開始後接模板形參列表組成，模板形參不能為空，一但聲明瞭類模板就可以用類模板的形參名宣告類中的成員變數和成員函式，即可以在類中使用內建型別的地方都可以使用模板形參名來宣告。比如
template<class T> class A{public: T a; T b; T hy(T c, T &d);};
在類A中聲明瞭兩個型別為T的成員變數a和b，還聲明瞭一個返回型別為T帶兩個引數型別為T的函式hy。
2、類模板物件的建立：比如一個模板類A，則使用類模板建立物件的方法為A<int> m;在類A後面跟上一個<>尖括號並在裡面填上相應的型別，這樣的話類A中凡是用到模板形參的地方都會被int 所代替。當類模板有兩個模板形參時建立物件的方法為A<int, double> m;型別之間用逗號隔開。
3、對於類模板，模板形參的型別必須在類名後的尖括號中明確指定。比如A<2> m;用這種方法把模板形參設定為int是錯誤的（編譯錯誤：error C2079: 'a' uses undefined class 'A<int>'），類模板形參不存在實參推演的問題。也就是說不能把整型值2推演為int 型傳遞給模板形參。要把類模板形參調置為int 型必須這樣指定A<int> m。
4、在類模板外部定義成員函式的方法為：
template<模板形參列表> 函式返回型別 類名<模板形參名>::函式名(引數列表){函式體}，
比如有兩個模板形參T1，T2的類A中含有一個void h()函式，則定義該函式的語法為：
template<class T1,class T2> void A<T1,T2>::h(){}。
注意：當在類外面定義類的成員時template後面的模板形參應與要定義的類的模板形參一致。
5、再次提醒注意：模板的宣告或定義只能在全域性，名稱空間或類範圍內進行。即不能在區域性範圍，函式內進行，比如不能在main函式中宣告或定義一個模板。
三、模板的形參
有三種類型的模板形參：型別形參，非型別形參和模板形參。
1、型別形參
1.1 、型別模板形參：型別形參由關見字class或typename後接說明符構成，如template<class T> void h(T a){};其中T就是一個型別形參，型別形參的名字由使用者自已確定。模板形參表示的是一個未知的型別。模板型別形參可作為型別說明符用在模板中的任何地方，與內建型別說明符或類型別說明符的使用方式完全相同，即可以用於指定返回型別，變數宣告等。
作者原版：1.2、 不能為同一個模板型別形參指定兩種不同的型別，比如template<class T>void h(T a, T b){}，語句呼叫h(2, 3.2)將出錯，因為該語句給同一模板形參T指定了兩種型別，第一個實參2把模板形參T指定為int，而第二個實參3.2把模板形參指定為double，兩種型別的形參不一致，會出錯。（針對函式模板）
作者原版：1.2針對函式模板是正確的，但是忽略了類模板。下面將對類模板的情況進行補充。
本人新增1.2補充版（針對於類模板）、當我們宣告類物件為：A<int> a，比如template<class T>T g(T a, T b){}，語句呼叫a.g(2, 3.2)在編譯時不會出錯，但會有警告，因為在宣告類物件的時候已經將T轉換為int型別，而第二個實參3.2把模板形參指定為double，在執行時，會對3.2進行強制型別轉換為3。當我們宣告類的物件為：A<double> a,此時就不會有上述的警告，因為從int到double是自動型別轉換。
演示示例１：
TemplateDemo.h
1 #ifndef TEMPLATE_DEMO_HXX
2 #define TEMPLATE_DEMO_HXX
3
4 template<class T> class A{
5 public:
6 T g(T a,T b);
7 A();
8 };
9
10 #endif
TemplateDemo.cpp
1 #include<iostream.h>
2 #include "TemplateDemo.h"
3
4 template<class T> A<T>::A(){}
5
6 template<class T> T A<T>::g(T a,T b){
7 return a+b;
8 }
9
10 void main(){
11 A<int> a;
12 cout<<a.g(2,3.2)<<endl;
13 }
編譯結果：
1 --------------------Configuration: TemplateDemo - Win32 Debug-------------------- 2 Compiling... 3 TemplateDemo.cpp 4 G:\C++\CDaima\TemplateDemo\TemplateDemo.cpp(12) : warning C4244: 'argument' : conversion from 'const double' to 'int', possible loss of data 5 6 TemplateDemo.obj - 0 error(s), 1 warning(s)
執行結果： 5
我們從上面的測試示例中可以看出，並非作者原作中的那麼嚴密！此處僅是本人跟人測試結果！請大家本著實事求是的態度，自行驗證！
2、非型別形參
2.1 、非型別模板形參：模板的非型別形參也就是內建型別形參，如template<class T, int a> class B{};其中int a就是非型別的模板形參。
2.2、 非型別形參在模板定義的內部是常量值，也就是說非型別形參在模板的內部是常量。
2.3、 非型別模板的形參只能是整型，指標和引用，像double，String, String **這樣的型別是不允許的。但是double &，double *，物件的引用或指標是正確的。
2.4、 呼叫非型別模板形參的實參必須是一個常量表達式，即他必須能在編譯時計算出結果。
2.5 、注意：任何區域性物件，區域性變數，區域性物件的地址，區域性變數的地址都不是一個常量表達式，都不能用作非型別模板形參的實參。全域性指標型別，全域性變數，全域性物件也不是一個常量表達式，不能用作非型別模板形參的實參。
2.6、 全域性變數的地址或引用，全域性物件的地址或引用const型別變數是常量表達式，可以用作非型別模板形參的實參。
2.7 、sizeof表示式的結果是一個常量表達式，也能用作非型別模板形參的實參。
2.8 、當模板的形參是整型時呼叫該模板時的實參必須是整型的，且在編譯期間是常量，比如template <class T, int a> class A{};如果有int b，這時A<int, b> m;將出錯，因為b不是常量，如果const int b，這時A<int, b> m;就是正確的，因為這時b是常量。
2.9 、非型別形參一般不應用於函式模板中，比如有函式模板template<class T, int a> void h(T b){}，若使用h(2)呼叫會出現無法為非型別形參a推演出引數的錯誤，對這種模板函式可以用顯示模板實參來解決，如用h<int, 3>(2)這樣就把非型別形參a設定為整數3。顯示模板實參在後面介紹。
2.10、 非型別模板形參的形參和實參間所允許的轉換
1、允許從陣列到指標，從函式到指標的轉換。如：template <int *a> class A{}; int b[1]; A<b> m;即陣列到指標的轉換
2、const修飾符的轉換。如：template<const int *a> class A{}; int b; A<&b> m; 即從int *到const int *的轉換。
3、提升轉換。如：template<int a> class A{}; const short b=2; A<b> m; 即從short到int 的提升轉換
4、整值轉換。如：template<unsigned int a> class A{}; A<3> m; 即從int 到unsigned int的轉換。
5、常規轉換。
非型別形參演示示例1：
由使用者自己親自指定棧的大小，並實現棧的相關操作。
TemplateDemo.h
1 #ifndef TEMPLATE_DEMO_HXX
2 #define TEMPLATE_DEMO_HXX
3
4 template<class T,int MAXSIZE> class Stack{//MAXSIZE由使用者建立物件時自行設定
5 private:
6 T elems[MAXSIZE]; // 包含元素的陣列
7 int numElems; // 元素的當前總個數
8 public:
9 Stack(); //建構函式
10 void push(T const&); //壓入元素
11 void pop(); //彈出元素
12 T top() const; //返回棧頂元素
13 bool empty() const{ // 返回棧是否為空
14 return numElems == 0;
15 }
16 bool full() const{ // 返回棧是否已滿
17 return numElems == MAXSIZE;
18 }
19 };
20
21 template <class T,int MAXSIZE>
22 Stack<T,MAXSIZE>::Stack():numElems(0){ // 初始時棧不含元素
23 // 不做任何事情
24 }
25
26 template <class T,int MAXSIZE>
27 void Stack<T, MAXSIZE>::push(T const& elem){
28 if(numElems == MAXSIZE){
29 throw std::out_of_range("Stack<>::push(): stack is full");
30 }
31 elems[numElems] = elem; // 附加元素
32 ++numElems; // 增加元素的個數
33 }
34
35 template<class T,int MAXSIZE>
36 void Stack<T,MAXSIZE>::pop(){
37 if (numElems <= 0) {
38 throw std::out_of_range("Stack<>::pop(): empty stack");
39 }
40 --numElems; // 減少元素的個數
41 }
42
43 template <class T,int MAXSIZE>
44 T Stack<T,MAXSIZE>::top()const{
45 if (numElems <= 0) {
46 throw std::out_of_range("Stack<>::top(): empty stack");
47 }
48 return elems[numElems-1]; // 返回最後一個元素
49 }
50
51 #endif
TemplateDemo.cpp
1 #include<iostream.h>
2 #include <iostream>
3 #include <string>
4 #include <cstdlib>
5 #include "TemplateDemo.h"
6
7 int main(){
8 try {
9 Stack<int,20> int20Stack; // 可以儲存20個int元素的棧
10 Stack<int,40> int40Stack; // 可以儲存40個int元素的棧
11 Stack<std::string,40> stringStack; // 可儲存40個string元素的棧
12
13 // 使用可儲存20個int元素的棧
14 int20Stack.push(7);
15 std::cout << int20Stack.top() << std::endl; //7
16 int20Stack.pop();
17
18 // 使用可儲存40個string的棧
19 stringStack.push("hello");
20 std::cout << stringStack.top() << std::endl; //hello
21 stringStack.pop();
22 stringStack.pop(); //Exception: Stack<>::pop<>: empty stack
23 return 0;
24 }
25 catch (std::exception const& ex) {
26 std::cerr << "Exception: " << ex.what() << std::endl;
27 return EXIT_FAILURE; // 退出程式且有ERROR標記
28 }
29 }
執行結果：
非型別形參演示示例2：
TemplateDemo01.h
1 #ifndef TEMPLATE_DEMO_O1
2 #define TEMPLATE_DEMO_01
3
4 template<typename T> class CompareDemo{
5 public:
6 int compare(const T&, const T&);
7 };
8
9 template<typename T>
10 int CompareDemo<T>::compare(const T& a,const T& b){
11 if((a-b)>0)
12 return 1;
13 else if((a-b)<0)
14 return -1;
15 else
16 return 0;
17 }
18
19 #endif
TemplateDemo01.cpp
1 #include<iostream.h>
2 #include "TemplateDemo01.h"
3
4 void main(){
5 CompareDemo<int> cd;
6 cout<<cd.compare(2,3)<<endl;
7 }
執行結果： -1
1 #include<iostream.h>
2 #include "TemplateDemo01.h"
3
4 void main(){
5 CompareDemo<double> cd;
6 cout<<cd.compare(3.2,3.1)<<endl;
7 }
執行結果： 1
TemplateDemo01.h 改動如下：
1 #ifndef TEMPLATE_DEMO_O1
2 #define TEMPLATE_DEMO_01
3
4 template<typename T> class CompareDemo{
5 public:
6 int compare(T&, T&);
7 };
8
9 template<typename T>
10 int CompareDemo<T>::compare(T& a,T& b){
11 if((a-b)>0)
12 return 1;
13 else if((a-b)<0)
14 return -1
相關推薦
C++之模板詳解（一）
C++模板
模板是C++支援引數化多型的工具，使用模板可以使使用者為類或者函式宣告一種一般模式，使得類中的某些資料成員或者成員函式的引數、返回值取得任意型別。
模板是一種對型別進行引數化的工具；
通常有兩種形式：函式模板和類模板；
函式模板針對僅引數型別不同的函式；
類模板針對僅資料成
C++之類模板詳解（一）
C++ 除了支援函式模板，還支援類模板（Class Template）。函式模板中定義的型別引數可以用在函式宣告和函式定義中，類模板中定義的型別引數可以用在類宣告和類實現中。類模板的目的同樣是將資料的型別引數化。
宣告類模板的語法為：
template<typenam
C++ 模板詳解（一）
C++模板
模板是C++支援引數化多型的工具，使用模板可以使使用者為類或者函式宣告一種一般模式，使得類中的某些資料成員或者成員函式的引數、返回值取得任意型別。
模板是一種對型別進行引數化的工具；
通常有兩種形式：函式模板和類模板；
函式模板針對僅引
c++模板詳解（一）
轉載自http://www.cnblogs.com/gw811/archive/2012/10/25/2738929.html
C++模板
模板是C++支援引數化多型的工具，使用模板可以使使用者為類或者函式宣告一種一般模式，使得類中的某些資料成員或者成員函式的引數、
大數據入門第十七天——storm上遊數據源 之kafka詳解（一）入門
不同 這也 接受 blog 存儲 發送 records ant post 一、概述
1.kafka是什麽
根據標題可以有個概念：kafka是storm的上遊數據源之一，也是一對經典的組合，就像郭德綱和於謙
根據官網：http://kafka.apa
C++標準模板庫 迭代器 iterator 詳解（一）
[cpp] view
plaincopyprint?
#include <vector>
#include <iostream>
#include <list>
#include <
C++ 模板詳解（二）（轉）
創建 規則 error ++ 例如 public err iostream ()
四、類模板的默認模板類型形參
1、可以為類模板的類型形參提供默認值，但不能為函數模板的類型形參提供默認值。函數模板和類模板都可以為模板的非類型形參提供默認值。
2、類模板的類型形
Windows滲透利器之Pentest BOX使用詳解（一）
內存 標簽 配置 ram 添加 概覽 測試環境 功能 ruby 內容概覽：
知識科普
優缺點總結
功能參數詳解翻譯：
控制臺參
Python C AP的使用詳解（一）
nds 項目 namespace 以及 int float 數據大小 mem else 簡介
介紹一下Python虛擬機的初始化及退出，Python基本數據類型的對象創建以及C和Python之間的數據類型互相轉換。
Python虛擬機的初始化及退出
初始化Python虛擬機
Java程式設計師從笨鳥到菜鳥之（一百）sql注入攻擊詳解（一）sql注入原理詳解
分享一下我老師大神的人工智慧教程！零基礎，通俗易懂！http://blog.csdn.net/jiangjunshow
也歡迎大家轉載本篇文章。分享知識，造福人民，實現我們中華民族偉大復興！
安卓專案實戰之強大的網路請求框架okGo使用詳解（一）：實現get，post基本網路請求，下載上傳進度監聽以及對Callback自定義的深入理解
1.新增依賴
//必須使用
compile 'com.lzy.net:okgo:3.0.4'
//以下三個選擇新增，okrx和okrx2不能同時使用，一般選擇新增最新的rx2支援即可
compile 'com.lzy.net:okrx:1.0.2'
compile 'com.lzy
【SpringBoot學習之路】05.Springboot配置檔案詳解（一）
轉載宣告：商業轉載請聯絡作者獲得授權,非商業轉載請註明出處.原文來自 © 呆萌鍾【SpringBoot學習之路】05.Springboot配置檔案詳解（一）
配置檔案
Spring Boot使用一個全域性的配置檔案
applic
C++學習：list容器詳解（一）
list容器詳解
首先說說STL
STL就是Standard Template Library，標準模板庫。這可能是一個歷史上最令人興奮的工具的最無聊
Java 進階——多執行緒優化之執行緒池 ThreadPoolExecutor的核心容器阻塞佇列詳解（一）
#引言
多執行緒我想無論是後端開發，還是對於App開發者來說都不會陌生，何況Android強制要求不能在主執行緒中做網路請求，於是乎，在很多初學者或者App的原始碼中會出現會多的new Thread…的方式，這樣的程式碼是不優雅而且存在很多的隱患，假如說在使用者
freescale飛思卡爾 HC9S12 系列微控制器 Flash擦寫詳解（一）之時鐘設定
Flash擦寫的內容，個人做HC9S12系列微控制器時覺得應該是各模組內容中最難而且是最麻煩的一步了。只有能夠對Flash進行擦寫以後，所做的Bootloader才有真正手段將串列埠或者其他通訊手段接收到的資料或者程式寫入Flash中進行程式或者資料的更新。當初做Flash的擦寫也遇到了很多問題
C程式設計｜用函式實現模組化程式設計詳解（一）
目錄
一、為什麼要用函式
使用函式可使程式清晰、精煉、簡單、靈活。
函式就是功能。每一個函式用來實現一個特定的功能。函式名應反映其代表的功能。
在設計
Collection類之詳解（一）
Collection類之詳解（一）
一、概述
Collection 層次結構 中的根介面。
由來
由於陣列長度是固定,當新增的元素超過了陣列的長度時需要對陣列重新定義，所以java內部給我們提供了集合類，能儲存任意物件，長度是可以改變的，隨著元素的增加而增加，隨著元素的減少而減少。
三維深度學習之pointnet系列詳解（一）
三維深度學習之pointnet系列詳解（一）
置頂 2018年05月09日 23:25:06 痛並快樂著呦西 閱讀數：4429 標籤： pointnet 三維深度學習 更多
個人分類： 3D Deep Learning
C++模板詳解（二）
轉載自：http://www.cnblogs.com/gw811/archive/2012/10/25/2736224.html
C++模板
四、類模板的預設模板型別形參
1、可以為類模板的型別形參提供預設值，但不能為函式模板的型別形參提供預設值。函式模板
c++ 模板詳解（1）
C++模板
本文轉自：http://www.cnblogs.com/gw811/archive/2012/10/25/2738929.html
模板是C++支援引數化多型的工具，使用模板可以使使用者為類或者函式宣告一種一般模式，使得類中的某些資料成員或者成員函式的