• 【C++】-- 继承


    目录

    继承的概念及定义

    继承的概念

    继承的定义

    定义格式

    继承基类成员访问方式的变化

    基类和派生类对象赋值转换

    子类对象可以赋值给父类对象/指针/引用

    派生类对象赋值给基类的对象

    派生类对象赋值给基类的指针

    派生类对象赋值给基类的引用

    继承中的作用域

    派生类的默认成员函数

    派生类的默认生成的构造函数

    派生类的默认生成的析构函数

    派生类的默认生成的拷贝构造函数

    派生类的默认生成的operator =

    继承与友元

    继承与静态成员

    复杂的菱形继承及菱形虚拟继承

    复杂的菱形继承问题

    菱形虚拟继承解决

    虚拟继承可以解决菱形继承的二义性和数据冗余的问题。

    虚拟继承解决数据冗余和二义性的原理

    继承的总结和反思

    继承和组合


    继承的概念及定义

    继承的概念

            继承(inheritance)机制是面向对象程序设计使代码可以复用的最重要的手段,它允许程序员在保 持原有类特性的基础上进行扩展,增加功能,这样产生新的类,称派生类。继承呈现了面向对象 程序设计的层次结构,体现了由简单到复杂的认知过程。以前我们接触的复用都是函数复用,继 承是类设计层次的复用。
            以研究生可以作为学生与老师为例:

            当研究生老师与学生时,可以用Student类、Teacher类记录信息,但是:名字、年龄……肯定都是一样的。所以,如果在Student类、Teacher类中都列一遍成员变量,这就会重复,难免是对空间的浪费。

            于是,写三个类:Postgraduate类、Student类、Teacher类。利用继承的方式在Postgraduate类中写共有的成员变量。

            继承的意义:是类设计层次的复用。

    继承的定义

    定义格式

    继承的定义格式如下:

    • Postgraduate类是父亲类,也称作基类。
    • Student类是子类、Teacher类是子类,也称作派生类。

    1. class Postgraduate {
    2. public:
    3. int _age = 0; //年龄
    4. };
    5. class Student : public Postgraduate {
    6. public:
    7. int _stuid = 0; //学号
    8. };
    9. class Teacher : public Postgraduate {
    10. public:
    11. int _teaid = 0; //工号
    12. };

            继承后,父类Postgraduate的成员,包括成员函数和成员变量,都会变成子类的一部分。

    继承基类成员访问方式的变化

    类成员/继承方式
    public继承protected继承private继承
    基类的public成员派生类的public成员
    派生类的protected成员
    派生类的private成员
    基类的protected成员
    派生类的protected成员
    派生类的protected成员
    派生类的private成员
    基类的private成员
    在派生类中不可见在派生类中不可见
    在派生类中不可见
    总结:
            1. 实际上面的表格我们进行一下总结会发现,基类的私有成员在子类都是不可见。基类的其他成员在子类的访问方式 == Min(成员在基类的访问限定符,继承方式), public > protected > private。
    Note:
            在实际运用中一般使用都是public继承,几乎很少使用protetced/private继承,也不提倡使用protetced/private继承,因为protetced/private继承下来的成员都只能在派生类的类里面使用,实际中扩展维护性不强。
            2. 基类private成员在派生类中是不能被访问,如果基类成员不想在类外直接被访问,但需要在派生类中能访问,就定义为protected。 protected保护成员限定符就是因继承才出现的
    1. #include
    2. using namespace std;
    3. class A {
    4. protected:
    5. int _a;
    6. };
    7. class B : public A {
    8. void test() { _a = 1; } //correct
    9. };
    10. int main() {
    11. B b1;
    12. b1._a; //error 不可见 -> 派生类外不能访问
    13. return 0;
    14. }

            3. 基类private成员在派生类中无论以什么方式继承都是不可见的。

    Note:
            不可见:B类继承了A类,B类复用A类中的成员。虽然B中的成员对A中的所有成员复用了,但是,对于基类的private成员,无论以什么方式继承到派生类对象中,都是不可见的。即,语法上限制派生类对象不管在类里面还是类外面都不能去访问它。
    1. #include
    2. using namespace std;
    3. class A {
    4. private:
    5. int _a;
    6. };
    7. class B : public A {
    8. void test() { _a = 1; } //error 不可见 -> 派生类里不能访问
    9. };
    10. int main() {
    11. B b1;
    12. b1._a; //error 不可见 -> 派生类外不能访问
    13. return 0;
    14. }
            4. 使用关键字class时默认的继承方式是private,使用struct时默认的继承方式是public,不过最好显示的写出继承方式。
    1. #include
    2. using namespace std;
    3. class A {
    4. public:
    5. int _a;
    6. };
    7. class B1 : A { }; //默认的继承方式是private
    8. struct B2 : A { }; //默认的继承方式是public
    9. int main() {
    10. B1 b1;
    11. B2 b2;
    12. b1._a = 1; //error -(根据表)-> 派生类的private成员
    13. b2._a = 1; //correct -(根据表)-> 派生类的public成员
    14. return 0;
    15. }

    基类和派生类对象赋值转换

    子类对象可以赋值给父类对象/指针/引用

            派生类对象 可以赋值给 基类的对象 / 基类的指针 / 基类的引用。这里有个形象的说法叫切片或者切割。寓意把派生类中父类那部分切来赋值过去。

    1. class Postgraduate {
    2. public:
    3. int _age = 0; //年龄
    4. };
    5. class Student : public Postgraduate {
    6. public:
    7. int _stuid = 0; //学号
    8. };
    9. void test() {
    10. Student s;
    11. //子类对象可以赋值给父类对象/指针/引用
    12. Postgraduate pobj = s;
    13. Postgraduate* pp = &s;
    14. Postgraduate& rp = s;
    15. }

    派生类对象赋值给基类的对象

    派生类对象赋值给基类的指针

    派生类对象赋值给基类的引用

    Note: 

            基类对象不能赋值给派生类对象。基类的指针可以通过强制类型转换赋值给派生类的指针,但是此时基类的指针必须是指向派生类的对象才是安全的。

    1. class Postgraduate {
    2. public:
    3. int _age = 0; //年龄
    4. };
    5. class Student : public Postgraduate {
    6. public:
    7. int _stuid = 0; //学号
    8. };
    9. void test() {
    10. Postgraduate p;
    11. //基类对象不能赋值给派生类对象
    12. Student s = p; //error
    13. }
    1. class Postgraduate {
    2. public:
    3. int _age = 0; //年龄
    4. };
    5. class Student : public Postgraduate {
    6. public:
    7. int _stuid = 0; //学号
    8. };
    9. void test() {
    10. Student s;
    11. Postgraduate* pp = &s;
    12. Postgraduate& rp = s;
    13. Student* ps = (Student*)&pp;
    14. Student& rs = (Student&)rp;
    15. }

    继承中的作用域

            在继承体系中基类和派生类都有独立的作用域。如果:子类和父类中有同名成员,子类成员将屏蔽父类对同名成员的直接访问,这种情况叫隐藏,也叫重定义。(在子类成员函数中,可以使用基类::基类成员显示访问)

    Note:

            如果是成员函数的隐藏,只需要函数名相同就构成隐藏。 所以,注意在实际中在继承体系里面最好不要定义同名的成员。

    1. // Postgraduate中的Func和Student中的Func不是构成重载,因为不是在同一作用域。
    2. // Postgraduate中的Func和Student中的Func构成隐藏,成员函数满足函数名相同就构成隐藏。
    3. class Postgraduate {
    4. public:
    5. void Func() { cout << _name << endl; }
    6. int _name = 10;
    7. };
    8. class Student : public Postgraduate {
    9. public:
    10. int _name = 100;
    11. void Func() { cout << _name << endl; }
    12. void Func_s() { cout << _name << endl; }
    13. void Func_p1() { cout << Postgraduate::_name << endl; }
    14. };
    15. int main() {
    16. Student s;
    17. s.Postgraduate::Func(); //输出10
    18. s.Func_s(); //输出100
    19. s.Func_p1(); //输出10
    20. cout << s._name << endl; //输出100
    21. cout << s.Postgraduate::_name << endl; //输出10
    22. return 0;
    23. }

    Note:(为什么不是形成函数重载?)
            继承后,父类Postgraduate的成员,包括成员函数和成员变量,都会变成子类的一部分。但是,父类中的 Func函数 和子类中的 Func函数 并不会构成函数重载,因为函数重载要求两个函数在同一作用域,而此时这两个 Func函数 并不在同一作用域。

    派生类的默认成员函数

            6个默认成员函数,“默认”的意思就是指我们不写,编译器会变我们自动生成一个,现在研究在派生类中,这几个成员函数是如何生成的?

            首先,我们须知继承是在栈中实例化。在栈上就要符合栈的特性:

    派生类的默认生成的构造函数

             派生类对象初始化先调用基类构造再调派生类构造。派生类的构造函数必须调用基类的构造函数初始化基类的那一部分成员。如果基类没有默认的构造函数,则必须在派生类构造函数的初始化列表阶段显示调用。
    1. class Postgraduate {
    2. public:
    3. int _age; //年龄
    4. //没有默认构造函数
    5. Postgraduate(int n) {
    6. cout << "Postgraduate" << endl;
    7. }
    8. };
    9. class Student : public Postgraduate {
    10. public:
    11. int _stuid = 0; //学号
    12. Student()
    13. :Postgraduate(0) //必须在派生类构造函数的初始化列表显示调用
    14. {
    15. cout << "Student" << endl;
    16. }
    17. };
    18. int main(){
    19. Student s;
    20. return 0;
    21. }

    派生类的默认生成的析构函数

    1. class Postgraduate {
    2. public:
    3. int _age = 0; //年龄
    4. ~Postgraduate() {
    5. cout << "~Postgraduate()" << endl;
    6. }
    7. };
    8. class Student : public Postgraduate {
    9. public:
    10. int _stuid = 0; //学号
    11. ~Student() {
    12. Postgraduate::~Postgraduate();
    13. }
    14. };
    15. int main(){
    16. Student s;
    17. return 0;
    18. }

             派生类对象析构函数会在结束时自行调用基类析构函数,所以会有两个基类析构函数的调用。

             派生类对象析构清理先调用派生类析构再调基类的析构(但这样的顺序)。派生类的析构函数会在被调用完成后自动调用基类的析构函数清理基类成员。因为这样才能保证派生类对象先清理派生类成员再清理基类成员的顺序。

    派生类的默认生成的拷贝构造函数

            派生类的拷贝构造函数必须调用基类的拷贝构造完成基类的拷贝初始化。如果基类没有默认的拷贝构造函数,则必须在派生类拷贝构造函数的初始化列表阶段显示调用。

    1. class Postgraduate {
    2. public:
    3. int _age = 0; //年龄
    4. //拷贝构造函数
    5. Postgraduate(const Postgraduate& p)
    6. :_age(p._age)
    7. {
    8. cout << "Person(const Person& p)" << endl; //验证是否调用
    9. }
    10. };
    11. class Student : public Postgraduate {
    12. public:
    13. int _stuid = 0; //学号
    14. //拷贝构造函数
    15. Student(const Student& p)
    16. :Postgraduate(p)
    17. ,_stuid(p._stuid)
    18. {
    19. cout << "Student(const Student& p)" << endl; //验证是否调用
    20. }
    21. };

    派生类的默认生成的operator =

            派生类的operator=必须要调用基类的operator=完成基类的复制。

    1. class Postgraduate {
    2. public:
    3. int _age = 0; //年龄
    4. //赋值运算符重载函数
    5. Postgraduate& operator=(const Postgraduate& p)
    6. {
    7. cout << "Postgraduate::operator=" << endl;//验证是否调用
    8. _age = p._age;//完成基类成员的赋值
    9. return *this;
    10. }
    11. };
    12. class Student : public Postgraduate {
    13. public:
    14. int _stuid = 0; //学号
    15. //赋值运算符重载函数
    16. Student& operator=(const Student& s)
    17. {
    18. cout << "Student::operator=" << endl; //验证是否调用
    19. Postgraduate::operator=(s); //调用基类的operator=完成基类成员的赋值
    20. _stuid = s._stuid; //完成派生类成员的赋值
    21. return *this;
    22. }
    23. };

    继承与友元

            友元关系不能继承,也就是基类的友元可以访问基类的私有和保护成员,而基类友元不能访问派生类的私有和保护成员。

    1. #include
    2. #include
    3. using namespace std;
    4. class Student;//声明有Student类
    5. class Postgraduate{
    6. public:
    7. friend void Display(const Postgraduate& p, const Student& s);
    8. protected:
    9. int _age = 0; //年龄
    10. };
    11. class Student : public Postgraduate {
    12. protected:
    13. int _stuid = 0; //学号
    14. };
    15. void Display(const Postgraduate& p, const Student& s){
    16. cout << p._age << endl; //输出0
    17. cout << s._stuid << endl; //error - 无法访问protected修饰的对象
    18. }
    19. int main(){
    20. Postgraduate p;
    21. Student s;
    22. Display(p, s);
    23. return 0;
    24. }

            若想基类的友元函数访问派生类私有和保护成员,需要在派生类中对该函数也进行友元声明。

    1. class Student : public Postgraduate {
    2. friend void Display(const Postgraduate& p, const Student& s);
    3. protected:
    4. int _stuid = 0; //学号
    5. };

    继承与静态成员

             基类定义了static静态成员,则整个继承体系里面只有一个这样的成员。无论派生出多少个子
    类,都只有一个static成员实例 。
    1. #include
    2. #include
    3. using namespace std;
    4. class Person
    5. {
    6. public:
    7. Person() { ++_count; }
    8. static int _count; // 统计人的个数。
    9. };
    10. int Person::_count = 0;
    11. class Student : public Person { /* …… */ };
    12. class Graduate : public Student { /* …… */ };
    13. int main() {
    14. Student s1;
    15. Student s2;
    16. Student s3;
    17. Graduate s4;
    18. cout << " 人数 :" << Person::_count << endl; //输出: 人数 :4
    19. Student::_count = 0;
    20. cout << " 人数 :" << Person::_count << endl; //输出: 人数: 0
    21. return 0;
    22. }

    复杂的菱形继承及菱形虚拟继承

            单继承:子类只有一个直接父类时称这个继承关系为单继承

            多继承:一个子类有两个或以上直接父类时称这个继承关系为多继承

            菱形继承:菱形继承是多继承的一种特殊情况。

    复杂的菱形继承问题

            菱形继承的问题:菱形继承会导致数据冗余和二义性的问题。(下面是对象成员模型构造的菱形继承)

    1. class person {
    2. public:
    3. int age = 1; //年龄
    4. };
    5. class Student : public person {
    6. public:
    7. int _stuid = 2; //学号
    8. };
    9. class Teacher : public person {
    10. public:
    11. int _teaid = 3; //工号
    12. };
    13. class Postgraduate : public Student, public Teacher {
    14. public:
    15. int a = 4;
    16. };
    17. int main() {
    18. Postgraduate p;
    19. return 0;
    20. }

    菱形虚拟继承解决

    虚拟继承可以解决菱形继承的二义性和数据冗余的问题。

    1. class person {
    2. public:
    3. int age = 1; //年龄
    4. };
    5. class Student : virtual public person {
    6. public:
    7. int _stuid = 2; //学号
    8. };
    9. class Teacher : virtual public person {
    10. public:
    11. int _teaid = 3; //工号
    12. };
    13. class Postgraduate : public Student, public Teacher {
    14. public:
    15. int a = 4;
    16. };
    17. int main() {
    18. Postgraduate p;
    19. return 0;
    20. }

    虚拟继承解决数据冗余和二义性的原理

    虚基表中包含三个数据:

            第一个数据:是为多态的虚表预留的存偏移量的位置(多态再涉及,此处可以不管)。

            第二个数据:是当前类对象位置距离公共虚基类的偏移量。

            第二个数据:VS编译器的设定,最后一个地址为0x00 00 00 00。

     

            在Student类或Theacher类范围中访问时:这两个指针经过一系列的计算,最终都可以找到成员。

    继承的总结和反思

            C++语言之所以复杂,继承就是其中的原因之一,而继承之所以复杂就是因为存在菱形继承,有了菱形继承就有菱形虚拟继承,底层实现就很复杂。所以一般不建议设计出多继承,一定不要设计出菱形继承。否则在复杂度及性能上都有问题。多继承可以认为是C++的缺陷之一,所以后来的编程语言很多都没有多继承,如Java。 )

    继承和组合

    • public继承是一种is-a的关系。也就是说每个派生类对象都是一个基类对象。
    • 组合是一种has-a的关系。假设B组合了A,每个B对象中都有一个A对象。
    优先使用对象组合,而不是类继承 
            
    • 继承允许你根据基类的实现来定义派生类的实现。这种通过生成派生类的复用通常被称为白箱复用(white-box reuse)。术语白箱是相对可视性而言:在继承方式中,基类的内部细节对子类可见 。继承一定程度破坏了基类的封装,基类的改变,对派生类有很大的影响。派生类和基类间的依赖关系很强,耦合度高。
    • 对象组合是类继承之外的另一种复用选择。新的更复杂的功能可以通过组装或组合对象来获得。对象组合要求被组合的对象具有良好定义的接口。这种复用风格被称为黑箱复(black-box reuse),因为对象的内部细节是不可见的。对象只以黑箱的形式出现。组合类之间没有很强的依赖关系,耦合度低。优先使用对象组合有助于你保持每个类被封装。
    • 实际尽量多去用组合。组合的耦合度低,代码维护性好。不过继承也有用武之地的,有些关系就适合继承那就用继承,另外要实现多态,也必须要继承。类之间的关系可以用继承,可以用组合,就用组合。
  • 相关阅读:
    Stable Diffusion插件:StyleSelectorXL 之七十七种绘画风格任君选择
    AWS Cloudformation入门项目实践
    Activity
    Spring系列20:注解详解和Spring注解增强(基础内功)
    C#事件订阅发布实现原理详解
    mysql5.8 免安装版(压缩包)win10 安装
    Go 语言 结构体链表
    程序员的领域壁垒——时间片
    面试官:了解HashSet吗?请做下面的题目
    ES6-let-难点
  • 原文地址:https://blog.csdn.net/weixin_64609308/article/details/127703556