std::bind 是否丢弃 C++11 中参数的类型信息？

问题发生的情况

请考虑以下 C++ 代码：

#include <functional>
#include <iostream>
#include <string>

// Superclass
class A {
    public:
    virtual std::string get() const {
        return "A";
    }
};

// Subclass
class B : public A {
    public:
    virtual std::string get() const {
        return "B";
    }
};

// Simple function that prints the object type
void print(const A &instance) {
    std::cout << "It's " << instance.get() << std::endl;
}

// Class that holds a reference to an instance of A
class State {
    A &instance;
    public:
    State(A &instance) : instance(instance) { }
    void run() {

        // Invokes print on the instance directly
        print(instance);

        // Creates a new function by binding the instance
        // to the first parameter of the print function, 
        // then calls the function. 
        auto func = std::bind(&print, instance);    
        func();
    }    
};

int main() {
    B instance;
    State state(instance);

    state.run();
}

在这个例子中，我们有两个类A and B. B从类继承A。这两个类都实现了一个返回类型名称的简单虚拟方法。

还有一个简单的方法，print，它接受对实例的引用A并打印类型。

班上State持有对实例的引用A。该类还有一个简单的方法，调用print通过两种不同的方式。

哪里变得奇怪

状态中唯一的方法首先调用print直接地。由于我们提供了一个实例Bint main 方法，输出是It's B，正如预期的那样。

然而，对于第二次调用，我们将实例绑定到第一个参数print using std::bind。然后我们不带任何参数调用结果函数。

然而，在这种情况下，输出是It's A。我本来期望输出It's B，和以前一样，因为它仍然是同一个实例。

如果我将参数声明为指针而不是引用，std::bind按预期工作。我还在两个类的构造函数中放置了一些日志记录，以验证没有意外创建实例。

为什么会出现这种情况？做std::bind在这种情况下丢弃一些类型信息？据我了解，这种情况一定不会发生，因为方法调用应该由运行时的 vtable 查找来管理。

这只是对象切片。通过引用传递实例：

auto func = std::bind(&print, std::ref(instance));
//                            ^^^^^^^^

进一步解释一下：像大多数 C++ 标准库类型一样，a 的结果类型bind表达owns它的所有束缚态。这意味着您可以获取该值并自由传递它并存储它并稍后在不同的上下文中返回它，并且您仍然可以在其所有绑定状态准备好执行操作的情况下调用它。

因此，在您的代码中，绑定对象是用copy of instance。但是由于instance不是一个完整的对象，你导致了切片的发生。

相比之下，我的代码复制了一个std::reference_wrapper<A>到绑定对象中，这本质上是一个指针。它不拥有实例对象，因此只要可以调用绑定对象，我就需要使其保持活动状态，但这意味着绑定调用会以多态方式分派到完整的对象。