C++虚函数探讨(一)

环境：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'。

总结：基类的指针可以指向派生类的对象，基类的引用可以作为派生类的别名，但基类的对象不能表示派生类的对象。