[轉]C++模板

一、函數模板通式

　　模板是C++支持參數化多態的工具，使用模板可以使用戶爲類或者函數聲明一種一般模式，使得類中的某些數據成員或者成員函數的參數、返回值取得任意類型。

　　模板是一種對類型進行參數化的工具；

　　通常有兩種形式：函數模板和類模板；

　　函數模板針對僅參數類型不同的函數；

　　類模板針對僅數據成員和成員函數類型不同的類。

　　使用模板的目的就是能夠讓程序員編寫與類型無關的代碼。比如編寫了一個交換兩個整型int 類型的swap函數，這個函數就只能實現int 型，對double，字符這些類型無法實現，要實現這些類型的交換就要重新編寫另一個swap函數。使用模板的目的就是要讓這程序的實現與類型無關，比如一個swap模板函數，即可以實現int 型，又可以實現double型的交換。模板可以應用於函數和類。下面分別介紹。

　　注意：模板的聲明或定義只能在全局，命名空間或類範圍內進行。即不能在局部範圍，函數內進行，比如不能在main函數中聲明或定義一個模板。
一、函數模板通式

    template<class 形參名，class 形參名,......>返回類型 函數名(參數列表)
    {
        函數體 
    } 

<>括號中的參數叫模板形參，模板形參和函數形參很相像，模板形參不能爲空。一但聲明瞭模板函數就可以用模板函數的形參名聲明類中的成員變量和成員函數，即可以在該函數中使用內置類型的地方都可以使用模板形參名。比如swap的模板函數形式爲

    template <class T> void swap(T& a, T& b){}，

當調用這樣的模板函數時類型T就會被被調用時的類型所代替，比如swap(a,b)其中a和b是int 型，這時模板函數swap中的形參T就會被int 所代替，模板函數就變爲swap(int &a, int &b)。而當swap(c,d)其中c和d是double類型時，模板函數會被替換爲swap(double &a, double &b)，這樣就實現了函數的實現與類型無關的代碼。
注意：對於函數模板而言不存在 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 m;在類A後面跟上一個<>尖括號並在裏面填上相應的類型，這樣的話類A中凡是用到模板形參的地方都會被int 所代替。當類模板有兩個模板形參時創建對象的方法爲A

　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 void h(T a){};其中T就是一個類型形參，類型形參的名字由用戶自已確定。模板形參表示的是一個未知的類型。模板類型形參可作爲類型說明符用在模板中的任何地方，與內置類型說明符或類類型說明符的使用方式完全相同，即可以用於指定返回類型，變量聲明等。

當我們聲明類對象爲：A a，比如templateT g(T a, T b){}，語句調用a.g(2, 3.2)在編譯時不會出錯，但會有警告，因爲在聲明類對象的時候已經將T轉換爲int類型，而第二個實參3.2把模板形參指定爲double，在運行時，會對3.2進行強制類型轉換爲3。當我們聲明類的對象爲：A a,此時就不會有上述的警告，因爲從int到double是自動類型轉換。

示例：templateDemo.h

#ifndef TEMPLATE_DEMO_HXX
#define TEMPLATE_DEMO_HXX
//防止頭文件被重複引用或者定義

template <class T> class A
{
public :
    T g(T a, T b);
    A();
};
#endif

TemplateDemo.cpp

#include <iostream>
#include "templateDemo.h"
using namespace std;

template<class T> A<T>::A(){}

template<class T> T A<T>::g(T a, T b)
{
    return a + b;
}

void main()
{
    A<int> a;
    cout << a.g(2, 3.2) << endl;
    system("pause");
}

結果：

警告  1   warning C4244: “參數”: 從“double”轉換到“int”，可能丟失數據  15   1   Template

運行結果： 5

轉自：http://www.cnblogs.com/gw811/archive/2012/10/25/2738929.html