虚拟成员函数和 std::tr1::function：这是如何工作的？

Question

这是一段示例代码。请注意，B 是 A 的子类，并且两者都提供独特的print 例程。另请注意，在 main 中，两个 bind 调用都是对 &A::print 的，尽管在后一种情况下是对 B 的引用 已通过。

#include <iostream>
#include <tr1/functional>

struct A
{
    virtual void print()
    {
        std::cerr << "A" << std::endl;
    }
};

struct B : public A
{
    virtual void print()
    {
        std::cerr << "B" << std::endl;
    }
};

int main (int argc, char * const argv[])
{
    typedef std::tr1::function<void ()> proc_t;

    A a;
    B b;

    proc_t a_print = std::tr1::bind(&A::print, std::tr1::ref(a));
    proc_t b_print = std::tr1::bind(&A::print, std::tr1::ref(b));

    a_print();
    b_print();

    return 0;
}

这是我用 GCC 4.2 编译时看到的输出：

A
B

我会认为这是正确的行为，但我无法解释它如何正常工作，因为 std::tr1::function 是在这两种情况下都绑定到 &A::print 。有人可以启发我吗？

编辑：感谢您的回答。我熟悉继承和多态类型。我感兴趣的是 &A::print 是什么意思？它是 vtable 的偏移量，并且 vtable 根据引用的对象（在本例中为 a 或 b？）而变化？ ，这段代码如何正确运行？

Answer 1

它的工作方式与普通成员函数指针的工作方式相同。以下产生相同的输出：

int main ()
{
    A a;
    B b;
    typedef void (A::*fp)();
    fp p = &A::print;
    (a.*p)(); // prints A
    (b.*p)(); // prints B
}

如果 boost/tr1/std::function 做了任何不同的事情，那将会令人惊讶，因为它们可能将这些指向成员函数的指针存储在引擎盖下。哦，当然，如果没有 Fast Delegates 文章<的链接，这些指针的提及就不完整。 /a>.

Answer 2

因为 print() 被声明为 virtual，所以 A 是一个多态类。通过绑定到 print 函数指针，您将通过 A 指针进行调用，与以下方式非常相似：

A* ab = &b;
ab->print();

在 ->print 中> 在上面调用，您会期望多态行为。您的代码中也是如此。如果你问我的话，这是一件好事。至少，大多数时候。 :)