C++类中使用std::bind绑定带参成员函数编译失败求助

你的代码里注释掉的那行编译失败，核心原因是std::bind绑定带参数的成员函数时，没有为成员函数的显式参数预留占位符，导致bind返回的可调用对象签名和std::function<int(int)>不匹配。

为什么无参成员函数的代码能正常编译？ #

对于无参成员函数Test::nonparameter，它的隐式第一个参数是this指针。当你用std::bind(&Test::nonparameter, this)时，bind已经把this绑定好了，返回的可调用对象不需要再接收任何参数，刚好和std::function<int()>的签名（无参、返回int）完全匹配，所以可以正常赋值。

带参数成员函数的正确写法 #

对于带一个int参数的成员函数Test::parameter，除了要绑定this指针，还需要用std::placeholders::_1来代表后续调用时要传入的那个int参数。修改后的代码如下：

struct Test {
    int parameter(int) { return 0; }
    int nonparameter() { return 0; }
    void package() {
        std::function<int()> pp = std::bind(&Test::nonparameter, this);
        // 修正后的代码：添加占位符std::placeholders::_1
        std::function<int(int)> np = std::bind(&Test::parameter, this, std::placeholders::_1);
    }
};

原理说明 #

成员函数的调用本质上需要两个参数：类实例的指针（即this）和显式声明的函数参数。用std::bind绑定成员函数时：

1. 第一个参数必须是成员函数的指针；
2. 第二个参数绑定类实例的指针/引用（这里是this）；
3. 后续的参数需要对应成员函数的每个显式参数——如果希望调用bind返回的对象时再传入这个参数，就用std::placeholders::_n（n是参数的位置序号，比如第一个显式参数用_1，第二个用_2，以此类推）来占位。

这样处理后，bind返回的可调用对象就会接受一个int参数，和std::function<int(int)>的签名完全匹配，就能正常编译了。

内容的提问来源于stack exchange，提问作者degawong