之前的一篇文章中介紹了特化和例項化的知識，那麼本次想給大家介紹一下模板的三種引數。

首先呢，要說的是什麼是模板引數，那麼如果使用過模板的同學會知道在定義一個模板的時候需要在定義上面寫上一行諸如template<typename T>這樣的程式碼，那麼這行中定義的這個T就是一個模板引數。對於一個模板而言，無論是函式模板還是類模板，都需要對其指定模板引數，可以有多個，但至少要有一個，如果一個都沒有那還叫什麼模板，當用戶在使用這個模板的時候需要指定所有的模板引數以生成一個可用的特化。注意，存在的每一個模板引數在正式使用的時候都必須是被指定的，雖然指定的方法可以不是顯式指定，但必須可以推匯出來，換句話說編譯器必須要能知道每個引數是什麼才行。那麼對於類模板而言，除了顯示指定所有模板引數之外，還可能是該引數有預設值，而對於函式模板顯然要複雜的多，模板的引數可以通過函式引數推導而來，這部分被稱為模板實參演繹，也是一個非常複雜的議題，我們留之後議。

首先要了解的是雖然我們最常見的模板引數都是型別引數，例如：

template<typename T>
class Test
{};

template<typename T>
class Test
{
public:
	T tObj;
	T* tPtr;
	std::list<T> l;
	T* createInsideObj();
};
 

此例中，我們使用T來建立一個物件還建立一個T的指標物件，除此之外，該類中的createInsideObj方法返回型別也被指定為T*，甚至還可以將T傳遞給其他的類模板。那麼當我們使用這個類模板Test的時候就需要指定T具體的型別到底是什麼，例如Test<int>就會將T替換為int，但是有一個原則是不能違背的，就是不能使用T去做它沒有定義的工作，例如：

template<typename T>
T* Test<T>::createInsideObj()
{
	return new T();
}

int main()
{
	Test<int> a;
	int* p= a.createInsideObj();
}

這顯然是沒什麼問題的，但是如果我有一下一個類定義

class A
{
A(){}
};

int main()
{
	Test<A> a;
	int* p= a.createInsideObj();
}

整體上這個概念是比較簡單的，所以也就沒太多可以講解的，那麼除了這種最常見的型別引數還有其他兩種：

非型別模板引數（Non-type template parameters）

模板模板引數（Template template parameters）

除了以上兩種，在C++11中還引申出一種新的變長模板引數（Variadic Parameters）的概念，但由於它是基於以上三種的所以就不單獨歸類了。
我們先來看看非型別模板引數，這種其實和型別模板引數非常相似，不同的是它所指代的不是一個型別而是一個值，先舉個最常見的例子：

template<int N>
class Test
{
public:
	int array[N];
};

需要明白的是，不是所有的型別都可以來指定非型別引數，除了int之外還有其他一些可以被指定為非型別引數的型別，如下：

對此就不一一說明只給出一個例子：

int ai[5];

template<const int* pci> struct X {};
X<ai> xi;  // ok: array to pointer conversion and cv-qualification conversion

struct Y {	void func(){}   };
struct  YY {     static Y y;    };
Y YY::y;

template<const Y* b> struct Z {};
Y y;
Z<&YY::y> z;  // ok: cv-qualification conversion
 
template<int (&pa)[5]> struct W {};
W<ai> w; // ok: no conversion

void f(char);           
void f(int);
template<void (*pf)(int)> struct RR {};
RR<&f> a; // ok: overload resolution selects f(int)

template<void (Y::*pf)()> struct RD {};
RD<&Y::func> rd; 

剩下最後一種就是模板的模板引數，這名字念起來就有點拗口，意思就是說其模板引數還是一個模板，我感覺這個看起來比較複雜，其實非常簡單，直接來看看例子吧：

template<class T, int a> class A {};

template<template<typename, int> class V> class C
{
public:
    V<int, 5> y; // uses the primary template
};

int main()
{
    C<A> aa;
    return 0;
}