为何std::bind绑定任意T的成员函数总能适配std::function<void(void)>？

咱们逐个拆解你的问题：

成员函数指针的类型匹配问题 #

你说得完全没错——成员函数指针的类型是和所属类严格绑定的，直接把A::func的指针赋值给B::func类型的指针，不管是隐式还是强制转换，都是违反C++标准的行为。

原因在于，成员函数指针的底层表示并不像普通函数指针那么简单：比如在多继承场景下，成员函数指针会包含类对象的偏移信息，用来正确定位成员函数的调用地址。跨类别的成员函数指针转换会直接破坏类型安全，标准明确禁止这种不匹配的赋值操作，编译器通常也会直接抛出编译错误来阻止你这么做。

为什么std::function能兼容不同的std::bind返回类型 #

首先要明确：VC++里std::bind返回的_Binder虽然是依赖原类T的模板实例，但它们本质上都是符合特定调用签名的可调用对象——在你的例子里，这些_Binder对象都可以被无参调用（返回void）。

而std::function的核心设计就是通过类型擦除技术，封装任何调用签名匹配的可调用对象，它根本不关心底层的具体类型是什么，只看“能不能按指定签名调用”：

• 当你把std::bind返回的_Binder赋值给std::function<void()>时，std::function会在内部构建一个通用的调用接口，把具体的_Binder对象存储起来。
• 后续调用std::function时，它会通过这个通用接口去调用底层的_Binder对象，完全不需要知道这个对象到底是对应A类还是B类的。

用你的代码举个实际例子：

class A { public: void func(){} };
class B { public: void func(){} };

int main() {
    A a;
    B b;
    // 两个不同的_Binder类型，都能赋值给同一个std::function类型
    std::function<void()> f_a = std::bind(&A::func, &a);
    std::function<void()> f_b = std::bind(&B::func, &b);
    
    f_a(); // 正确调用A::func
    f_b(); // 正确调用B::func
}

这里f_a和f_b的底层存储的是完全不同的_Binder实例，但因为它们的调用签名都匹配void()，std::function就能统一处理它们——这就是类型擦除带来的灵活性，也是它能兼容各种std::bind返回类型的关键。

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