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 >  {};