《你真的了解C++吗》No.029：抽象类的构造与析构——不存在的实体，存在的基石
导言：一个逻辑悖论？
在 No.022 中我们聊过，抽象类（包含纯虚函数的类）是无法实例化的。如果你写AbstractShape s;，编译器会直接把你挡在门外。
既然这种类永远不会在内存中独立存在，很多人就会产生疑问：它还需要构造函数和析构函数吗？答案是：不仅需要，而且它们在对象“拼图”的完成中起着不可替代的作用。
一、 物理本质：派生类是个“夹心饼干”
要理解为什么抽象类需要构造函数，必须看清派生类对象的内存物理排布。
当你创建一个Circle对象（继承自抽象类Shape）时，在内存中：
- 底层：是
Shape的成员变量和虚指针。 - 上层：是
Circle特有的成员变量。
构造规则：
C++ 规定，任何对象的初始化必须遵循**“先祖后辈”**的顺序。当Circle构造时，它必须首先调用Shape的构造函数来初始化基类那部分的成员。即使Shape是抽象的，它依然拥有需要被初始化的数据（比如color或vptr）。
二、 抽象类构造函数的“幕后黑手”
抽象类的构造函数通常被声明为protected。这样做有两个原因：
- 限制访问：既然外界不能实例化它，暴露
public构造函数没有意义。 - 强制协作：它明确告诉开发者，这个构造函数是专门给子类在初始化列表（Member Initialization List）里调用的。
classShape{// 抽象类protected:intid;Shape(inti):id(i){}// 依然可以有逻辑public:virtualvoiddraw()=0;};classCircle:publicShape{public:Circle(inti):Shape(i){}// 子类必须显式调用基类构造};三、 析构函数：抽象类最容易犯错的地方
这是本章最核心的警示：抽象类的析构函数绝不能省略，且必须是虚的（virtual）。
即使一个类是抽象的，当通过基类指针删除子类对象时，如果析构函数不是虚的，就会发生内存泄漏：
Shape*p=newCircle();deletep;// 如果 ~Shape() 不是虚的，Circle 的析构函数永远不会被调用纯虚析构函数的特殊性：
你甚至可以把析构函数声明为纯虚的，来强迫这个类变成抽象类：virtual ~Shape() = 0;
但请记住，你必须为这个纯虚析构函数提供函数体（Shape::~Shape() {}），因为子类析构时，最终一定会向上调用基类的析构函数。如果没有定义，链接器会报错。
四、 编译器生成的“隐形代码”
即使你没在抽象类里写构造函数，编译器也会为你生成一个默认的。
这个隐形函数最重要的任务不是初始化变量，而是初始化虚指针（vptr）。
- 在
Shape的构造过程中，vptr会被暂时指向Shape的虚表。 - 随后在
Circle的构造过程中，vptr才会被重写为指向Circle的虚表。
这个“vptr 演变”的过程，决定了我们在下一章（No.030）要讨论的那个致命陷阱。
总结：抽象类不“空”
- 构造函数：是为了确保派生类中属于基类的那部分内存被正确初始化。
- 析构函数：是为了确保通过多态删除对象时，清理链条不会断裂。
- 抽象类是一个半成品，构造函数则是组装这个半成品不可或缺的工序。
