c++ - 编译时和运行时 (C++) 期间的虚函数和非虚函数

Question

我希望标题不会混淆。我试图理解以下由在 C++ 中定义虚拟类或非虚拟类的方法引起的问题。假设我有一个基类 A 和一个派生类 B，这样

class A { 
public:
    void print() { cout << "A"; } 
}

class B : A { 
public:
    void print() { cout << "B"; } 
}

如果我知道执行下面的代码，打印命令将打印出“A”。

A *a = new A();
B *b = new B();
((A *)b)->print(); // this prints "A"

但是，如果我将两个类中的“print”方法都声明为虚拟方法，我会在屏幕上看到一个“B”。为什么会发生这种情况？

Answer 1

如果函数不是virtual，编译器将只使用表达式给出的任何类型。因此，当您将 B 对象转换为 A 对象时，它将调用 A::print 函数。

如果使用virtual，编译器会建立一个函数指针表[1]，当要调用函数时，编译器生成代码通过该表进行调用，而不是只看当前类型，它允许基类型调用派生类中的函数，从而允许多态行为。

[1] 从技术上讲，规范没有告诉我们如何实现它，但几乎所有编译器都是这样工作的。如果编译器可以使用魔术产生相同的行为，则允许这样做 - 只要魔术是可靠且可重现的。