赋值兼容规则是指在需要基类对象的任何地方都可以使用公有派生类的对象来替代。通过公有继承,派生类得到了基类中除构造函数、析构函数之外的所有成员,而且所有成员的访问控制属性也和基类完全相同。这样,公有派生类实际就具备了基类的所有功能,凡是基类能解决的问题,公有派生类都可以解决。赋值兼容规则中所指的替代包括以下的情况:
1>派生类的对象可以赋值给基类对象。
2>派生类的对象可以初始化基类的引用。
3>派生类对象的地址可以赋给指向基类的指针。
在替代之后,派生类对象就可以作为基类的对象使用,但只能使用从基类继承的成员。
#include <iostream>
using namespace std;
class B0
{
public:
void display()
{
cout << "display of B0" << endl;
}
};
class B1 : public B0
{
public:
void display()
{
cout << "display of B1" << endl;
}
};
class D1 : public B1
{
public:
void display()
{
cout << "display of D1" << endl;
}
};
void fun(B0 *ptr)
{
ptr->display();
}
int main()
{
B0 b0;
B1 b1;
D1 d1;
B0 *p;
p = &b0;
fun(p);
p = &b1;
fun(p);
p = &d1;
fun(p);
return 0;
}
程序运行结果:
结论:
由运行结果可知,当派生类的对象当成基类的对象使用时,调用的都是基类的成员函数和数据成员;
思考题:
当B0中的display用virtual修饰时,输出结果会是怎样的呢?
class B0
{
public:
virtual void display()
{
cout << "display of B0" << endl;
}
};
输出结果: