C++ 多态详解：虚函数、虚表与动态绑定机制

2.3 虚函数重写的其他细节

• 协变（Covariant）：派生类重写基类虚函数时，若基类返回基类对象的指针或引用，派生类可返回派生类对象的指针或引用。这在实际开发中较少见，了解即可。
• 析构函数的重写：如果基类析构函数是虚函数，派生类析构函数无论是否加 virtual，都构成重写。编译器会对析构函数名称做特殊处理，统一视为 destructor。

2.4 override 和 final 关键字

C++11 引入了 override 和 final 来增强安全性。

• override：标记函数意图重写基类虚函数。如果基类没有对应虚函数或签名不匹配，编译器会报错，避免静默失败。
• final：禁止后续派生类继续重写该函数。

// error: 包含重写说明符'override'的方法没有重写任何基类方法
class Car {
public:
    virtual void Drive() {}
};

class Benz : public Car {
public:
    // 拼写错误导致无法重写，编译器会报错
    virtual void Dirve() override { 
        cout << "Benz-舒适" << endl; 
    }
};

// error: 声明为'final'的函数无法被'Benz::Drive'重写
class Car {
public:
    virtual void Drive() final {}
};

class Benz : public Car {
public:
    virtual void Drive() { 
        cout << "Benz-舒适" << endl; 
    }
};

3. 纯虚函数和抽象类

在虚函数后加 =0，定义为纯虚函数。包含纯虚函数的类称为抽象类，抽象类不能实例化对象。如果派生类继承了抽象类但没有重写所有纯虚函数，那么派生类依然是抽象类。

class Car {
public:
    virtual void Drive() = 0;
};

class Benz : public Car {
public:
    virtual void Drive() {
        cout << "Benz-舒适" << endl;
    }
};

class BMW : public Car {
public:
    virtual void Drive() {
        cout << "BMW-操控" << endl;
    }
};

int main() {
    // 编译报错：无法实例化抽象类 Car car;
    Car* pBenz = new Benz;
    pBenz->Drive();
    Car* pBMW = new BMW;
    pBMW->Drive();
    delete pBenz;
    delete pBMW;
    return 0;
}

4. 多态的原理

4.1 底层实现机制

当满足多态条件时，程序不再在编译期确定函数地址，而是在运行期通过对象内部的虚函数表指针（vptr）找到对应的虚函数表（vtable），进而定位到具体的函数地址。

class Base {
public:
    virtual void Func1() {
        cout << "Func1()" << endl;
    }
protected:
    int _b = 1;
    char _ch = 'x';
};

int main() {
    Base b;
    cout << sizeof(b) << endl; // 输出通常为 12 字节
    return 0;
}

对象大小增加的部分（如 4 字节）通常是虚函数表指针。一个含有虚函数的类至少包含一个 vptr。同类型的对象共用同一张虚表，不同类型的对象拥有独立的虚表。

4.2 动态绑定与静态绑定

• 静态绑定：不满足多态条件（如直接对象调用、非虚函数），编译期确定函数地址。
• 动态绑定：满足多态条件（基类指针/引用 + 虚函数），运行期根据实际对象类型查找虚表确定地址。

通过汇编对比可以更直观地看到差异：动态绑定需要额外的内存访问指令去查表，而静态绑定直接跳转。

4.3 虚函数表的存储位置

虚函数表本质上是一个存放虚函数指针的数组，通常位于常量区（代码段）。VS 和 Linux (g++) 环境下，虚表一般都在只读数据区。

int main() {
    int i = 0;
    static int j = 1;
    int* p1 = new int;
    const char* p2 = "xxxxxxxx";
    printf("栈:%p\n", &i);
    printf("静态区:%p\n", &j);
    printf("堆:%p\n", p1);
    printf("常量区:%p\n", p2);

    Base b;
    Derive d;
    Base* p3 = &b;
    Derive* p4 = &d;
    printf("Person 虚表地址:%p\n", *(int*)p3);
    printf("Student 虚表地址:%p\n", *(int*)p4);
    printf("虚函数地址:%p\n", &Base::func1);
    printf("普通函数地址:%p\n", &Base::func5);
    return 0;
}

测试结果表明，虚表地址与普通函数地址类似，均位于常量区。理解这一点对于调试内存问题和优化性能至关重要。

掌握 C++ 多态的核心在于理解虚函数表与动态绑定的配合。从虚函数重写规则到内存布局，这些知识点不仅是面试高频考点，更是构建灵活面向对象架构的基础。建议结合调试器观察虚表指针的变化，加深理解。