テンプレートテンプレートパラメータを数値にするにはどうすればよいですか？

Question

私は、テンプレートパラメータに数字のテンプレート引数を持つテンプレートを受け入れたいと思っています。

この例多分過度に単純化されたが、私はこのような何か希望：それは可能でなければならないと私は、このための構文を理解してはいけません

template <int X> 
struct XX 
{ 
    static const int x = X; 
}; 

template<typename TT, TT V, template<V> TX> 
void fnx(TX<V> x) 
{ 
    static_assert(V == TX::x, "IMPOSSIBLE!"); 
} 

void fny() 
{ 
    fnx(XX<1>()) 
} 

を。どうすればこれを達成できますか？少しだけ、あなたの構文を固定

Answer 1

- テンプレートテンプレートパラメータが正しく指定されているので、我々はこのようなものに終わるだろう：

template <typename T, template <T > class Z, T Value> 
//     ^^^^^^^^^^^^^^^^^^^^^ 
void foo(Z<Value> x) { } 

しかし、コンパイラはここTを推測することはできません - それはです推論されないコンテキスト。明示的に指定する必要があります：

foo<int>(XX<1>{}); 

これはかなり面倒です。私はnon_type_t<XX<1>>がintであるような型の特性を書くことさえできません（その型の特性は、タイプに対して実際のイントロスペクションを行いますが、たぶんintを返しません）。

---

非型テンプレート引数の非推定されるコンテキストネスを修正することによって、このプロセス（P0127）を改善するための提案があります。

Answer 2

fnxの宣言には何らかの作業が必要であり、TTの型番はコールサイトでは推測できません。

template<typename TT, TT V, template<TT> class TX> 
void fnx(TX<V> x) 
{ 
    static_assert(V == TX<V>::x, "IMPOSSIBLE!"); 
} 

void fny() 
{ 
    fnx<int>(XX<1>()); 
} 

の作業例：https://ideone.com/57PsCA