5继承与派生3-类型兼容规则

Posted 郭润

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了5继承与派生3-类型兼容规则相关的知识,希望对你有一定的参考价值。

1、类型兼容规则是指在需要基类对象的任何地方,都可以使用公有派生类的对象来替代。通过公有继承,派生类得到了基类中除构造函数、析构函数之外的所有成员。这样公有派生类实际就具备了基类的所有功能,凡是基类能解决的问题,公有派生类都可以解决。类型兼容规则中所指的替代包括以下的情况:

a、派生类的对象可以赋值给基类对象

b、派生类的对象可以初始化基类的引用。

c、派生类对象的地址可以赋给指向基类的指针。

在替代之后,派生类对象可以作为基类的对象使用,但只鞥使用从基类继承的成员。

eg:

class B

{...}

class D:public B

{...}

B b1,*pb1;

D d1;

这时,

a、派生类对象可以赋值给基类对象,即派生类对象中从基类继承来的成员,逐个赋值给基类对象的成员:

b1=d1;

b、派生类的对象也可以初始化基类对象的引用

B &bb=d1;

c、派生类对象的地址也可以赋值给指向基类的指针

pb1=&d1;

由于类型兼容规则的引入,对于基类及公有派生类的对象,我们可以使用相同的函数统一进行处理(因为当函数的形参为基类的对象时,实参可以是派生类的对象),而没有必要为每一个类设计单独的模块,大大提高了程序的效率。这正是c++的又一重要特性,即多态性,可以说,类型兼容规则是多态性的重要基础之一。

eg:类型兼容规则实例

基类B0以公有方式派生出B1类,B1类再作为基类以公有方式派生出D1类,基类B0中定义了成员函数display(),在派生类中对这个成员函数进行了覆盖。

#include<iostream>

using namespace std;

class B0

{

  public:

    void display(){cout<<"B0::display()"<<endl;}//共有成员函数

};

class B1:public B0  //公有派生类B1定义

{

  public:

    void display(){cout<<"B1::display()"<<endl;}

};

class D1:public B1  //公有派生类D1定义

{

  public:

    void display(){cout<<"D1::display()"<<endl;}//公有成员函数

};

void fun(B0 *ptr) //普普通函数,参数为指向基类对象的指针

{

  ptr->display();//对象指针->成员名

}

int main()

{

  B0 b0;//声明B0类对象  

  B1 b1;//声明B1类对象

  D1 d1;//声明d1类对象

  B0 *p;//声明B0类指针

  p=&b0;//B0类指针指向B0类对象

  fun(p);

  p=&b1;//B0类指针指向B1类对象

  fun(p);

  p=&d1;//B0类指针指向D1类对象

  fun(p);

}

输出结果:

B0::display()

B0::display()

B0::display()

通过这个例子,可以看到,根据类型兼容规则,我们可以在基类对象出现的场合使用派生类对象进行替代,但是替代之后派生类仅仅发挥出基类的作用。

 

以上是关于5继承与派生3-类型兼容规则的主要内容,如果未能解决你的问题,请参考以下文章

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

类型兼容规则

总结C++基类与派生类的赋值兼容规则

Part7 继承与派生 7.3基类与派生类类型转换

赋值兼容原则

C++:继承(继承的概念和性质,赋值兼容规则,菱形继承和虚拟继承)