虛調用中的C++非虛函數調用

Question

為什么這個程序的輸出是“CLASS A”？ 這難道不是確定為B型的？ 不是說 this->g() 應該調用 B 類版本的 g 嗎？

#include <iostream>

using namespace std;

class A {
private:
    void g() {
        cout << "CLASS A" << endl;
    }
public:
    virtual void f() {
        g();
    }
};

class B : public A {
public:
    void g() {
        cout << "CLASS B" << endl;
    }
};

int main() {
    A* a = new B();
    a->f();
}

Answer 1

這不是確定為B型嗎？

不B可能是動態類型，但*this的靜態類型在其所有成員函數中都是A

成員函數g不是虛擬的，因此對它的調用使用靜態綁定。 在靜態綁定中，對象的動態類型無關緊要——只有靜態類型才重要。 到非當前虛擬呼叫g的成員函數中A應該是一個呼叫A::g 。