C++ 範本參數個人理解

C++ 範本參數個人理解
C++ 範本參數個人理解1. 模板參數

C++模板的使用一共有以下幾種情況。

• 函數模板
• 類模板
• 模板參數
• 成員模板

而本篇介紹模板參數。

模板參數就是模板的參數，我們一般指定為T類型，實際上可以使用任何的名字，例如指定一個Foo的模板參數：

temlate<typename Foo>Foo calc(const Foo& a, const Foo& b){    return a+b;}

而模板模板參數則是模板的參數又是一個模板，例如：

template<typename T, template<typename U> typename Container>class XCls{    private:        Container<T> c;};

模板的第一個參數是T類型，第二個參數是一個Container，他是一個可以指定一個U類型的變數。

那麼如何使用他呢？

template<typename T>class test{    private:        T t;};int main(void){    XCls<std::string, test> mylst1;    return 0;}

我們可以定義一個模板類，然後將其如上方式傳入就可以了。

但是如果傳入一個容器呢？比如：list

XCls<string, list> mylst1;

如果編譯就會報錯。我們分析一波：

將string 和 list傳入到類XCls中，然後就會定義一個list<string>的c變數，這樣看起來是可以的，因此我們使用list容器的時候就是list<一個類型>，但是這裡為什麼就不行呢？是因為list容器實質上是有第二參數的，雖然第二參數有預設的參數，正如我們平常使用的那樣，只需要指定一個參數，但是在這裡無法通過編譯，因此，我們使用如下解決辦法：

template<typename T>using Lst = std::list<T, std::allocator<T>>;XCls<std::string, Lst> mylst2;// 編譯時間需要加上std=c++11

使用C++11的using關鍵字的新功能，來定義一個類型的別名，而且使用在模板的情況下，因此我們編譯時間要指定std=c++11

然後我們將list的別名Lst傳入進入，就可以編譯通過。

2. 這不是模板參數

如果是這麼定義的模板參數，還會是模板參數嗎？

template<typename T, typename Sequence = list<T>>class stack{    private:        Sequence c;};

我們定義了一個stack的模板類，模板參數第一個是T類型，第二個是一個Sequence類型，有一個預設的類型是list<T>。

使用方法有兩種：

stack<int> s1;stack<int, deque<int>> s2;

第一種，只指定了第一個模板參數，使用第二個預設的模板參數。

第二種，指定了兩個模板參數。

但是！這不是模板參數。因為，一旦指定了第一個模板參數，那麼第二個參數的類型就會確定，而真正的模板參數，第二個模板參數和第一個模板參數的類型是沒有關係的，可以指定為第一個模板參數的類型，也可以指定為其他類型。因此，這不是模板參數！！！

以上都是本人自己的理解，如有錯誤，請諒解並懇請您的指正。