c++ - 引用变量和虚函数

Question

我在使用引用变量时发现了一个奇怪的行为。

这里是类的实现:

class Base {
    public:
        virtual void Method() = 0;
};

class DerivedA : public Base {
    public:
        virtual void Method() {}
}

class DerivedB : public Base {
    public:
        virtual void Method() {}
}

这是一个具有奇怪行为的示例代码:

void main(int argc, char *argv[]) {
    DerivedA a;
    DerivedB b;
    Base &base = a;

    base.Method();   // Calls DerivedA::Method

    base = b;
    base.Method();   // Calls DerivedA::Method!!! Why doesn't call DerivedB.Method()?
}

综上所述，似乎只有在初始化引用变量时才确定与引用变量“关联”的虚函数指针表。如果我重新分配引用变量，vfpt 不会改变。

这里发生了什么？

Answer 1

Base &base 是一个引用，即 a 对象的别名，所以赋值 base = b 等同于 a = b，这使得 base 仍然是同一类的同一对象。这不是您假设的指针重新分配。