c – 如何创建功能模板签名？

template<typename R,typename F>
    R bar(F func) {
        return func();
    }

bar<int>(foo);

有了新的C 11功能,你可以.

template<typename F>
    auto baz(F func) -> decltype(func()) {
        return func();
    }

baz(foo);

您可以将函数/仿函数模板化为参数,而不是尝试指定它必须是boost :: function.

void zero() {cout << "zero" << endl;}
void one(int a) {cout << "one" << endl;}
void two(int a,int b) {cout << "two" << endl;}

template<typename F>
    void f(const F &func) {
        func();
    }

template<typename F,typename T0>
    void f(const F &func,T0 t0) {
        func(t0);
    }

template<typename F,typename T0,typename T1>
    void f(const F &func,T0 t0,T1 t1) {
        func(t0,t1);
    }

这使您可以简单地传入函数指针.

f(zero);
f(one,1);
f(two,1,2);

如果您需要实际使用函数或绑定,您可以将其传递到同一个接口.

// without specifying the function
f(boost::bind(zero));
f(boost::bind(one,_1),1);
f(boost::bind(two,_1,_2),2);

// or by specifying the object
boost::function<void()> f0        = boost::bind(zero);
boost::function<void(int)> f1     = boost::bind(one,_1);
boost::function<void(int,int)> f2 = boost::bind(two,_2);
f(f0);
f(f1,1);
f(f2,2);

与仿函数一样,这对于将严格的弱排序行为传递给标准容器是典型的.

struct zoobies {
    void operator()() const {}
};

f(zoobies());

它不必检查传递给它的类型,只需要它满足接口.这是C模板通常比其他语言中的泛型更强大的原因之一.

并且为了完整性…如果你确实想要将它限制为boost :: function,这是一个例子.

template<typename T>
    void p(const boost::function<T> &func) {
        func();
    }

template<typename T,typename A0>
    void p(const boost::function<T> &func,A0 a0) {
        func(a0);
    }


boost::function<void()> f0(zero);
p(f0);

boost::function<void(int)> f1(one,_1);
p(f1,1);

更新：

void foo() {cout << "zero" << endl;}
void foo(int a) {cout << "one" << endl;}
void foo(int a,int b) {cout << "two" << endl;}

虽然原始函数指针有更多问题,但boost :: bind开箱即用. foo在那里很暧昧.

f( (void(*)())        foo      );
f( (void(*)(int))     foo,1   );
f( (void(*)(int,int)) foo,2);

如果您完全指定了函数指针,那么它可以工作,尽管这不是任何人想要做的.

使用boost :: bind作为证据,您应该能够根据f的调用约定来确定arity.如果我今天得到一些时间,我会玩它.