C++テンプレートテンプレート（ダブルテンプレート？）

Question

Stackの実装に使用するコンテナをユーザーが選択できるように、Stackクラスを作成します。たとえば、List/Vector。

部分コード：

stack.h

#ifndef STACK_H_ 
#define STACK_H_ 

template <typename T, template<typename T> class ContainerType> 
class Stack{ 
    ContainerType<T> container; 
public: 
    Stack() : container(ContainerType<T>()){} 

}; 

#endif /* STACK_H_ */ 

TEST.CPP

#include "stack.h" 
#include <vector> 

int main(){ 
    Stack<int, std::vector<int> > stack; 
    return 0; 
} 

まあ、それはコンパイルされません。

Stack<int, std::vector<int> > stack; 

エラー：

expected a class template, got `std::vector<int, std::allocator<int> >' test.cpp 

invalid type in declaration before ';' token test.cpp 

type/value mismatch at argument 2 in template parameter 
list for `template<class T, template<class T> class ContainerType> 
class Stack' test.cpp 

‪ 

Answer 1

とvectorがstd名前空間に存在するので、それは、std::vector、何もないのだろうとstd::vector<int>はもうテンプレートではありませんしながら、あなたは、テンプレートテンプレートパラメータを求めています。あなたが優れているので、

template < 
    typename T, 
    template<typename, typename> class ContainerType, 
    typename Alloc = std::allocator<T> 
> 
class Stack{ 
    ContainerType<T, Alloc> container; 
    // ... 
}; 

// usage: 
Stack<int, std::vector> s; 

は今、これが唯一の基になる型などの2つのテンプレートパラメータでコンテナを可能にします。次に、std::vectorは実際にテンプレートパラメータ、タイプ用とアロケータのために他を取りますノーマルタイプとしてそれを取る：標準が何をするかとオフ、あなたが偽の「静的アサート」を行うことができます基になる型が同じTを持っていることを保証するために

template <typename T, typename ContainerType> 
class Stack{ 
    ContainerType container; 
    // ... 
}; 

// usage: 
Stack<int, std::vector<int> > s; 

、またはあなたがCを持っている場合++ 0xを有効にしたコンパイラでは、実際の静的なアサートを行うことができます：

#include <tr1/type_traits> // C++03 us std::tr1::is_same 
//#include <type_traits> // C++0x, use std::is_same 

template <typename T, typename ContainerType> 
class Stack{ 
    typedef typename ContainerType::value_type underlying_value_type; 
    typedef char ERROR_different_value_type[ 
       std::tr1::is_same<T, underlying_value_type>::value ? 1 : -1 
             ] 
    ContainerType container; 
    // ... 
}; 

Tが使用される容器のTと異なる場合、それはtypedef char ERROR_different_vale_type[-1]なり、負のサイズの配列はおそらく、コンパイラエラーが発生している、存在することができないので、これが動作します。 :)に今、あなたができるだけstatic_assertそのC++ 0xで：便宜上

#include <tr1/type_traits> // C++03 
//#include <type_traits> // C++0x 

template <typename T, typename ContainerType> 
class Stack{ 
    typedef typename ContainerType::value_type underlying_value_type; 
    static_assert(std::tr1::is_same<T, underlying_value_type>::value, 
    "Error: The type of the stack must be the same as the type of the container"); 
    ContainerType container; 
    // ... 
}; 

、あなたは今、一般的な場合のデフォルトのテンプレート引数を指定することができます。

template <typename T, typename ContainerType = std::vector<T>> 
class Stack{ 
    ContainerType container; 
    // ... 
}; 

// usage: 
Stack<int> s; 

そして、この時点であなたをちょうどこれを行うstd::stackを使うことができます（ただし、基底型としてstd::dequeを使用しています）。:)

Answer 2

このライン：

 Stack<int, vector<int> > stack; 

は次のようになります。

Stack<int, std::vector<int> > stack; 

か、接頭辞ができ、私はライン上の次のエラーを取得しますまず

using namespace std; 

Answer 3

vectorはstd名前空間に属しているため、修飾する必要があります。しかしContainerTypeとして、それ以外は、テンプレートではなく、最終的なタイプを渡す必要があるテンプレートテンプレートパラメータは次のとおりです。

Stack<int, std::vector > stack; 

Answer 4

ためのアリティの問題で、テンプレートテンプレートパラメータを使用するためにされていない最も簡単な方法コンテナ。

代わりに、完全なコンテナタイプを渡すだけです。次に、value_type（標準STL内部typedef）を抽出して値を取得します。

template <typename Container> 
class Stack 
{ 
public: 
    typedef typename Container::value_type value_type; 

private: 
    Container _container; 
}; // class Stack<Container> 

あなたは、その後、単に、Stack< std::vector<int> >として使用することができ、それがint Sが含まれています。