【C++高阶】C++继承学习手册:全面解析继承的各个方面

本文涉及的产品
全局流量管理 GTM,标准版 1个月
公共DNS(含HTTPDNS解析),每月1000万次HTTP解析
云解析 DNS,旗舰版 1个月
简介: 【C++高阶】C++继承学习手册:全面解析继承的各个方面

📖1. 继承的概念及定义

⛰️继承的概念

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

继承代码示例

class A 
{
public:
  void func()
  {
    cout << "A::func()" << endl;
  }
protected:
  int _a = 10;
};

// 继承后父类A的成员_a(成员函数+成员变量)都会变成子类的一部分
class B : public A
{
public:
  // ......
protected:
  int _b = 100;
};

int main()
{
  A a ;
  B b;
  a.func();
  b.func(); // b可以调用A中的成员函数
  return 0;
}

🌄继承定义

我们从刚刚的代码示例可以看到A是基类(父类),B是派生类(子类)

定义格式

注意:在定义继承的时候继承方式可以省略不写,如果不写则是根据基类的定义来决定默认继承方式,但是建议定义时带上继承方式

class定义的类默认private继承,struct定义的类默认public继承



继承关系和访问限定符


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

继承方式和访问限定符都有三种,虽然它们组合一共有9中能使用的方法,但是我们最常用的只有红色框里面的两种用法

这里我们有以下几点需要注意:

  • 基类private成员在派生类中无论以什么方式继承都是不可见的。这里的不可见是指基类的私有成员还是被继承到了派生类对象中,但是语法上限制派生类对象不管在类里面还是类外面都不能去访问它
  • 基类private成员在派生类中是不能被访问,如果基类成员不想在类外直接被访问,但需要在派生类中能访问,就定义为protected。可以看出保护成员限定符是因继承才出现的
  • 实际上面的表格我们进行一下总结会发现,基类的私有成员在子类都是不可见。基类的其他成员在子类的访问方式 == Min(成员在基类的访问限定符,继承方式),public > protected> private
  • 使用关键字class时默认的继承方式是private,使用struct时默认的继承方式是public,不过最好显示的写出继承方式
  • 在实际运用中一般使用都是public继承,几乎很少使用protetced/private继承,也不提倡使protetced/private继承,因为protetced/private继承下来的成员都只能在派生类的类里面使用,实际中扩展维护性不强



📙2. 基类和派生类对象赋值转换

关于赋值规则这里我们先提两点:

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


我们在讲C++入门知识的时候讲过,引用类型不同的变量时,会产生一个临时变量,临时变量具有常性,需要const修饰,但是在继承中就不需要const修饰

代码示例

int main()
{
  int c = 1;
  double d = 1.1;
  const int& r = d; // 中间产生了一个临时变量,临时变量具有常性,需要const修饰
  
  B b;
  A a = b; // 子类可以赋值给基类
  // b = a; // false, 基类不可以赋值给子类
  
  A& ra = b; // is-a 的关系中间不会产生临时对象,父子类的赋值兼容规则(切割/切片)
  return 0;
}

继承中的对象是is-a 的关系,它们中间并不会产生临时对象,这就是父子类的赋值兼容规则(切割/切片)


📕3. 继承中的作用域

关于作用域的注意事项:

  • 在继承体系中基类和派生类都有独立的作用域。
  • 子类和父类中有同名成员,子类成员将屏蔽父类对同名成员的直接访问,这种情况叫隐藏,也叫重定义。(在子类成员函数中,可以使用 基类::基类成员 显示访问)
  • 需要注意的是如果是成员函数的隐藏,只需要函数名相同就构成隐藏
  • 注意在实际中在继承体系里面最好不要定义同名的成员

🎩成员变量隐藏

当继承的基类与子类有同名的成员变量时,不指定的话,会调用子类的成员变量

代码示例

class A 
{
protected:
  int _a = 10;
};

class B : public A
{
public:
  void Print()
  {
    cout << "_a:" << _a << endl;
    // cout << "A: _a:" << A::_a << endl; // 要想成功打印A类的元素必须要指定
    cout << "_b:" << _b << endl;
  }
protected:
  int _a = 99;
  int _b = 100;
};

int main()
{
  B b;
  // 成员变量同名
  // A 和 B中的 _a 构成隐藏
  b.Print(); // // _a = 99 , _b = 100; 就近原则
  return 0;
}



🎈成员函数隐藏

在继承中,同名函数并不会构成函数重载,因为他们在不同的作用域,每个类都是独立的,成员函数满足函数名相同就构成隐藏

代码示例

class A 
{
public:
  void func()
  {
    cout << "func()" << endl;
  }
protected:
  int _a = 10;
};

class B : public A
{
public:
  // 
  void func(int b)
  {
    cout << "func(int b)" << endl;
  }
protected:
  int _b = 100;
};

int main()
{
  B b;
  // 成员函数同名
  // A 和 B中的 func() 构成隐藏
  b.func(); // 打印“func(int b)”
}

📚4. 派生类的默认成员函数

🧩默认成员函数

默认成员函数,“默认”的意思就是指我们不写,编译器会变我们自动生成一个


🧩派生类默认函数特征

  • 派生类的构造函数必须调用基类的构造函数初始化基类的那一部分成员。如果基类没有默认的构造函数,则必须在派生类构造函数的初始化列表阶段显示调用
  • 派生类的拷贝构造函数必须调用基类的拷贝构造完成基类的拷贝初始化
  • 派生类的operator=必须要调用基类的operator=完成基类的复制
  • 派生类的析构函数会在被调用完成后自动调用基类的析构函数清理基类成员。因为这样才能保证派生类对象先清理派生类成员再清理基类成员的顺序
  • 派生类对象初始化先调用基类构造再调派生类构造
  • 派生类对象析构清理先调用派生类析构再调基类的析构
  • 因为后续一些场景析构函数需要构成重写,重写的条件之一是函数名相同(这个我们后面会讲解)。那么编译器会对析构函数名进行特殊处理,处理成destrutor(),所以父类析构函数不加virtual的情况下,子类析构函数和父类析构函数构成隐藏关系

综上所述:关于基类和子类的调用顺序,一般情况都是先父后子,但是析构必须先子后父,来避免析构完父类之后,子类出错

继承默认函数的实现代码示例

class A 
{
public:
  A()
  {}

  A(int a)
    :_a(a)
  {
    cout << "A()" << endl;
  }

  A(const A& a)
    :_a(a._a)
  {
    cout << "A(const A& a)" << endl;
  }

  A& operator=(const A& a)
  {
    cout << "A& operator=(const A& a)" << endl;
    if (&a != this)
    {
      _a = a._a;
    }
    return *this;
  }

  ~A()
  {
    cout << "~A()" << endl;
  }
protected:
  int _a = 10;
};

class B : public A
{
public:
  B()
  {}

  B(int a, int b)
    // :_a(a) // _a不是基类成员不能这样初始化
    :A(a)
    ,_b(b)
  {
    cout << "B()" << endl;
  }

  B(const B& b)
    // :_a(a) // _a不是基类成员不能这样初始化
    :A(b)
    , _b(b._b)
  {
    cout << "B(const A& a, const B& b)" << endl;
  }

  B& operator=(const B& b)
  {
    cout << "B& operator=(const B& b)" << endl;
    if (&b != this)
    {
      // 需要调用A类的 operator=
      A::operator=(b);
      _b = b._b;
    }
    return *this;
  }

  // 析构函数会先析构父类,而有时候先析构父类,子类会出事
  // 不需要显式调用父类析构
  ~B()
  {
    cout << "~B()" << endl;
  }
protected:
  int _b = 100;
};
int main()
{
  B b1(1, 100);
  B b2(b1);

  B b3(2, 200);
  b1 = b3;
  return 0;
}

📒5. 友元与静态成员变量

🍂友元

友元关系不能继承,也就是说基类友元不能访问子类私有和保护成员,因为朋友的朋友不一定也是自己的朋友,如果基类,子类都想使用必须都在各自的域里面声明

代码示例

class A 
{
public:
  friend void Print(const A& a, const B& b);
protected:
  int _a = 10;
};

class B : public A
{
public:
  // 
protected:
  int _b = 100;
};

void Print(const A& a, const B& b)
{
  cout << a._a << endl;
  cout << b._b << endl;
}

int main()
{
  A a;
  B b;
  Print(a, b);
}

🍁静态成员

基类定义了static静态成员,则整个继承体系里面只有一个这样的成员。无论派生出多少个子类,都只有一个static成员实例

代码示例

class A 
{
public:
  A()
  {
    ++_count;
  }
  static int _count;
protected:
  int _a = 10;
};
int A::_count = 0;
class B : public A
{
public:
  // 
protected:
  int _b = 100;
};

int main()
{
  A a;
  B b;
  cout << A::_count << endl;
}

📜6. 多继承

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

class B : public A

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

class D : public B , public C

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

class B : public A
{......};
class C : public A
{......};
class D : public B , public C

🌞菱形继承

class A
{
protected:
  int _a = 1;
};
class B :public A
{
protected:
  int _b = 2;
};
class C :public A
{
protected:
  int _c = 3;
};
class D :public B, public A
{
protected:
  int _d = 4;
};

菱形继承的问题:从下面的对象成员模型构造,可以看出菱形继承有数据冗余和二义性的问题。在D的对象中_a成员会有两份,我们在访问的时候无法明确知道访问的是哪一个,必须要显示指定访问哪个父类的成员,但是数据冗余任然无法解决!


🌙虚拟继承

虚拟继承可以解决菱形继承的二义性和数据冗余的问题。如上面的继承关系,在A和B的继承A时使用虚拟继承,即可解决问题。需要注意的是,虚拟继承不要在其他地方去使用

代码示例

class A
{
protected:
  int _a = 1;
};
class B : virtual public A
{
protected:
  int _b = 2;
};
class C : virtual public A
{
protected:
  int _c = 3;
};
class D : public B, public A
{
protected:
  int _d = 4;
};

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

  • 虚拟继承通过将共同的祖先类(即虚基类)的拷贝在派生类对象中只保留一份,来解决这个问题。具体来说,虚拟继承会在内存中创建一个虚基表,并在派生类对象中存储一个指向这个虚基表的指针(即虚基表指针)。虚基表中存的偏移量。通过偏移量可以找到下面的A,而无需在派生类对象中多次存储这些数据成员。因此,虚拟继承通过减少重复存储的数据成员来消除数据冗余
  • 虚拟继承通过改变派生类访问虚基类成员的方式来解决这个问题。在虚拟继承中,派生类对象通过虚基表指针来访问虚基类(即共同祖先类)的成员。由于虚基表中存储了虚基类成员的地址,因此派生类对象可以明确地知道应该访问哪个虚基类成员,从而消除了二义性。

加上表中偏移量可以找到最底下的A


🔥7. 总结

回顾学习过程,我们学会了如何定义基类与派生类,掌握了访问控制规则,理解了构造函数与析构函数在继承中的作用,还探讨了多重继承及其带来的挑战。这些知识不仅丰富了我们的编程技能,更为我们解决实际问题提供了有力的工具

在结束对C++继承的学习之旅后,我们不禁感叹其强大的功能和灵活性。通过深入探究继承的基本概念、语法规则以及高级应用,我们逐渐揭开了其背后的奥秘,并体验到了它在面向对象编程中的独特价值

学习C++继承并非一蹴而就的过程。它需要我们不断地实践、思考、总结和创新。在未来的编程之路上,我们将继续深化对继承的理解,探索其更多的应用场景和高级特性,如虚继承、接口继承等,我们也要认识到继承并非万能的。在使用继承时,我们需要权衡其带来的好处和潜在的风险,避免过度使用导致代码结构复杂、难以维护。我们应该根据具体的需求和场景,选择最合适的编程范式和工具!!!希望本文能够为你提供有益的参考和启示,让我们一起在编程的道路上不断前行!
谢谢大家支持本篇到这里就结束了,祝大家天天开心!

目录
相关文章
|
1月前
|
自然语言处理 编译器 Linux
|
27天前
|
设计模式 安全 数据库连接
【C++11】包装器:深入解析与实现技巧
本文深入探讨了C++中包装器的定义、实现方式及其应用。包装器通过封装底层细节,提供更简洁、易用的接口,常用于资源管理、接口封装和类型安全。文章详细介绍了使用RAII、智能指针、模板等技术实现包装器的方法,并通过多个案例分析展示了其在实际开发中的应用。最后,讨论了性能优化策略,帮助开发者编写高效、可靠的C++代码。
35 2
|
5天前
|
安全 编译器 C++
C++ `noexcept` 关键字的深入解析
`noexcept` 关键字在 C++ 中用于指示函数不会抛出异常,有助于编译器优化和提高程序的可靠性。它可以减少代码大小、提高执行效率,并增强程序的稳定性和可预测性。`noexcept` 还可以影响函数重载和模板特化的决策。使用时需谨慎,确保函数确实不会抛出异常,否则可能导致程序崩溃。通过合理使用 `noexcept`,开发者可以编写出更高效、更可靠的 C++ 代码。
12 0
|
5天前
|
存储 程序员 C++
深入解析C++中的函数指针与`typedef`的妙用
本文深入解析了C++中的函数指针及其与`typedef`的结合使用。通过图示和代码示例,详细介绍了函数指针的基本概念、声明和使用方法,并展示了如何利用`typedef`简化复杂的函数指针声明,提升代码的可读性和可维护性。
26 0
|
1月前
|
算法 Python
Python 大神修炼手册:图的深度优先&广度优先遍历,深入骨髓的解析
在 Python 编程中,掌握图的深度优先遍历(DFS)和广度优先遍历(BFS)是进阶的关键。这两种算法不仅理论重要,还能解决实际问题。本文介绍了图的基本概念、邻接表表示方法,并给出了 DFS 和 BFS 的 Python 实现代码示例,帮助读者深入理解并应用这些算法。
39 2
|
1月前
|
自然语言处理 编译器 Linux
告别头文件,编译效率提升 42%!C++ Modules 实战解析 | 干货推荐
本文中,阿里云智能集团开发工程师李泽政以 Alinux 为操作环境,讲解模块相比传统头文件有哪些优势,并通过若干个例子,学习如何组织一个 C++ 模块工程并使用模块封装第三方库或是改造现有的项目。
|
25天前
|
存储 编译器 C语言
【c++丨STL】string类的使用
本文介绍了C++中`string`类的基本概念及其主要接口。`string`类在C++标准库中扮演着重要角色,它提供了比C语言中字符串处理函数更丰富、安全和便捷的功能。文章详细讲解了`string`类的构造函数、赋值运算符、容量管理接口、元素访问及遍历方法、字符串修改操作、字符串运算接口、常量成员和非成员函数等内容。通过实例演示了如何使用这些接口进行字符串的创建、修改、查找和比较等操作,帮助读者更好地理解和掌握`string`类的应用。
38 2
|
1月前
|
存储 编译器 C++
【c++】类和对象(下)(取地址运算符重载、深究构造函数、类型转换、static修饰成员、友元、内部类、匿名对象)
本文介绍了C++中类和对象的高级特性,包括取地址运算符重载、构造函数的初始化列表、类型转换、static修饰成员、友元、内部类及匿名对象等内容。文章详细解释了每个概念的使用方法和注意事项,帮助读者深入了解C++面向对象编程的核心机制。
83 5
|
1月前
|
存储 编译器 C++
【c++】类和对象(中)(构造函数、析构函数、拷贝构造、赋值重载)
本文深入探讨了C++类的默认成员函数,包括构造函数、析构函数、拷贝构造函数和赋值重载。构造函数用于对象的初始化,析构函数用于对象销毁时的资源清理,拷贝构造函数用于对象的拷贝,赋值重载用于已存在对象的赋值。文章详细介绍了每个函数的特点、使用方法及注意事项,并提供了代码示例。这些默认成员函数确保了资源的正确管理和对象状态的维护。
80 4
|
1月前
|
存储 编译器 Linux
【c++】类和对象(上)(类的定义格式、访问限定符、类域、类的实例化、对象的内存大小、this指针)
本文介绍了C++中的类和对象,包括类的概念、定义格式、访问限定符、类域、对象的创建及内存大小、以及this指针。通过示例代码详细解释了类的定义、成员函数和成员变量的作用,以及如何使用访问限定符控制成员的访问权限。此外,还讨论了对象的内存分配规则和this指针的使用场景,帮助读者深入理解面向对象编程的核心概念。
88 4

推荐镜像

更多