C++调用其他类传入的成员回调报错及实现方案安全性咨询

C2064报错的核心原因是成员函数指针无法独立调用，必须绑定对应类的实例对象才能执行。你当前的X类只存储了成员函数的地址，没有存储对应的实例指针，缺少调用必需的上下文。

修改X类，同时存储绑定的实例指针和成员函数指针，调用时使用C++成员函数指针的专用调用语法->*：

template<class T>
using clbkType = void(T::*)(void);

template<class T>
class X
{
public:
    // 注册时同时接收实例指针和回调函数
    void registerClbck(T* inst, clbkType<T> clbk) {
        m_inst = inst;
        callback = clbk;
    }

    void call() {
        // 成员函数指针专用调用语法，必须加括号保证优先级正确
        (m_inst->*callback)();
    }
private:
    T* m_inst = nullptr;
    clbkType<T> callback = nullptr;
};

class Y
{
public:
    Y() {
        // 注册时传入当前Y实例的this指针
        x.registerClbck(this, &Y::handler);
    }

    void fire() {
        x.call();
    }

    int getA() { return a; }
private:
    int a{ 0 };
    X<Y> x{};

    void handler() {
        a = 5;
    }
};

int main()
{
    Y y;
    y.fire();
    return y.getA();
}

• 优势
  • 完全无堆分配，所有存储都是栈上的指针类型，满足你避免std::function堆开销的要求
  • 无需静态函数，回调执行时直接访问实例的成员变量，符合需求
  • 编译期强类型检查，不存在类型擦除带来的运行时风险
• 注意事项
  • 必须保证绑定的实例生命周期长于X类实例，否则X类存储的实例指针会悬空，调用回调时触发未定义行为。你当前的代码中X是Y的成员变量，Y的生命周期天然长于内部的X实例，这个场景下是安全的。
  • 如果需要支持多个不同类型的回调，可以扩展为带小对象优化的函数包装，比标准std::function更可控，不过当前单类型回调的场景下现有方案已经是最优解。

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