C++ 继承机制详解：从基础到多态

二、基类与派生类的转换

2.1 赋值兼容规则

派生类对象可以赋值给基类的指针或引用，这被称为'切片'或'切割'。这个过程不会产生临时变量，因为派生类对象包含了基类的所有部分。

class Person {
protected:
    string _name;
};
class Student : public Person {
public:
    int _No;
};

int main() {
    Student sobj;
    Person* pp = &sobj; // 合法，派生类指针转基类指针
    Person& rp = sobj;   // 合法，派生类对象转基类引用
    return 0;
}

反之，基类对象不能直接赋值给派生类对象，除非进行强制类型转换。如果基类是多态类型，建议使用 dynamic_cast 进行安全的运行时类型检查。

三、继承中的作用域与隐藏

在继承体系中，基类和派生类拥有独立的作用域。如果派生类定义了与基类同名的成员，派生类的成员会屏蔽基类的同名成员，这种现象称为隐藏。

3.1 访问隐藏成员

若需访问被隐藏的基类成员，可以使用作用域解析运算符 :: 指定基类。

class Person {
protected:
    string _name = "wdefg";
};
class Student : public Person {
public:
    void Print() {
        cout << _name << endl;          // 访问派生类成员（若有）
        cout << Person::_name << endl;  // 显式访问基类成员
    }
protected:
    string _name = "student";
};

对于成员函数，只要函数名相同即构成隐藏，这与重载不同（重载要求同一作用域且参数不同）。因此，在继承体系中尽量避免定义同名成员。

四、派生类的默认成员函数

编译器会自动为派生类生成默认构造函数、拷贝构造函数、赋值运算符和析构函数。它们的执行顺序遵循特定规则：

1. 构造顺序：先调用基类构造函数，再调用派生类构造函数。
2. 析构顺序：先调用派生类析构函数，再调用基类析构函数。
3. 初始化：派生类构造函数必须在初始化列表中显式调用基类构造函数（如果基类没有默认构造函数）。
4. 赋值重载：派生类的赋值运算符会隐藏基类的，需显式调用 Base::operator=。

class Person {
public:
    Person(const char* name) : _name(name) {}
    ~Person() {}
protected:
    string _name;
};

class Student : public Person {
public:
    // 手动调用基类构造函数
    Student(const char* name, int num) : Person(name), _num(num) {}
    
    // 赋值运算符需调用基类版本
    Student& operator=(const Student& s) {
        if (this != &s) {
            Person::operator=(s); // 显式调用基类赋值
            _num = s._num;
        }
        return *this;
    }
protected:
    int _num;
};

五、防止继承的方法

C++11 引入了 final 关键字，用于禁止类被进一步继承。

class Base final {
public:
    void func() {}
};
// class Derived : public Base {}; // 编译错误

旧版本中也可以通过将构造函数设为私有来实现，但这会影响对象的创建方式，不如 final 直观。

六、友元与静态成员

6.1 友元关系不继承

友元关系具有特殊性，不能继承。基类的友元函数无法自动访问派生类的私有或保护成员。如果需要在派生类中使用友元，必须在派生类中重新声明。

6.2 静态成员共享

静态成员变量在整个继承体系中只有一份实例。无论派生出多少个子类，所有类共享同一个静态成员，不会生成副本。

七、多继承与菱形继承

7.1 多继承模型

一个派生类可以有多个直接基类。在多继承中，内存布局通常是先放置第一个基类成员，接着是第二个，最后是派生类自己的成员。

7.2 菱形继承问题

当出现菱形继承（如 A 继承 B 和 C，B 和 C 都继承 D）时，会导致数据冗余和二义性问题。例如，Assistant 对象中会包含两份 Person 成员。

7.3 虚继承解决方案

使用 virtual 关键字进行虚拟继承，可以确保基类在派生类中只保留一份实例，从而解决冗余和二义性。

class Person { public: string _name; };
class Student : virtual public Person { protected: int _num; };
class Teacher : virtual public Person { protected: int _id; };
class Assistant : public Student, public Teacher { protected: string _course; };

注意：虚拟继承会增加底层实现的复杂性，可能影响性能，应谨慎使用。

八、继承与组合

设计类关系时，需区分 is-a（继承）和 has-a（组合）。

• 继承：表示派生类是基类的一种，耦合度高，破坏封装性。
• 组合：表示对象包含另一个对象，耦合度低，维护性好。

原则：优先使用组合而非继承。只有当类之间确实是 is-a 关系，或者需要实现多态时，才考虑继承。例如，轮胎与车是组合关系，而宝马与车是继承关系。

class Tire { /* ... */ };
class Car {
    Tire _t1, _t2, _t3, _t4; // 组合
};
class BMW : public Car { /* ... */ }; // 继承

掌握继承机制的关键在于理解其背后的内存模型和访问控制规则，合理使用能显著提升代码质量。