当前位置：首页 > 编程日记 > 正文

【C++】浅析析构函数（基类中）为什么要写成虚基类？

编程日记 2024-10-11 09:30:00

为什么有了虚析构函数，就能先调用子类的析构函数？

class A {virtual ~A(){}
};class B : A {virtual ~B(){}
};A *p = new B();
delete p;

唯一差别是，每个析构函数结束时会自动（隐含地）调上父类的析构函数，而普通虚函数并不会

本质上当类里面有定义虚函数时，编译器会给类增加一个虚函数表，里面来存放虚函数指针，这样就增加了类的存储空间

会发现，当基类的析构函数不为虚函数时，当基类对象操控派生类对象以及对象成员时，当程序结束时会发现，派生类的析构没有调用，存在潜在的内存泄漏问题。（一句话，保证delete即指针时，正确运行析构函数）

1.首先说一下，析构顺序

派生类–> 成员类 --> 基类

2.为什么需要把基类设置为虚析构

因为多态
在c++中，可以使用父类指针指向子类，产生多态行为
代码

#include <iostream>
class TestFather{
public:~TestFather() {std::cout << "~TestFather()" << std::endl;}
};
class TestChild : public TestFather {
public:~TestChild() {std::cout << "~TestChild()" << std::endl;}
};int main() {TestFather* p = new TestChild();delete p;
}//
执行结果  
~TestFather()

原因就是，你直接给编译器一个TestFather指针，delete的时候，编译器一看这不就是TestFather，直接调用TestFather析构函数
换成虚析构呢
代码

#include <iostream>
class TestFather{
public:virtual ~TestFather() {std::cout << "~TestFather()" << std::endl;}
};
class TestChild : public TestFather {
public:~TestChild() {std::cout << "~TestChild()" << std::endl;}
};int main() {TestFather* p = new TestChild();delete p;
}///
执行结果
~TestChild()
~TestFather()

正确了，在delete的时候，编译器会先看TestFather的析构函数是不是虚函数，如果是的话才会产生正常的析构顺序行为，派生类–>成员类–>基类

3. 虚析构函数的本质

虚析构其实也就是虚函数加上析构函数，本质就是会维护一个虚表和指向虚表的指针，在上面代码中TestFather这里面的虚表就只有~TestFather()这一个函数，使用虚函数代表会增加一个指针的内存开销

4. 默认的析构函数

当我们不定义虚构函数的时候，编译器会默认生成一个什么都不做的析构函数，但是注意了默认生成的析构函数就是普通函数不是虚函数！！！因为虚函数会带来额外开销，c++追求的是速度

5. 纯虚构析构函数

就是纯虚函数加上析构函数，一般我们把函数设置纯虚函数都是不想这个类实例化，抽象出来的顶层父类，并且这个纯虚函数不能实现。但是在纯虚析构这里不同
代码

#include <iostream>
class TestFather{
public:virtual ~TestFather() = 0;
};
TestFather::~TestFather() {std::cout << "~TestFather()" << std::endl;
}class TestChild : public TestFather {
public:~TestChild() {std::cout << "~TestChild()" << std::endl;}
};int main() {TestFather* p = new TestChild();delete p;
}//结果和上面的相同

6. 总结:

明确你的类会不会被继承，当作基类使用，把类的析构函数都设置为虚函数和不设置为虚函数都是不好的
1.如果你的类会被继承，当作基类，那么一定要把基类析构函数设置为虚函数
2.如果你的类不会被继承，单纯的类，那么不需要把析构函数设置为析构函数，因为会浪费空间，多一个虚表指针

https://www.dkcj.cn/info/22554.html