C++虚函数依赖、虚函数表、静态绑定与动态绑定、虚函数与动静态绑定、虚析构函数、多态、抽象类

虚函数依赖

1、  实例化对象的时候，需要虚函数能产生地址，存储在vftable中。

2、  对象必须存在。

所以构造函数不能作为虚函数，因为构造函数调用之后才能产生对象。

同时请注意，在构造函数中调用的任何函数都是静态绑定，即使调用虚函数，也不会发生动态绑定。

同时static方法因为不需要依赖一个实例，也不能加virtural。

虚函数表

如果类里面定义了虚函数，那么编译阶段，编译器给这个类型产生一个唯一的vftable虚函数表，虚函数表中主要存储的内容就是RTTI（run time type information，运行时的类型信息，也叫类型字符串，用于说明虚函数表是哪个类产生的）指针信息和虚函数地址。当程序运行时，每一张虚函数表都会加载到内存的.rodata区。

一个类里面定义了虚函数，那么这个类定义的对象，其运行时，内存中开始部分，多存储一个vfptr虚函数指针。指向相应类型的虚函数表。一个类型定义个n个对象指向的都是同一张虚函数表。

一个类里面虚函数的个数，不影响对象内存的大小，影响的是虚函数表的大小。

如果派生类中的方法和从基类继承来的某个方法，返回值、函数参数列表、函数名都先相同，而且继承的方法是virtual虚函数，那么派生类的这个方法，自动处理成虚函数。覆盖住虚函数表的原定义。

静态绑定与动态绑定

静态绑定：编译器根据函数调用的静态类型来决定调用哪个函数实现。静态类型是指在编译时已知的对象类型或指针类型。

#include <iostream>

class Base {
public:
    void show() {
        std::cout << "Base show()" << std::endl;
    }
};

class Derived : public Base {
public:
    void show() {
        std::cout << "Derived show()" << std::endl;
    }
};

int main() {
    Base base;
    Derived derived;
    
    Base* ptr = &derived;  // 使用基类指针指向派生类对象
    
    ptr->show();  // 静态绑定，调用的是基类的show()函数
    
    return 0;
}

动态绑定：动态绑定是指在运行时确定调用哪个函数，而不是在编译时确定。它允许通过基类指针或引用调用派生类中重写的虚函数。

在下面的代码中，Base 类中的 show 函数被声明为虚函数，并在派生类 Derived 中进行了重写。在 main 函数中，通过将派生类对象的地址赋值给基类指针 ptr，实现了多态性。当我们通过 ptr->show() 调用 show 函数时，编译器不是根据指针的类型（Base 类型）来决定调用哪个函数，而是根据指针实际指向的对象类型（Derived 类型，RTTI里说明的类型）来确定调用哪个函数。

#include <iostream>

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

class Derived : public Base {
public:
    void show() override {
        std::cout << "Derived show()" << std::endl;
    }
};

int main() {
    Base base;
    Derived derived;
    
    Base* ptr = &derived;  // 使用基类指针指向派生类对象
    
    ptr->show();  // 动态绑定，根据指针所指向的实际对象类型调用对应的show()函数
    
    return 0;
} 

虚函数与动静态绑定

不是调用虚函数就一定是动态绑定。

静态绑定：用对象本身调用虚函数是静态绑定。

动态绑定：1、必须指针或引用调用，2、调用的是虚函数。指针（可以是基类指针，也可以是派生类指针）或对象有可能指向自身类的对象，也有可能指向派生类对象，最终都是程序运行的时候才会确定调用哪个虚函数表里的虚函数，这就是动态绑定。

虚析构函数

基类的指针或引用指向堆上new出来的派生类对象的时候，delete行为调用析构函数必须发生动态绑定，否则会导致派生类的析构函数无法使用。

在继承关系中，如果基类的析构函数不是虚函数，当通过一个基类指针删除指向派生类对象的对象时，只会调用基类的析构函数，而不会调用派生类的析构函数。这可能导致派生类对象中的资源没有正确释放，造成资源泄漏。

通过将基类的析构函数声明为虚析构函数，可以解决这个问题，因为通过这方法派生类下析构函数。当通过基类指针删除指向派生类对象的对象时，将会调用派生类的析构函数，确保派生类对象中的资源得到正确释放。

我们通过基类指针 ptr 指向派生类对象，并使用 delete 运算符删除对象。由于基类的析构函数是虚析构函数，因此会按照派生类到基类的顺序调用析构函数。

多态

C++中的多态是值同名函数有多种不同的实现方式。

多态分为静态多态和动态多态。

静态多态：编译时期的多态，函数重载，类模板，在编译阶段就确定好的函数版本。

动态多态：在继承结构中，基类指针或引用指向派生类对象，通过该指针调用同名覆盖方法。基类指针指向哪个派生类对象，就会调用哪个派生类对象的同名覆盖方法。

抽象类

拥有纯虚函数的类，叫做抽象类。

定义抽象类的初衷，并不是让它抽象某个实体的类型，而是为了让它的派生类们通过继承可以直接复用相同的属性和方法，保留统一的接口。

抽象类不能实例化对象，但是可以定义指针和引用变量。