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;

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

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

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

---

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