テンプレートテンプレートという言葉に馴染みがない方もいらっしゃるかと思います。
テンプレートとは、よくご存知のように
template< class Type >
struct something;
こういうもので、Typeには基本的にどんな型でも入れることができます。
しかしTypeに入れることができない型があります。
それが、テンプレート引数が埋まっていない不完全な型です。
例えば、上記の構造体のテンプレートパラメータに、
something< std::vector< int > > と入れることはできても、
something< std::vector > と入れることはできません。
そうなると、somethingがこういう定義を持ちたい場合はどうでしょうか。
template< class Type >
struct something
{
Type< int > container;
}:
このsomethingはコンテナを包含するもので、このコンテナがlistだったりvectorだったりをテンプレートパラメータで指定したい・・・となると大変困る事がわかります。
そこで使われるのが、テンプレートテンプレートで、何も難しいことはありません。
template<
template< class, class > class Type >
struct something
{
Type< int, std::allocator < int > > container;
};
Typeは、テンプレート引数を２つ取る何らかの型、という意味です。
std::vectorやstd::listは実はアロケータを引数に取るので、テンプレート引数は２つです。
基本形はこの通りです。
template<
template< class > class Type >
struct somthing;
Typeの直前のclassキーワードを忘れがちですので注意しましょう。
蛇足ですが、だったら、テンプレートテンプレートテンプレートパラメータも……あります。
template<
template<
template< class > class
> class Type >
struct something;
テンプレート引数を１つ取る何らかの型をテンプレート引数に１つ取る何らかの型をテンプレート引数に取る構造体です。わたしもこんがらがってきました。
ここまで来ると使う機会は来ないでしょう。