テンプレートのパラメータにテンプレートのオーバーロードが適用されないのはなぜですか？

Question

人々はgrepのような方法でコードを読んだり比較したりしないので、すぐにこれがTemplate argument for non-type parameter must be an expressionの複製ではなく、私がそれを読んだ後に考えた別のものであると言います。したがって、これを全体として読んで、クラス名を見るだけではありません。

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

struct Dynamic { 
}; 

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

私は、コンパイル時の整数を受け取るテンプレートと、タグとして使用する型を受け取るテンプレートの2つが必要です。

何らかの理由で2番目のテンプレートが最初のテンプレートの特殊化（または再定義？）として解釈されるため、これは機能しません。

なぜテンプレートはテンプレートパラメータよりも曖昧さがありませんか？このための論理的/コンパイルの理由は何ですか？

Answer 1

あなたの質問の点では、答えは「理由」です。すべての機能が言語の一部であるわけではありません。

あなたが達成しようとしているものに関しては、テンプレートの専門化を試みることができます（個人的には非型引数で使用していませんが、どうしてそれがうまくいかない理由が分かります）。

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

const int Dynamic = INT_MAX; 

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

Answer 2

これは言語の仕組みではないためです。それはそれほど簡単です！

テンプレートは一度定義され、後で任意に特殊化されます。彼らは "過負荷"セマンティクスを持っていません。