赋值兼容规则是指在需要基类对象的任何地方都可以使用公有派生类的对象来替代。通过公有继承,派生类得到了基类中除构造函数、析构函数之外的所有成员,而且所有成员的访问控制属性也和基类完全相同。这样,公有派生类实际就具备了基类的所有功能,凡是基类能解决的问题,公有派生类都可以解决。赋值兼容规则中所指的替代包括以下的情况:
·派生类的对象可以赋值给基类对象。
·派生类的对象可以初始化基类的引用。
·派生类对象的地址可以赋给指向基类的指针。
在替代之后,派生类对象就可以作为基类的对象使用,但只能使用从基类继承的成员。
由此可以得出赋值兼容默认是针对公有继承的,当是保护继承和私有继承时,需要用到强制类型转换,看下面的代码:
#include<iostream>
class parent{
public:
parent(){
std::cout<<"parent construct"<<std::endl;
}
virtual void print(){
std::cout<<"print in parent"<<std::endl;
}
};
class derived:private parent{//same as protected
private://
virtual void print(){
std::cout<<"print in derived"<<std::endl;
}
};
int main(int argc,char** argv){
derived d;
derived * pd=new derived;
//parent par=d;//error
//parent &p1=d;//error;
//parent*pp=pd;//error
parent &p1=*(parent*)&d;
parent*pp=(parent*)pd;
p1.print();
pp->print();
parent p=*(parent*)&d;
p.print();
}
输出:
parent construct
parent construct
print in derived
print in derived
print in parent
赋值兼容是实现多态的一个前提。赋值兼容规则+指针或引用+虚函数==多态
参见:C++Primer第四版15.3.1-3 派生类到基类转换的可访问性