C++继承通过public、protected、private三种方式实现代码复用与层次关系,内存布局采用包含基类子对象的方式,支持向上转型;虚函数通过vtable和vptr实现动态绑定,构造顺序为基类到派生类,析构则相反,多态基类需声明虚析构函数以确保正确释放资源。

在C++中,继承是面向对象编程的核心特性之一,它允许一个类(派生类)获取另一个类(基类)的成员变量和成员函数。通过继承,可以实现代码复用、扩展已有功能,并建立类之间的层次关系。理解C++中继承的实现机制,有助于写出更高效、更安全的代码。
继承的基本语法与类型
C++支持三种继承方式:public、protected 和 private。它们决定了基类成员在派生类中的访问权限。
- public继承:基类的public成员在派生类中仍为public,protected成员保持protected。这是最常用的继承方式,表示“是一个”(is-a)关系。
- protected继承:基类的public和protected成员在派生类中都变为protected。
- private继承:基类的所有成员在派生类中都变为private,常用于实现“基于”的复用(has-a),而非is-a关系。
示例:
class Base { public: void func(); };class Derived : public Base { }; // func() 在Derived中仍为public
立即学习“C++免费学习笔记(深入)”;
内存布局与对象模型
C++编译器通常采用“包含”方式实现继承:派生类对象内部包含基类子对象。这意味着派生类的内存布局中,基类的成员变量会排在前面,然后才是派生类新增的成员。
例如:
class Base { int a; };class Derived : public Base { int b; };
一个Derived对象在内存中先存放a,再存放b。这种布局保证了指向派生类对象的指针可以隐式转换为基类指针(向上转型),因为基类子对象的地址就是派生类对象内存的起始部分。
虚函数与虚表(vtable)机制
当使用多态时,即通过基类指针调用虚函数,C++通过虚函数表(vtable)和虚指针(vptr)来实现动态绑定。
- 每个含有虚函数的类都有一个虚表,存储着该类所有虚函数的地址。
- 每个对象包含一个隐藏的虚指针(vptr),指向其所属类的虚表。
- 派生类会继承基类的虚表,并在重写虚函数时更新对应项。
这样,即使通过基类指针调用函数,也能正确调用到派生类的实现。
示例:
Base* ptr = new Derived();ptr->virtual_func(); // 调用Derived::virtual_func()
构造与析构顺序
继承体系中的构造和析构遵循特定顺序:
- 构造时:先调用基类构造函数,再执行派生类构造函数。
- 析构时:先执行派生类析构函数,再调用基类析构函数。
这个顺序确保了对象的完整性和资源的正确管理。如果基类析构函数不是虚函数,通过基类指针删除派生类对象将导致未定义行为,因此多态基类应始终声明虚析构函数。
基本上就这些。C++的继承机制在语言层面简洁,但底层依赖编译器对内存布局和虚机制的支持。掌握这些原理,能帮助我们更好理解和调试复杂类层次结构。











