C++ 继承完全指南

1. 概述继承Inheritance是面向对象编程的三大特性之一封装、继承、多态。在 C 中继承允许我们创建一个新类派生类 derived class基于另一个已有的类基类 base class从而重用、扩展或修改基类的行为。继承的主要作用代码复用派生类自动拥有基类的成员数据和方法。建立层次结构表达“is-a”关系如Derived是Base的一种。支持多态通过虚函数实现运行时多态。2. 继承的基本语法cppclass Base { // ... }; class Derived : access-specifier Base { // ... };其中access-specifier可以是public、protected或private决定了基类成员在派生类中的访问级别。3. 继承方式与成员访问控制继承方式直接影响基类public、protected、private成员在派生类中的可见性。基类成员public 继承protected 继承private 继承publicpublicprotectedprivateprotectedprotectedprotectedprivateprivate不可访问不可访问不可访问三种继承方式的特点3.1 public 继承最常用基类的 public 成员在派生类中仍为 public。基类的 protected 成员在派生类中仍为 protected。体现is-a关系派生类是基类的一种。3.2 protected 继承所有基类的 public 和 protected 成员在派生类中都变为 protected。通常用于实现层面的继承而不是接口继承。3.3 private 继承所有基类成员在派生类中都变为 private。体现is-implemented-in-terms-of根据基类实现的关系更接近于组合。在决定使用 private 继承时应优先考虑组合composition。4. 派生类的构造与析构4.1 构造顺序先调用基类的构造函数按继承顺序从左到右。再按照类中成员声明的顺序初始化成员对象包括成员变量和子对象。最后执行派生类的构造函数体。4.2 析构顺序与构造完全相反先执行派生类的析构函数体然后析构成员对象最后调用基类的析构函数。4.3 显式调用基类构造函数cppclass Base { public: Base(int x) : data(x) {} private: int data; }; class Derived : public Base { public: Derived(int x, int y) : Base(x), derivedData(y) {} private: int derivedData; };注意如果基类没有默认构造函数派生类的每个构造函数必须在初始化列表中显式调用基类的某构造函数。5. 成员覆盖与隐藏5.1 函数覆盖override派生类可以重新定义基类中已有的非虚成员函数这叫隐藏hiding对于虚函数重新定义称为覆盖override是实现多态的基础。cppclass Base { public: virtual void func() { cout Base::func()\n; } void other() { cout Base::other()\n; } }; class Derived : public Base { public: virtual void func() override { cout Derived::func()\n; } // 覆盖 void other() { cout Derived::other()\n; } // 隐藏 };5.2override关键字C11显式标记派生类的虚函数要覆盖基类的虚函数。如果基类没有对应的虚函数编译会报错避免意外创建新函数。5.3final关键字C11final用在类禁止其他类继承该类。final用在虚函数禁止派生类再覆盖该虚函数。cppclass Base final { }; // 不可以被继承 class Base2 { virtual void func() final; // 派生类不可覆盖 func };6. 多继承Multiple InheritanceC 支持一个派生类同时继承多个基类。cppclass A { }; class B { }; class C : public A, public B { };6.1 二义性问题如果多个基类含有同名成员派生类访问时必须使用作用域运算符明确指定来自哪个基类。cppclass A { public: void f(); }; class B { public: void f(); }; class C : public A, public B { void call() { A::f(); // 明确调用 A 的 f B::f(); } };6.2 菱形继承问题textBase / \ A B \ / Derived如果 A 和 B 都继承自 BaseDerived 多重继承 A 和 B会导致两份 Base 的副本访问 Base 成员时产生二义性并且构造和析构次序也变得复杂。解决方案虚继承virtual inheritance。7. 虚继承虚继承确保在菱形继承中最顶层的基类只被保留一份共享副本。cppclass Base { }; class A : virtual public Base { }; class B : virtual public Base { }; class Derived : public A, public B { };7.1 构造顺序虚继承虚基类的构造函数优先于非虚基类。虚基类只在最终派生类的构造函数中被初始化一次。所有虚基类按照它们出现在继承列表中的顺序初始化再按普通继承顺序。7.2 虚继承的代价增加了间接访问和内存开销通常通过虚基类指针表。构造和析构规则复杂应谨慎使用。8. 继承与多态多态基类指针或引用指向派生类对象通过虚函数调用实际类型的成员。虚函数表vtable每个含有虚函数的类都有一个虚函数表通过虚指针vptr访问。纯虚函数与抽象类virtual void func() 0;表示纯虚函数。含有纯虚函数的类称为抽象类不能实例化。派生类必须实现所有纯虚函数否则也是抽象类。cppclass Shape { public: virtual void draw() 0; }; class Circle : public Shape { public: void draw() override { /* 绘制圆形 */ } };9. 继承与访问控制总结成员访问性在类内部在派生类内部public 继承在外部通过对象private✔✘✘protected✔✔✘public✔✔✔protected成员的引入正是为了支持继承允许派生类访问但禁止外部访问。在类的设计中通常将数据成员设为 private而将需要被派生类定制的方法设为 protected 或 public virtual。10. 最佳实践与建议优先使用 public 继承只有当确实需要实现层面的隔离时才考虑 private/protected 继承。析构函数应为 virtual如果通过基类指针删除派生类对象基类的析构函数必须是虚函数否则会产生未定义行为只调用基类析构函数。避免过深的继承层次多层继承增加理解难度和耦合度优先考虑组合而不是继承Composition over Inheritance。使用override和final明确虚函数覆盖意图增加代码安全性。尽量不使用多继承除非必要如果必须使用注意避免菱形继承和名字冲突。虚继承只在解决菱形继承时使用不要滥用。11. 一个完整示例cpp#include iostream using namespace std; class Animal { public: Animal(const string n) : name(n) {} virtual void speak() const { cout Animal name speaks. endl; } virtual ~Animal() default; // 虚析构 protected: string name; }; class Dog : public Animal { public: Dog(const string n) : Animal(n) {} void speak() const override { cout Dog name barks. endl; } }; class Cat : public Animal { public: Cat(const string n) : Animal(n) {} void speak() const override { cout Cat name meows. endl; } }; int main() { Animal* zoo[2]; zoo[0] new Dog(Buddy); zoo[1] new Cat(Kitty); for (auto a : zoo) a-speak(); for (auto a : zoo) delete a; return 0; }输出textDog Buddy barks. Cat Kitty meows.12. 总结C 的继承机制功能强大而灵活它支持单继承、多继承、虚继承并提供了不同的访问控制级别。正确使用继承可以提高代码的复用性和可扩展性但滥用继承会导致设计复杂、维护困难。理解继承的底层语义尤其是对象模型、构造/析构顺序、虚函数机制是成为 C 高手的重要一步。在实际工程中应牢记组合优先于继承继承用于表达稳定的“is-a”关系当关系不明确时组合往往带来更低的耦合。