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);

例如，

。

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

1 个答案: