c++ - C ++部分特殊化（関数ポインター）

Question

以下が合法的なC++であるかどうか、誰か教えてもらえますか？

template < typename s , s & (*fn) ( s * ) > 
class c {};

//部分的な特殊化

template < typename s , s & (*fn) ( s * ) > 
class c < s*, s* & (*fn)(s**)  {};

g ++（4.2.4）エラー：定数式エラーに関数呼び出しを表示できません：テンプレート引数2が無効です

明示的な特殊化には機能しますが

int & func ( int * ) { return 0; }
template <> class c < int , func> class c {};

Answer 1

私はあなたが意味すると思います

template < typename s , s & (*fn) ( s * ) > 
class c {};

// partial specialization
template < typename s , s & (*fn) ( s * ) > 
class c < s*, fn >  {};