std::bind绑定成员函数必须传对象实例或指针，因编译器预留第一个参数位给this；正确写法有三种：绑定对象副本、地址或shared_ptr；std::function签名需匹配隐式this已“吃掉”的参数列表。
std::bind绑定成员函数必须传对象实例或指针
编译器会把 std::bind 的第一个参数位置留给 this，漏掉它直接报错，错误信息类似：error: no match for call to '(std::binder)' with 1 argument。不是“忘了加 &”，而是根本没传——哪怕你写的是 std::bind(&MyClass::func, _1)，也缺了对象。
正确写法有三种：
-
std::bind(&MyClass::func, obj, _1)→ 绑定到对象副本（不推荐，除非obj很小且可拷贝） -
std::bind(&MyClass::func, &obj, _1)→ 绑定到对象地址（最常用） -
std::bind(&MyClass::func, ptr, _1)→ptr是std::shared_ptr<myclass></myclass>（安全，自动管理生命周期）
std::function 接收 bind 结果时的类型签名要匹配 this + 成员函数参数
成员函数本质是 void (MyClass::*)(int)，比普通函数多一个隐式 this 参数。所以绑定后传给 std::function，签名得写成 std::function<void></void> —— 不用显式写 this，std::bind 已把它“吃掉”了。
常见错误：
立即学习“C++免费学习笔记（深入）”；
- 写成
std::function<void int></void>→ 类型不匹配，编译失败 - 写成
std::function<void></void>却绑定带参数的成员函数 → 调用时传参报错或静默截断 - 用
std::function包一层再赋值，比如std::function<void> f = std::bind(...)</void>→ 可行但有额外类型擦除开销；更轻量的是直接auto f = std::bind(...)
占位符顺序和参数位置容易搞反：_1 对应调用时的第一个实参
绑定成员函数时，_1 不是指“成员函数的第一个形参”，而是指“调用新函数时传入的第一个参数”。它会被填进成员函数形参列表里从左往右第一个未被固定的位置。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
例如：
struct Logger {
void write(const std::string& level, int code, const std::string& msg);
};
Logger logger;
auto log_err = std::bind(&Logger::write, &logger, "ERROR", _1, _2);
log_err(404, "Not found"); // 等价于 logger.write("ERROR", 404, "Not found")
这里 _1 填进 code 位置，_2 填进 msg 位置。如果误写成 _2, _1，参数就错位了。
绑定后修改原对象状态需注意引用语义
std::bind 默认拷贝所有传入的实参，包括对象指针/引用本身——但指针拷贝不影响所指对象，而对象副本则完全独立。真正影响状态更新的是：你绑的是谁、怎么绑的。
关键点：
- 用
&obj绑定，后续调用log_err(...)仍操作原始logger实例，状态可变 - 用
std::ref(obj)绑定对象（非指针），也能保证操作原对象，但不如指针直观 - 若绑定的是局部对象（如函数内定义的
Logger tmp;），又只传&tmp，而绑定体逃逸出作用域，就是悬垂指针 —— 这不是std::bind的锅，是生命周期管理问题
最容易被忽略的是：你以为绑的是对象，其实绑的是它的副本；你以为改了状态，其实改的是早已析构的临时体。检查绑定时传的是指针还是值，比检查语法更重要。
