环境:2010
代码:
#include <iostream> using namespace std; class A { public: A() { a = 0; cout<<"A::A()"<<endl; } int a; }; class B:protected A { public: B() { i=1; cout<<"B::B()"<<endl; } public: int i; }; int main(void){ B b2; b2.i = 20; A *pp = (A*)&b2; cout<<"pp->a: "<<pp->a<<" "<<"b2.i "<<b2.i<<endl; return 0; } void SetB(int n){ this->a = n; } class B{ public: virtual void Show(){cout<<'B'<<endl;} }; class D:public B{ public: void Show(){cout<<'D'<<endl;} }; void fun1(B* ptr){ptr->Show();} void fun2(B& ref){ref.Show();} void fun3(B b){b.Show();} int main(void){ B b,*p=new D; D d; fun1(p); fun2(b); fun3(d); return 0; }
读者可以思考一下输出结果。
现在来看输出结果:
分析:主函数里基类类型的指针指向派生类,fun1()里传的是指向派生类的指针,又因为函数show是虚函数,所以这里应该调用的是派生类的show方法。fun2()传的是基类的对象,fun2()里是对对象的引用,所以这里应该调用的是基类的show方法。fun3()里传的是对象,即使传的是对象D,但因为fun()里是B对象,初始化时使用的是B类的复制构造函数。由于复制构造函数接收的是B类型的常引用,d又符合类型兼容规则,所以可以作为参数传给它。由于执行的是B的复制构造函数,只要B类型的成员会被复制,d类的不会复制,也没有空间存储,所以生成的是对象是基类的B对象,进而输出的是'B'。
总结:基类的指针可以指向派生类的对象,基类的引用可以作为派生类的别名,但基类的对象不能表示派生类的对象。