我们来屁股,我们有一个模板功能：
template<typename T1,typename T2,typename T3>
T3 such_fun(T1 a,T2 b) {
// do something...
}
现在我们想用它作为另一个模板中的参数,例如像那样
template<typename T1,template<typename,typename,typename> some_function>
void big_fun(T1 a) {
// some code...
a = some_function<T1,T1,T1>(a,a);
// some code...
}
可能吗？
我知道我可以使用具有define()运算符的struct.我只是好奇的功能.
编辑：
在我写这个问题的时候,我的朋友发现了一个部分解决方案：
template<typename T1,T1 (*some_function)(T1,T1)>
void big_fun(T1 a) {
// some code...
a = some_function(a,a);
// some code...
}
但仍然 – 我很好奇,如果可能没有在调用之前实现函数类型.例如 – 我可能想要使用各种类型的组合来调用传递的模板：
template<typename T1,typename> some_function>
void big_fun(T1 a,T2 b) {
// some code...
a = some_function<T1,a);
a = some_function<T1,T2,b);
b = some_function<T2,T2>(b,a);
// some code...
}
解决方法
不,这是不可能的.从N3337的14.3.3：
A template-argument for a template template-parameter shall be the
name of a class template or an alias template,expressed as
id-expression . When the template-argument names a class template,
only primary class templates are considered when matching the template
template argument with the corresponding parameter; partial
specializations are not considered even if their parameter lists match
that of the template template parameter.
第一段只明确提到类模板.我想这也不是真的值得的麻烦,因为你可以做一些与函数非常相似的东西或std ::函数作为参数.