在C ++中使用函数模板作为模板模板参数

Question

假设我有一个带模板模板参数的函数，如下所示：

template <template <class T> class F, typename P>
void applyFunction(int param)
{
    F<P> fn;
    fn(param);
}

以上内容可以为Functor采用任意类模板并应用它。 例如，如果我定义：

template<typename T>
struct SomeFunctor
{
    void operator()(int param)
    {
        T::doStuff(param);
    }
};

然后我可以拨打以下电话：

applyFunction<SomeFunctor, MyClass>(0);

但我真正想做的是能够传递函数模板（而不仅仅是定义仿函数的类模板）。 所以，如果我有这样的事情：

template<typename T>
void someFunction(int param)
{
    T::doStuff(param);
}

理想情况下，我可以做这样的事情：

applyFunction<someFunction, MyClass>(0);

不幸的是，这不是合法的C ++。 有没有办法做到这一点，我错过了？ 换句话说，传递函数模板而不是类模板作为模板模板参数？ 从概念上讲，我不明白为什么不可能。

Answer 1

您可以将指向函数的指针作为模板参数：

template < typename T, T (*F)(int) >
void apply_function(int param) {
    F(param);
}

template < typename T >
T some_function(int param) {
    T::doStuff(param);
}    

int main() {
    apply_function< float, some_function >(5);
}

在你的情况下，它将是：

apply_function< MyClass, some_function >(0);

然后例如。