std::function:严格的编译时参数验证

我想实现一个类，它包含两个具有预定义函数签名的回调函数。

类有模板化的ctor，它使用std::bind创建std::函数成员。我期望编译器(g++ 4.6)会在将签名错误的函数传递给actor时报错。但是，编译器接受以下内容:

    callback c1(i, &test::func_a, &test::func_a);

我能理解它为什么那样做。我尝试为static_assert构造一个合适的条件，但没有成功。

如何使编译时错误来防止这种情况?

#include <functional>
using namespace std::placeholders;
class callback {
public:
    typedef std::function<bool(const int&)>     type_a;
    typedef std::function<bool(int&)>       type_b;
    template <class O, typename CA, typename CB>
        callback(O inst, CA ca, CB cb)
        : 
        m_ca(std::bind(ca, inst, _1)),
        m_cb(std::bind(cb, inst, _1))
        { }
private:
    type_a  m_ca;
    type_b  m_cb;
};

class test {
public:
    bool func_a(const int& arg) { return true; }
    bool func_b(int& arg) { arg = 10; return true; }
};
int main()
{
    test i;
    callback c(i, &test::func_a, &test::func_b);
// Both should fail at compile time
    callback c1(i, &test::func_a, &test::func_a);
//  callback c2(i, &test::func_b, &test::func_b);
    return 0;
}

UPDATE:来自访问者的答案解决了我最初的问题。不幸的是，我有一堆相关的案例需要解决，下面的代码演示了这些案例(http://ideone.com/P32sU):

class test {
public:
    virtual bool func_a(const int& arg) { return true; }
    virtual bool func_b(int& arg) { arg = 10; return true; }
};
class test_d : public test {
public:
    virtual bool func_b(int& arg) { arg = 20; return true; }
};
int main()
{
    test_d i;
    callback c(i, &test_d::func_a, &test_d::func_b);
    return 0;
}

static_assert:

prog.cpp: In constructor 'callback::callback(O, CA, CB) [with O = test_d, CA = bool (test::*)(const int&), CB = bool (test_d::*)(int&)]':
prog.cpp:41:51:   instantiated from here
prog.cpp:17:12: error: static assertion failed: "First function type incorrect"

我认为最好只是比较函数参数和返回值。请告诉我怎么做。

谢谢。