任何类类型(无论是以 类关键词 class
还是 struct
声明者)均可被声明为派生于一或多个基类,各基类也可以派生自其自身的基类,组成继承层级结构。
基类的列表在类声明语法的 基类子句 中提供。基类子句 由字符 :
后随一或多个 基类说明符 的逗号分隔列表组成。
attr(可选) 访问说明符(可选) 虚说明符(可选) 类或decltype | ||
attr(C++11) | - | 可选的任何数量属性的序列 |
访问说明符 | - | private 、public 或 protected 之一 |
虚说明符 | - | 关键词 virtual |
虚说明符 与 访问说明符 可以任意顺序出现
基类子句 中的 基类说明符 可以是包展开。 声明为 final 的 class 或 struct 不能出现于 基类子句 中。 | (C++11 起) |
若省略 访问说明符,则它对以类关键词 struct
声明的类默认为 public
,对以类关键词 class
声明的类为 private
。
- struct Base {
- int a, b, c;
- };
- // 每个 Derived 类型对象包含 Base 为子对象
- struct Derived : Base {
- int b;
- };
- // 每个 Derived2 类型对象包含 Derived 与 Base 为子对象
- struct Derived2 : Derived {
- int c;
- };
列于 基类子句 中的类是直接基类。它们的基类是间接基类。同一类不能被多次指定为直接基类,但同一类可以既是直接又是间接基类。
每个直接和间接基类都作为基类子对象,以实现定义的偏移量存在于派生类的对象表示中。因为空基类优化,空基类通常不会增加派生类对象的大小。基类子对象的构造函数被派生类的构造函数所调用:可在成员初始化器列表中向这些构造函数提供实参。
虚基类
对于每个指定为 virtual
的不同基类,最终派生对象中仅含有该类型的一个基类子对象,即使该类在继承层级中出现多次也是如此(只要它每次都以 virtual
继承)。
- struct B { int n; };
- class X : public virtual B {};
- class Y : virtual public B {};
- class Z : public B {};
- // 每个 AA 类型对象拥有一个 X,一个 Y,一个 Z 和两个 B:
- // 其一是 Z 的基类,另一者为 X 与 Y 所共享
- struct AA : X, Y, Z {
- void f() {
- X::n = 1; // 修改虚 B 子对象的成员
- Y::n = 2; // 修改同一虚 B 子对象的成员
- Z::n = 3; // 修改非虚 B 子对象的成员
- std::cout << X::n << Y::n << Z::n << '\n'; // 打印 223
- }
- };
继承层级有虚基类的例子之一是标准库的 iostream 的继承层级:std::istream 与 std::ostream 使用虚继承从 std::ios 派生。std::iostream 同时派生于 std::istream 和 std::ostream,故每个 std::iostream 实例含一个 std::ostream 子对象、一个 std::istream 子对象和仅一个 std::ios 子对象(因而有一个 std::ios_base)。
所有虚基类子对象都在任何非虚基类子对象之前初始化,故只有最终派生类会在其成员初始化器列表中调用虚基类的构造函数:
- struct B {
- int n;
- B(int x) : n(x) {}
- };
- struct X : virtual B { X() : B(1) {} };
- struct Y : virtual B { Y() : B(2) {} };
- struct AA : X, Y { AA() : B(3), X(), Y() {} };
- // AA 的默认构造函数调用 X 和 Y 的默认构造函数
- // 但这些构造函数不调用 B 的构造函数,因为 B 是虚基类
- AA a; // a.n == 3
- // X 的默认构造函数调用 B 的构造函数
- X x; // x.n == 1
涉及虚继承时,对类成员的无限定名字查找有特殊规则(有时被称为“优先性(dominance)规则”),见 unqualified_lookup#成员函数的定义。
公开继承
当类使用 public
成员访问说明符从基类派生时,基类的所有公开成员可作为派生类的公开成员访问,基类的所有受保护成员可作为派生类的受保护成员访问(基类的私有成员始终不可访问,除非设为友元)。
公开继承塑造了面向对象编程的子类型关系:派生类对象是(IS-A)基类对象。到派生类对象的引用和指针,可被期待到其任何公开基类的引用和指针的代码所用(见 LSP),或者以 DbC 的说法,派生类应该维护其公开基类的类不变式,不应强化其所覆盖的成员函数的任何前条件,或弱化其任何后条件。
本节未完成原因:典型的 Shape、Vehicle 及 Animal 与不变量不匹配。有个正确调整契约的简明示例也不错:在派生类中弱化前置并/或强化后置条件 |
受保护继承
当类使用 protected
成员访问说明符从基类派生时,基类的所有公开和受保护成员可作为派生类的受保护成员访问(基类的私有成员始终不可访问,除非设为友元)。
受保护继承可用于“受控制的多态”:在派生类的成员中,以及所有进一步派生的类的成员中,派生类是(IS-A)基类:到派生类的引用和指针可用于期待到基类的引用和指针处。
私有继承
当类使用 private
成员访问说明符从基类派生时,基类的所有公开和受保护成员可作为派生类的私有成员访问(基类的私有成员始终不可访问,除非设为友元)。
私有继承常用于基于策略的设计,因为策略常是空基类,而使用基类可以同时启用静多态并活用空基类优化
私有继承亦可用于实现合成关系(基类子对象是派生类对象的实现细节)。除非派生类需要访问基类的受保护成员(包含构造函数),需要覆盖基类的虚成员,需要基类在某个其他基类子对象之前构造或在其之后销毁,需要共享虚基类或需要控制虚基类的构造,否则使用成员方案可以提供更好的封装,而且通常是更受偏好的方式。使用成员来实现合成关系,亦不适用于从参数包进行多重继承的情况,或在编译时通过模板元编程确定各基类身份的情况。
与受保护继承相似,私有继承亦可用于受控制的多态:在派生类的成员内(但不在进一步派生的类中),派生类是(IS-A)基类。
- template<typename Transport>
- class service : private Transport // 从 Transport 策略私有继承
- {
- public:
- void transmit() {
- this->send(...); // 使用 Transport 提供的任何东西进行发送
- }
- };
- // TCP 传输策略
- class tcp {
- public:
- void send(...);
- };
- // UDP 传输策略
- class udp {
- public:
- void send(...);
- };
- service<tcp> service(host, port);
- service.transmit(...); // 通过 TCP 发送
成员名字查找
针对类成员进行的无限定和有限定的名字查找规则,详见于名字查找。