C++ 继承与派生中的赋值兼容规则问题探究

简介: C++ 继承与派生中的赋值兼容规则问题探究

问题


前两天大徒弟问我这个题,问输出啥。我当时手头有事说让他打打运行一遍不就行了嘛,现在再回过头来看这个题我觉得有必要写一篇整理一下。



解决问题


实在不会了,就把程序打出来,运行一下试试,比对结果与程序去研究,大家可以先复制运行一下。


#include<iostream>
#include<string.h>
#include<vector>
#include<cmath>
#include<iomanip>
using namespace std;
class B {
public:
  virtual void show() {
    cout << "Base" << endl;
  }
};
class D :public B {
  void show() {
    cout << "Derive" << endl;
  }
};
void fun1(B* ptr) {
  ptr->show();
}
void fun2(B & ref) {
  ref.show();
}
void fun3(B b) {
  b.show();
}
int main()
{
  B b, *p = new D;
  D d;
  fun1(p);
  fun2(b);
  fun3(d);
  return 0;
}


之后可以探究是哪一步程序生成的哪个结果啦,如果你不愿意用单步调试,懒了的话,也可以像我这样在程序中加入测试代码


(注意:单步调试是最好的,不要都这样。短的代码可以用一下,或者某些特殊输出情况,一个代码可千万别搞上好几百个测试代码,不要乱搞)



那么是怎么生成的呢都?


继承与派生中的赋值兼容规则


赋值兼容规则是指在需要父类对象的地方可以使用子类对象来代替:


  • 通过public继承,子类得到了父类除构造/析构函数之外的所有成员,且所有成员的访问属性和父类的完全相同。


  • 这样,public继承的子类实际就具备了父类的所有功能,凡是父类能解决的问题,子类都可以解决。


赋值兼容规则是发生在父类和子类之间的:


  1. 子类的对象可以赋值给父类对象对象,过程会发生隐式类型转换


  1. 父类类型的指针可以指向子类对象


  1. 父类类型的引用可以用子类对象初始化


第一个输出理解:


发生赋值兼容后,子类对象只能被作为父类对象使用,即只能使用从父类继承而来的成员。


并且子类的对象可以赋值给父类对象


代码1示例


例如下面代码:


#include<iostream>
using namespace std;
class B {
public:
  virtual void show() {
    cout << "Base" << endl;
  }
};
class D :public B {
public:
  void show() {
    cout << "Derive" << endl;
  }
};
void fun3(B b) {
  b.show();
}
int main()
{
  B b;
  D d;
  fun3(d);
  return 0;
}



代码1解析:


fun3的调用:首先用子类对象d去初始化fun3的形参(B类型的对象),此时发生隐式类型转换,转化后相当于特殊的父类对象,即只能调用父类函数.


父类类型的指针可以指向子类对象


简单来说,也就是和子类指针同样效果.都是指向子类对象。


第二个输出理解:


对于第二点的理解:由于指针中所储存的内容是存放对象的地址,所以当用子类对象初始化父类指针时,这个指针存放的是子类的地址,所以访问的依旧是子类的函数。(与上述所说,发生兼容后只能作为父类对象不同)


代码2示例


#include<iostream>
using namespace std;
class B {
public:
  virtual void show() {
    cout << "Base" << endl;
  }
};
class D :public B {
public:
  void show() {
    cout << "Derive" << endl;
  }
};
void fun1(B* ptr) {
  ptr->show();
}
void fun2(B& ref) {
  ref.show();
}
void fun3(B b) {
  b.show();
}
int main()
{
  B* p = new D;
  p->show();
  fun1(p);
  return 0;
}


结果如下:



第三个输出理解:


关于第三点


引用本质也是对地址的操作。指针传递的是一个地址,而引用则是这个地址。

此时父类的引用可看作子类的引用

相关文章
|
9月前
|
安全 Java 编译器
C++进阶(1)——继承
本文系统讲解C++继承机制,涵盖继承定义、访问限定符、派生类默认成员函数、菱形虚拟继承原理及组合与继承对比,深入剖析其在代码复用与面向对象设计中的应用。
|
存储 安全 Java
c++--继承
c++作为面向对象的语言三大特点其中之一就是继承,那么继承到底有何奥妙呢?继承(inheritance)机制是面向对象程序设计使代码可以复用的最重要的手段,它允许程序员在保持原有类特性的基础上进行扩展,增加功能,这样产生新的类,称派生类。继承呈现了面向对象程序设计的层次结构,体现了由简单到复杂的认知过程。以前我们接触的复用都是函数复用,继承是类设计层次的复用,继承就是类方法的复用。
278 0
|
安全 C++
【c++】继承(继承的定义格式、赋值兼容转换、多继承、派生类默认成员函数规则、继承与友元、继承与静态成员)
本文深入探讨了C++中的继承机制,作为面向对象编程(OOP)的核心特性之一。继承通过允许派生类扩展基类的属性和方法,极大促进了代码复用,增强了代码的可维护性和可扩展性。文章详细介绍了继承的基本概念、定义格式、继承方式(public、protected、private)、赋值兼容转换、作用域问题、默认成员函数规则、继承与友元、静态成员、多继承及菱形继承问题,并对比了继承与组合的优缺点。最后总结指出,虽然继承提高了代码灵活性和复用率,但也带来了耦合度高的问题,建议在“has-a”和“is-a”关系同时存在时优先使用组合。
1018 6
|
编译器 数据安全/隐私保护 C++
【C++面向对象——继承与派生】派生类的应用(头歌实践教学平台习题)【合集】
本实验旨在学习类的继承关系、不同继承方式下的访问控制及利用虚基类解决二义性问题。主要内容包括: 1. **类的继承关系基础概念**:介绍继承的定义及声明派生类的语法。 2. **不同继承方式下对基类成员的访问控制**:详细说明`public`、`private`和`protected`继承方式对基类成员的访问权限影响。 3. **利用虚基类解决二义性问题**:解释多继承中可能出现的二义性及其解决方案——虚基类。 实验任务要求从`people`类派生出`student`、`teacher`、`graduate`和`TA`类,添加特定属性并测试这些类的功能。最终通过创建教师和助教实例,验证代码
540 5
|
编译器 C++ 开发者
【C++篇】深度解析类与对象(下)
在上一篇博客中,我们学习了C++的基础类与对象概念,包括类的定义、对象的使用和构造函数的作用。在这一篇,我们将深入探讨C++类的一些重要特性,如构造函数的高级用法、类型转换、static成员、友元、内部类、匿名对象,以及对象拷贝优化等。这些内容可以帮助你更好地理解和应用面向对象编程的核心理念,提升代码的健壮性、灵活性和可维护性。
|
编译器 C++ 容器
【c++11】c++11新特性(上)(列表初始化、右值引用和移动语义、类的新默认成员函数、lambda表达式)
C++11为C++带来了革命性变化,引入了列表初始化、右值引用、移动语义、类的新默认成员函数和lambda表达式等特性。列表初始化统一了对象初始化方式,initializer_list简化了容器多元素初始化;右值引用和移动语义优化了资源管理,减少拷贝开销;类新增移动构造和移动赋值函数提升性能;lambda表达式提供匿名函数对象,增强代码简洁性和灵活性。这些特性共同推动了现代C++编程的发展,提升了开发效率与程序性能。
579 12
|
编译器 C语言 C++
类和对象的简述(c++篇)
类和对象的简述(c++篇)
|
人工智能 机器人 编译器
c++模板初阶----函数模板与类模板
class 类模板名private://类内成员声明class Apublic:A(T val):a(val){}private:T a;return 0;运行结果:注意:类模板中的成员函数若是放在类外定义时,需要加模板参数列表。return 0;
306 0
|
存储 编译器 程序员
c++的类(附含explicit关键字,友元,内部类)
本文介绍了C++中类的核心概念与用法,涵盖封装、继承、多态三大特性。重点讲解了类的定义(`class`与`struct`)、访问限定符(`private`、`public`、`protected`)、类的作用域及成员函数的声明与定义分离。同时深入探讨了类的大小计算、`this`指针、默认成员函数(构造函数、析构函数、拷贝构造、赋值重载)以及运算符重载等内容。 文章还详细分析了`explicit`关键字的作用、静态成员(变量与函数)、友元(友元函数与友元类)的概念及其使用场景,并简要介绍了内部类的特性。
485 0
|
设计模式 安全 C++
【C++进阶】特殊类设计 && 单例模式
通过对特殊类设计和单例模式的深入探讨,我们可以更好地设计和实现复杂的C++程序。特殊类设计提高了代码的安全性和可维护性,而单例模式则确保类的唯一实例性和全局访问性。理解并掌握这些高级设计技巧,对于提升C++编程水平至关重要。
301 16