如何正确调用经std::bind绑定的C++类成员foo方法？

看起来你在使用std::bind绑定类成员函数时，遇到了参数映射和类型不匹配的问题，我来帮你拆解错误并给出修正方案。

核心错误分析 #

你的代码主要有三个问题：

1. 成员函数的this指针绑定错误
   绑定类非静态成员函数时，std::bind的第二个参数必须是类的实例、指针/引用（或对应占位符），而你把_6（对应调用时的第六个参数AnotherDummy{}）绑定为this指针，类型完全不匹配（需要X*，却传了AnotherDummy），这是最直接的编译错误来源。

2. 占位符与目标参数类型不兼容
   比如你用_2对应foo的double seven参数，但调用时_2传入的是YetAnotherDummy{}；用_7对应int eight参数，传入的却是Dummy{}，类型完全不匹配，编译器无法完成转换。

3. 占位符与调用参数的映射逻辑混乱
   占位符_n对应调用functor时的第n个参数，你的映射关系没有对齐foo的参数顺序和类型要求，导致参数无法正确传递。

修正后的完整代码 #

下面是调整后的代码，我标注了每个参数的映射逻辑，确保类型匹配和顺序正确：

#include <functional>
#include <string>
#include <cstdio>

struct Dummy {};
struct AnotherDummy {};
struct YetAnotherDummy {};
struct LastDummy {};

class X {
public:
    void foo(std::string one, Dummy two, int three, AnotherDummy four, float five, YetAnotherDummy six, double seven, int eight, LastDummy nine) {
        printf("foo调用成功！\n"); // 验证调用正常
    }
};

int main() {
    using namespace std::placeholders;

    // 绑定规则：
    // _1 → this指针（调用时传入&obj）
    // _5 → foo的第一个参数one（调用时传入'x'，隐式转std::string）
    // Dummy{} → foo的第二个参数two（固定值，无需调用时传入）
    // _3 → foo的第三个参数three（调用时传入int 1）
    // _6 → foo的第四个参数four（调用时传入AnotherDummy{}）
    // 5.0f → foo的第五个参数five（固定值）
    // _2 → foo的第六个参数six（调用时传入YetAnotherDummy{}）
    // _8 → foo的第七个参数seven（调用时传入double 2.3）
    // _7 → foo的第八个参数eight（调用时传入int 8）
    // LastDummy{} → foo的第九个参数nine（固定值）
    auto functor = std::bind(&X::foo,
        _1,
        _5,
        Dummy{},
        _3,
        _6,
        5.0f,
        _2,
        _8,
        _7,
        LastDummy{}
    );

    X obj;
    // 调用时参数严格对应占位符编号
    functor(
        &obj,                // _1: this指针
        YetAnotherDummy{},   // _2: foo的six参数
        1,                   // _3: foo的three参数
        2.3f,                // 未被占位符引用的参数，会被忽略
        'x',                 // _5: foo的one参数
        AnotherDummy{},      // _6: foo的four参数
        8,                   // _7: foo的eight参数
        2.3                  // _8: foo的seven参数
    );

    return 0;
}

关键注意事项 #

• 成员函数绑定规则：绑定非静态成员函数时，std::bind的第一个参数是成员函数指针，第二个参数必须是类的实例/指针/引用（或对应类型的占位符），因为成员函数依赖this指针。
• 占位符对应关系：_n代表调用functor时的第n个参数，必须确保该参数的类型与目标函数的对应形参兼容（可隐式转换或完全匹配）。
• 固定参数处理：如果某些参数不需要调用时传入，直接在bind时传入固定值即可，无需使用占位符。

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