テンプレート名の型名なし

Question

私はthe following question and its associated accepted answerのSOを読んでいたので、struct C（typenameキーワードのないもの）の2番目のテンプレートパラメータの意味は何ですか？ここで

コードです：

template<typename T, T> struct C; // Here. 

template<typename T, typename R, typename ...Args, R (T::*F)(Args...)> 
struct C<R (T::*)(Args...), F> 
{ 
    R operator()(T &obj, Args&&... args) 
    { 
     return (obj.*F)(std::forward<Args>(args)...); 
    } 
}; 

私はコードが何をしているか知っているが、私はtypenameキーワードなしtemplate<typename T, T> struct C;宣言とその意味の第二Tの目的を考え出していません。

誰かが私にその意味を教えてもらえますか？あなたの答えをありがとう。

Answer 1

これは、テンプレート値パラメータです。

template<typename T, T> struct C; 

タイプTを定義し、次にタイプTの値をテンプレートに渡すことを意味します。 SO質問の例では、型が関数ポインタ型であった場合、2番目のTの値は、一致する型の関数への実際のポインタでした。

Answer 2

Tがすでにですから、第2のTにclassまたは再typename Tを追加する場合、最初のtypename Tに

を定義している、あなたが取得します：

error C2991: redefinition of template parameter 'T'