非型パラメータのテンプレート引数は式でなければなりません

Question

なぜ次のコードが間違っていますか？

template <typename T, int N> 
struct Vector { 
    T data[N]; 
}; 

struct Dynamic { 
}; 

template <typename T> 
struct Vector<T, Dynamic> { 
    T* data; 
}; 

私はVector<int, Dynamic> obj;でコードをインスタンス化しようとしましたが、それは

error: template argument for non-type template parameter must be an expression

なぜ働きませんでしたか？私は型を渡しており、それが有効なテンプレートの特殊化だと思っていました。

2つのテンプレートを使用し、Nを要求するテンプレートとDynamicとマークされていないテンプレートを使用するにはどうすればよいですか？

Answer 1

template <typename T, int N> 
struct Vector { 
    T data[N]; 
}; 

ここではあなたの主なテンプレートクラスで、Tはtype、（int, short, class-type, etc）でなければなりません... Nは​​で、int種類（数）に評価される式でなければなりません。

struct Dynamic { 
}; 

template <typename T> 
struct Vector<T, Dynamic> { 
    T* data; 
}; 

はタイプです。ないintプライマリテンプレートクラスに基づいて、あなたの主なテンプレート

---

に指定されているように、あなただけのintとVectorの第二のテンプレートパラメータを特化することができます。例えば。 Dynamicがクラスであり、あなたの主なテンプレートがintを期待するので、あなたが専門VectorにDynamicを使用することはできません

template <typename T> 
struct Vector<T, 1> { 
    T* data; 
}; 

template <typename T> 
struct Vector<T, 35> { 
    T* data; 
}; 

template <typename T> 
struct Vector<T, constExpressionThatReturnsAnInt> { 
    T* data; 
}; 

...etc 

Answer 2

。何が欲しいのは、おそらくのようなものです：

#include <limits> 

constexpr size_t Dynamic = std::numeric_limits<size_t>::max(); 

template <typename T, size_t N> 
struct Vector { 
    T data[N]; 
}; 

template <typename T> 
struct Vector<T, Dynamic> { 
    T* data; 
}; 

Vector<int, 10> static_array; 
Vector<int, Dynamic> dynamic_array; 

ここDynamic正しいタイプ（size_t）のconstexprあるので、あなたのテンプレートを特化することができます。サイズがstd::numeric_limits<size_t>::max()の静的配列を作成することはできません（これは問題ではありません）。