标签:对象 效率 正是 多态性 names isp play 功能 lin
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()
通过这个例子,可以看到,根据类型兼容规则,我们可以在基类对象出现的场合使用派生类对象进行替代,但是替代之后派生类仅仅发挥出基类的作用。
标签:对象 效率 正是 多态性 names isp play 功能 lin
原文地址:http://www.cnblogs.com/gary-guo/p/6233292.html