テンプレートの特殊化は

Question

OK私が持っている：

template<typename T> 
class Reader 
{ 
    class Input 
    { 
     template<typename C> 
     void operator()(C& val) const 
     { 
      /* Do Some Work */ 
     } 
    }; 
}; 

あいにくのジェネリック版私のために動作しません「いくつかの作業を行います」。また、重いテンプレートのメタプログラミングコードの途中にあるので、変更するのも簡単ではありません。

私は私のタイプのためのメソッドを特化することができますが、だから。だから私の第一歩は、一般的な方法をクラスから取り除くことでした。

template<typename T> 
class Reader 
{ 
    class Input 
    { 
     template<typename C> 
     void operator()(C& val) const; 
    }; 
}; 


template<typename T> 
template<typename C> 
void typename Reader<T>::Input template operator()<C>(C& val) const // LINE 13 
{ 
    /* Do Some Work */ 
} 

残念ながら、私はエラーを取得しています：

s.h:13: error: error: expected ‘)’ before ‘&’ token

Answer 1

普通

template<typename T> 
template<typename C> 
void Reader<T>::Input::operator()(C& val) const // LINE 13 
{ 
    /* Do Some Work */ 
} 

のようにそれを書くには特別なバージョンを提供するのお手伝いをしていないクラスのうちのジェネリック版の定義しかし、私はここであなたの目標を逃しています。

Answer 2

部分機能テンプレートの特殊化は認められませんが、これは許されません。 void Reader<T>::Input::operator() (C& int)は、タイプReader<T>::Input *の暗黙の第1引数（ポインタ）を持ちます。したがって、その署名は実際にはvoid (Reader<T>::Input *, C &)です。 Cを指定しようとしていますが、Tは指定していません。