当把一个派生类对象赋给一个基类对象时,会发生对象切割。(另外用基类对象强制转换派生类对象也会)
对象切割会发生什么呢?
#include <iostream>
using namespace std;
class CShape
{
public:
CShape ()
{
m_color=0;
}
~CShape(){}
virtual void draw()
{
cout<<"This is a shape!"<<endl;
cout<<m_color<<endl;
}
double m_color;
};
class CRect: public CShape
{
public:
CRect()
{
m_width=5;
m_height=4;
m_color=1;
}
~CRect(){};
double size()
{
return m_width*m_height;
}
virtual void draw()
{
cout<<"This is a rect!"<<endl;
cout<<m_color<<endl;
}
double m_width;
double m_height;
};
int main(int argc, char* argv[])
{
CShape shp;
CRect rect;
shp = rect;
shp.draw();
((CShape)rect).draw();//注意此行
CShape *pShape=new CShape();
*pShape=rect;//对象切割
pShape->draw();
pShape=▭//多态实现,
pShape->draw();
return 0;
}
shp=rect; 会调用 CShape的默认赋值函数,shp的CShape属性值与rect相同,但其虚函数表指针指向基类CShape虚函数表。
((CShape)rect).draw(); 会调用CShape默认的拷贝构造函数,生成一个中间变量,其虚函数表指针指向基类CShape虚函数表。
多态的实现是通过指针和引用;而对象的转换只会造成对象切割,不能实现多态。
注意下面两句的不同
*pShape=rect;//对象切割
pShape=▭//多态
附基类和派生类对象间赋值的问题:
class A
{
}
Class B:public A
{
}
A a_object;
B b_object;
有关
(1)a_boject=b_object;
(2)b_object=a_boject;
的说明。
==============
(1)aobject=bobject; 调用default A::operator =,由编译器自动生成,它的函数声明大致类似于:A operator = (A rhs),反正=号右边要求是一个A的对象,bobject作为A的子类对象亦是可行的,只不过传递过程中会产生“截断”。
(2)bobject=aobject; 调用default B::operator =,也由编译器自动生成,它的函数声明大致类似于:B operator = (B rhs),这里=号右边要求是一个B的对象,aobject这时就不可行了。(编译器将报错)
这时,单单重载B::operator =也无济于事,因为你无法改变operator = 函数参数必须是B对象的这个事实。要实现bobject=aobject;可以重载强制类型转换函数,也可以利用编译器隐式类型转换的能力,如:
class A
{
public:
A(){}
};
class B:public A
{
public:
B(){}
B(A a){}//必须有
};
A aobject;
B bobject;
int main()
{
a_object=b_object;
b_object=a_object;
return 0;
}
--------------------------------------
Class 对象作参数时,用reference to const替换pass by value可避免对象切割。