C++ 函数语义学——多继承与虚继承：虚函数机制深度解析

本文链接：https://blog.csdn.net/qq_68194402/article/details/141109087

C++多继承与虚继承：虚函数机制深度解析

- 多继承与虚继承：虚函数机制深度解析

多继承与虚继承：虚函数机制深度解析

1. 多继承中的虚函数机制

在多继承的情况下，虚函数的实现变得更加复杂，特别是涉及到第二个及以后的基类时。这主要涉及到 this 指针的调整和虚函数表（vtable）的构造。

1.1 this 指针调整的作用

在多继承中，当通过一个基类指针调用虚函数时，编译器需要确保正确调用派生类的实现。这通常涉及到 this 指针的调整。
this 指针调整的原理：

对象内存布局：多继承时，派生类对象包含多个基类子对象。
指针偏移：当使用第二个或后续基类的指针时，需要调整 this 指针以指向正确的子对象。
虚函数调用：调用虚函数时，编译器生成代码以调整 this 指针，确保正确访问虚函数表。

1.2 示例代码

#include <iostream>

class Base1 {
public:
    virtual void func() {
        std::cout << "Base1::func()" << std::endl;
    }
    virtual ~Base1() = default;
};

class Base2 {
public:
    virtual void func() {
        std::cout << "Base2::func()" << std::endl;
    }
    virtual Base2* clone() {
        std::cout << "Base2::clone()" << std::endl;
        return new Base2(*this);
    }
    virtual ~Base2() = default;
};

class Derived : public Base1, public Base2 {
public:
    void func() override {
        std::cout << "Derived::func()" << std::endl;
    }
    Derived* clone() override {
        std::cout << "Derived::clone()" << std::endl;
        return new Derived(*this);
    }
};

int main() {
    // 通过第二个基类指针调用虚函数
    Base2* pb2 = new Derived();
    pb2->func();  // 调用 Derived::func()
    delete pb2;

    // 通过派生类指针调用第二个基类的虚函数
    Derived* pd = new Derived();
    Base2* pb2_from_pd = pd;
    pb2_from_pd->func();  // 调用 Derived::func()
    delete pd;

    // 协变返回类型
    Base2* pb1 = new Derived();
    Base2* pb2_clone = pb1->clone();  // 调用 Derived::clone()
    delete pb1;
    delete pb2_clone;

    return 0;
}

1.3 解释

通过第二个基类指针调用虚函数：
编译器生成代码以调整 this 指针，确保正确调用 Derived::func()。
通过派生类指针调用第二个基类的虚函数：
即使通过 Base2* 调用，由于动态绑定，仍然调用 Derived::func()。
协变返回类型：
C++允许虚函数在派生类中返回更具体的类型。这里 Derived::clone() 返回 Derived*，而不是 Base2*。

2. 虚继承下的虚函数机制

虚继承用于解决多重继承中的菱形继承问题，确保共享基类只被实例化一次。这对虚函数的实现有重要影响。

2.1 虚继承的基本概念

目的：避免菱形继承中的二义性和数据冗余。
实现：使用虚基类指针（vbptr）和虚基类表（vbtable）。

2.2 虚函数的调用机制

在虚继承中，虚函数的调用涉及更复杂的 this 指针调整：

虚基类表（VBTable）：用于定位虚基类子对象。
虚函数表（VTable）：存储虚函数指针。
this 指针调整：可能需要多次调整才能找到正确的虚函数实现。

2.3 示例代码

#include <iostream>

class Base {
public:
    virtual void func() {
        std::cout << "Base::func()" << std::endl;
    }
    virtual ~Base() = default;
};

class Derived1 : virtual public Base {
public:
    void func() override {
        std::cout << "Derived1::func()" << std::endl;
    }
};

class Derived2 : virtual public Base {
public:
    void func() override {
        std::cout << "Derived2::func()" << std::endl;
    }
};

class Final : public Derived1, public Derived2 {
public:
    void func() override {
        std::cout << "Final::func()" << std::endl;
    }
};

int main() {
    Final f;
    Base* b = &f;
    b->func();  // 调用 Final::func()

    Derived1* d1 = &f;
    d1->func();  // 调用 Final::func()

    Derived2* d2 = &f;
    d2->func();  // 调用 Final::func()

    return 0;
}