[Lang] 虚函数

合集 - Cpp开发(37)

1.[Lang] 静态变量2024-08-112.[Lang] Lambda表达式2024-08-113.[Lang] 类成员修饰符2024-08-124.[Lang] 构造与析构2024-08-135.[Lang] 智能指针2024-08-136.[Lang] 运算符重载2024-08-15

7.[Lang] 虚函数2024-08-16

8.[Lang] 函数模板2024-08-189.[Lang] 类模板2024-12-0110.二分查找2024-12-0211.链表操作2024-12-0312.栈和队列2024-12-0513.二叉树遍历2024-12-0614.归并分治2024-12-0615.快速排序2024-12-0716.堆结构2024-12-0817.位运算2024-12-0918.链表操作22024-12-1319.二叉树常见题目2024-12-1420.前缀树2024-12-2021.前缀和2024-12-2022.二叉树常见题目22024-12-1523.二维差分2024-12-2224.滑动窗口2024-12-2225.双指针2024-12-2826.二分答案法2024-12-2827.单调栈2024-12-2828.单调队列01-0629.并查集01-0630.洪水填充01-0631.一维动态规划01-0732.二维动态规划01-0733.二维动态规划201-0834.三维动态规划01-1035.子数组最大累加和01-1036.子数组最大累加和201-1337.零一背包01-15

收起

[Lang] 虚函数

1. 虚函数与纯虚函数

多态分为静态多态和动态多态，静态多态指函数重载和运算符重载，而动态多态指虚函数。

动态多态的条件：

• 子类重写父类的虚函数
• 父类指针或引用指向子类对象

虚函数的底层原理：

• 对于每个包含虚函数的类，编译器都会创建一个虚函数表(vftable)，每一个虚函数表项指向对应的虚函数；该类的每个对象都有一个虚函数表指针(vfptr)，指向所属类的虚函数表。
• 如果子类没有重写虚函数，那么该虚函数表项将保留；如果子类重写了虚函数，那么该虚函数表项将更新；如果子类定义了新的虚函数，那么该虚函数表将添加一个新的虚函数表项。
• 当通过父类指针或引用调用虚函数时，程序会首先找到父类指针或引用指向的子类对象，然后通过子类对象中的(vfptr)找到对应的虚函数表(vftable)，然后通过查找虚函数表中的相应项找到虚函数的地址，最后进行函数调用。

包含纯虚函数的类为抽象类，无法实例化对象；子类必须重写抽象类的纯虚函数，否则依然属于抽象类。

#include<iostream>
using namespace std;

class Animal
{
public:
    virtual void speak() = 0;
};

class Dog : public Animal
{
public:
    virtual void speak()
    {
        cout << "I am a dog." << endl;
    }
};

int main()
{
    Animal *a = new Dog;
    a->speak();
    delete a;
    a = nullptr;
    return 0;
}

PS D:\CppDev\Lang\virtual_function> cd "d:\CppDev\Lang\virtual_function\" ; if ($?) { g++ test1.cpp -o test1 } ; if ($?) { .\test1 }
I am a dog.

2. 虚析构和纯虚析构

当父类指针或引用指向堆区子类对象且子类存在堆区成员变量时，必须使用虚析构或纯虚析构，避免悬空指针问题。

纯虚析构必须在类外实现。

#include<iostream>
using namespace std;

class Animal
{
public:
    Animal()
    {
        cout << "Animal构造函数调用" << endl;
    }
    virtual ~Animal() = 0;
};

Animal::~Animal()
{
    cout << "Animal析构函数调用" << endl;
}

class Dog : public Animal
{
public:
    string *name;
    Dog(string name)
    {
        this->name = new string(name);
        cout << "Dog构造函数调用" << endl;
    }
    virtual ~Dog()
    {
        if (name != nullptr) delete name;
        cout << "Dog析构函数调用" << endl;
    }
};

int main()
{
    Animal *a = new Dog("Wangcai");
    delete a;
    a = nullptr;
    return 0;
}

PS D:\CppDev\Lang\virtual_function> cd "d:\CppDev\Lang\virtual_function\" ; if ($?) { g++ test2.cpp -o test2 } ; if ($?) { .\test2 }
Animal构造函数调用
Dog构造函数调用
Dog析构函数调用
Animal析构函数调用