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'。

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