一. 友元:“朋友的朋友不是我的朋友”——友元关系不可继承
在C++中,基类的友元函数/类无法直接访问派生类的私有成员。这就像"你父亲的朋友,不等于你的朋友",友元关系不具有继承性。如果需要让友元访问派生类成员,必须在派生类中重新声明一下友元。
具体示例:
// 前置声明:告诉编译器Student类存在 class Student; class Person { //友元函数不能被子类继承 friend void Display(const Person& p, const Student& s); public: protected: string _name="张三";//姓名 }; class Student :public Person { //在子类里面也声明一下 friend void Display(const Person& p, const Student& s); protected: int _stuNum=1301984;//学号 }; void Display(const Person& p, const Student& s) { cout << p._name << endl;//访问基类成员 cout << s._stuNum << endl;//访问派生类成员 } int main() { Person p; Student s; // 编译报错:error C2248: “Student::_stuNum”: 无法访问 protected 成员 // 解决方案:Display也变成Student 的友元即可 Display(p, s); return 0; }核心结论:
- 基类友元仅能访问基类的 private/protected 成员;
- 若需访问派生类成员,必须在派生类中重新声明友元;
- 友元关系是"一对一的",不能继承自动传递。
二. 静态成员:“全家共用一份”——继承体系中静态成员的共享性
基类的静态成员(静态变量/静态函数)在整个继承体系中仅存在一份,派生类和基类共享该成员,不会因为继承而产生多个。这与非静态成员不同 —— 非静态成员每个对象一份。
class Person { public: string _name; static int _count; }; int Person::_count = 0; class Student :public Person { protected: int _stuNum; }; int main() { Person p; Student s; // 这里的运行结果可以看到非静态成员_name的地址是不一样的 // 说明派生类继承下来了,基类派生类对象各有一份 cout << &p._name << endl; cout << &s._name << endl; cout << endl; // 这里的运行结果可以看到静态成员_count的地址是一样的 // 说明派生类和基类共用同一份静态成员 cout << &p._count << endl; cout << &s._count << endl; cout << endl; // 公有的情况下,基类派生类指定类域都可以访问静态成员 cout << Person::_count << endl; cout << Student::_count << endl; cout << endl; return 0; }核心结论(前两个前面讲过):
- 静态成员变量必须在类外初始化,否则会触发链接错误;
- 静态成员函数只能访问静态成员变量,无法访问非静态成员;
- 继承体系中所有类(基类,派生类)共享同一份静态成员,修改一处会影响全局。
三. 多继承及菱形继承问题:本质特点与解决方案
3.1 单继承与多继承模型
单继承:一个派生类只有⼀个直接基类时称这个继承关系为单继承
多继承:一个派生类有两个或以上直接基类时称这个继承关系为多继承,多继承对象在内存中的模型是,先继承的基类在前面,后继承的基类在后面,派生类成员在放到最后面。
3.2 菱形继承:虚继承解决“数据冗余”与“二义性”
菱形继承是指“一个派生类同时继承两个基类,而这两个基类又共同继承自一个顶层基类”的结构(并非一定是个菱形结构的图)。这种结构会导致两个核心问题:
- 数据冗余:顶层基类的成员被继承两次
- 二义性:访问成员时无法确定到底属于那个基类
3.2.1 菱形继承的坑(未完全解决时)
// 顶层基类 class Person { public: string _name; // 会被继承两次 }; // 中间基类1 class Student : public Person {}; // 中间基类2 class Teacher : public Person {}; // 最终派生类(菱形继承) class Assistant : public Student, public Teacher {}; int main() { Assistant a; // a._name = "张三"; // 编译报错:二义性(到底是Student::_name还是Teacher::_name呢?) // 只能显式指定,但数据冗余仍存在,没有解决 a.Student::_name = "李四"; a.Teacher::_name = "王五"; cout << a.Student::_name << endl; // 输出李四 cout << a.Teacher::_name << endl; // 输出王五 return 0; }3.2.2 虚继承:彻底解决菱形继承问题
//顶层基类 class Person { public: Person(const char* name) :_name(name) {} public: string _name; // 姓名 /*int _age; int _tel; string _address;*/ }; // 中间基类1:虚继承Person(添加virtual) //virtual,谁导致的就在继承谁时加 class Student : virtual public Person { public: Student(const char* name, int num) :Person(name)// 虚继承下,中间基类暂时不初始化顶层基类 , _num(num) {} protected: int _num; //学号 }; // 中间基2:虚继承Person(添加virtual) //virtual,谁导致的就在继承谁时加 class Teacher : virtual public Person { public: Teacher(const char* name, int id) :Person(name)// 虚继承下,中间基类暂时不初始化顶层基类 , _id(id) {} protected: int _id; // 职工编号 }; // 最终派生类:菱形继承(Person成员仅一份) class Assistant : public Student, public Teacher { public: // 关键:虚继承下,顶层基类的构造由最终派生类显式调用 Assistant(const char* name1, const char* name2, const char* name3) :Person(name1)// 直接初始化顶层基类 ,Student(name2, 1) ,Teacher(name3, 2) , _majorCourse("计算机") {} protected: string _majorCourse; // 主修课程 }; int main() { // 思考一下这里a对象中_name是"张三", "李四", "王五"中的哪一个? Assistant a("张三", "李四", "王五"); //上面有三次Person(name),但其实就只有在Assistant里一次,其它两次会跳过。 //所以是张三 return 0; }虚继承的关键细节:
virtual仅需添加在中间基类继承顶层基类时,最终派生类继承中间基类时不需要添加。- 虚继承下,顶层基类的构造函数由最终派生类负责调用,中间基类的构造函数不再初始化顶层基类(但还是需要写出来的)。
- 虚继承时会增加底层复杂度(虚基表),因此尽量避免设计菱形继承结构,除非业务逻辑必须如此。
友元,静态成员,菱形继承总结表:
| 场景 | 核心特性 | 避坑避坑指南 |
| 友元 | 友元关系不随继承传递,若需访问派生类私有成员,必须在派生类中重新声明友元 | 控制友元使用范围,避免因过度开放访问破坏类的封装性 |
| 静态成员 | 全继承体系共享唯一实例,需在类外初始化;静态函数仅能访问静态成员变量 | 关注静态成员的“全局共享”特性,多线程场景需加锁保护,避免并发冲突 |
| 菱形继承 | 因间接继承共同基类导致数据冗余和访问二义性,需通过虚继承解决;虚继承下顶层基类由最终派生类初始化 | 设计阶段优先规避菱形结构,确需使用时再通过虚继承处理,避免过度依赖增加代码复杂度 |
3.2.3 多继承中指针偏移问题?
下面说法正确的是(C)
A:p1 == p2 == p3 B:p1 < p2 < p3 C:p1 == p3 != p2 D:p1 != p2 != p3
class Base1 { public: int _b1; }; class Base2 { public: int _b2; }; class Derive : public Base1, public Base2 { public: int _d; }; int main() { Derive d; Base1* p1 = &d; Base2* p2 = &d; Derive* p3 = &d; return 0; }3.3 IO库中的菱形虚拟继承
template<class CharT, class Traits = std::char_traits<CharT>> class basic_ostream : virtual public std::basic_ios<CharT, Traits> {}; template<class CharT, class Traits = std::char_traits<CharT>> class basic_istream : virtual public std::basic_ios<CharT, Traits> {};四. 继承与组合:C++ 代码复用的核心方式对比
- 继承(
is-a 关系):体现 “子类是父类的一种” 的逻辑,例如 “Student 是 Person 的一种”“BMW 是 Car 的一种”。派生类直接继承基类的成员(属性 / 方法),可扩展自身独有功能,属于 “白箱复用”—— 子类能访问基类非私有成员,了解其内部实现细节。 - 组合(
has-a 关系):体现 “一个类包含另一个类的对象” 的逻辑,例如 “Car 包含 Tire”“Computer 包含 CPU”。组合类通过调用被包含对象的公开接口实现复用,被包含类的内部细节对组合类隐藏,属于 “黑箱复用”。// Tire(轮胎)和Car(⻋)更符合has-a的关系 class Tire { protected: string _brand = "Michelin"; // 品牌 size_t _size = 17; // 尺⼨ }; class Car { protected: string _colour = "白色"; // 颜色 string _num = "陕ABIT00"; // ⻋牌号 Tire _t1; // 轮胎 Tire _t2; // 轮胎 Tire _t3; // 轮胎 Tire _t4; // 轮胎 }; // Car和BMW/Benz更符合is-a的关系 class BMW : public Car { public: void Drive() { cout << "好开-操控" << endl; } }; class Benz : public Car { public: void Drive() { cout << "好坐-舒适" << endl; } }; // stack和vector的关系,既符合is-a,也符合has-a template<class T> class vector {}; // 继承:is-a,白盒,耦合度高 template<class T> class stack :public vector<T> {}; //组合 has-a,黑盒,耦合度低 template<class T> class stack { vector<T> _v; }; 选择原则:
- 优先使用组合:组合的低耦合特性更符合
“高内聚、低耦合”的设计原则,代码可维护性更强,尤其在复杂系统中,能减少类间依赖带来的修改风险。 - 必要时使用继承:当类间明确存在 “is-a” 关系,或需要通过继承实现多态(如基类指针指向派生类对象)时,选择继承;避免为了复用少量代码而强行使用继承,导致耦合度升高。
维度 继承(is-a) 组合(has-a) 封装性 较差:派生类可直接访问基类的protected成员,暴露基类内部细节,破坏封装边界 较好:被组合类的私有成员完全隐藏,组合类仅通过接口调用,符合封装原则 灵活性 低:继承关系是编译期确定的静态关系,运行时无法动态变更父类或替换继承逻辑 高:被组合对象可在运行时动态替换(如依赖注入),能灵活适配不同场景需求 适用场景 1. 类间存在明确的“is-a”层级关系(如“苹果是水果”“轿车是汽车”)
2. 需要利用继承实现多态(基类指针/引用指向派生类对象)1. 类间是“包含”关系(如“汽车包含轮胎”“电脑包含CPU”)
2. 追求低耦合设计,需降低类间依赖以提升可维护性
3. 需要动态替换功能模块(如不同品牌的轮胎可替换)耦合度 高:基类的接口或实现修改会直接传导至派生类,影响范围广 低:被组合类仅通过公开接口与组合类交互,其内部实现修改不影响组合类