テンプレートのパラメータはタイプでなければなりませんか？

Question

Bjarne Stroustrup C++ Book（第13章、331ページ）では、「テンプレートパラメータを後続のテンプレートパラメータの定義に使用できる」と述べました。そして、それは次のコードを与える：

template<class T, T def_val> class Cont{ /* ... */ } 

誰でもこのテンプレートの使い方の例を提供することができます。たとえば、Contのオブジェクトを初期化する方法は？ "def_val"は型引数ではないので、<>に配置しないでください。私が間違っている？

どうもありがとう

Answer 1

あなたはこのような何かを行うことができます。

Cont<int, 6> cnt; 
//  ^as long as this is of type T (in this case int) 
// def_val will be of type int and have a value of 6 

テンプレートのパラメータがタイプである必要はありません。 @Rigaが彼/彼女のコメントで述べたようにTは、整数型（などint、unsigned、long、charなどではなくfloat、std::string、const char*、）であるとき

これはのみ動作します。

Answer 2

def_valは、value引数です。インスタンス化は次のようになります。あなたは、テンプレートparemeterとしてクラスメンバへのポインタを持っているしたい場合、これは便利です

Cont<int, 1> foo; 

興味深いケースは次のとおりです。

template<class C, int C::*P> 
void foo(C * instance); 

これがあることをfooを可能にしますどのクラスのタイプintのメンバへのポインタでインスタンス化されます。

Answer 3

ここで上記をインスタンス化する方法の例は次のとおり

template<class T, T def_val> class Cont{ /* ... */ }; 

int main() 
{ 
    Cont<int,42> c; 
} 

Answer 4

T def_valは（以前に渡された）タイプTの目的です。たとえば、コンテナ内の項目を初期化するために使用できます。その後、第2のテンプレートパラメータを使用しています

;

Object init(0); 
Cont<Object, init> cont; 

（Objectは明らかに、このように使用する法定の型でなければならない擬似コード）：使用するには、次のようになります。テンプレート化された型を持つため、テンプレートに含まれています。 def_valはタイプTである必要があり、オブジェクトの作成時に渡す必要があります。