C++ std::function 从派生类绑定

Question

如果我有一个带有子类 SetConfigurationData 的基类 MessageWrapper，为什么与子类参数绑定不起作用？

它不应该多态地工作吗？

Class MessageHandler
{
    public:
    void RegisterHandler(std::function<void(MessageWrapper &)> callback_)
    {}
};

class Testing
{
    public:

    Testing(MessageHandler &handler_)
        : m_Handler(handler_)
    {
        m_Handler.RegisterHandler(std::bind(&Testing::TestMessageHandler, this, std::placeholders::_1));
    }

    void TestMessageHandler(SetConfigurationData &msg_)
    {}

    MessageHandler m_Handler;
};

我得到错误： "无法专门化函数模板 'unkown-type std::invoke(Callable &&, Types &&..)'

如果我这样做，它会起作用：

void TestMessageHandler(MessageWrapper &msg_)
{}

Answer 1

多态不能像这样工作。我会用一个例子来解释。让我们说一下函数。

void TestMessageHandler(SetConfigurationData &msg_)

在其主体中具有特定于子对象的内容。说

msg.child_method()

既然RegisterHandler callback_() 将基类作为参数，那么它应该如何处理这个“msg.child_method()”调用，因为它不是基类方法？

现在，如果我们反过来做会发生什么。以下工作。

class MessageWrapper
{
};

class SetConfigurationData : public MessageWrapper
{
    public:
    void RegisterHandler(std::function<void(SetConfigurationData&)> callback_)
    {}
};

class MessageHandler
{
};

class Testing
{
    public:

        Testing(SetConfigurationData &handler_)
            : m_Handler(handler_)
        {
            m_Handler.RegisterHandler(std::bind(&Testing::TestMessageHandler, this, std::placeholders::_1));
        }

        void TestMessageHandler(MessageWrapper &msg_)
        {}

        SetConfigurationData m_Handler;
};

即使 TestMessageHandler 以 MessageWrapper 作为参数，你也可以将它绑定到以 Child 类 (SetConfigurationData) 作为参数的 callback_。