基类指针和派生类指针相互赋值的原理是啥？

smartvessel

#include <iostream> using namespace std; class A { public:     virtual void  sprint() {     cout<<"A"<<endl; } A() { } void sayhiA() {      cout<<"say hi from A"<<endl; } }; class B:  public A { public: B() { } void sprint() {     cout<<"B"<<endl; } void sayhiB() {     cout<<"say hi from B"<<endl; } }; int main() {     //例程1：派生类指针赋值给基类指针     A* a = new A();     B* b = new B();     cout<<"address of a ="<<a<<endl;     cout<<"address of b ="<<b<<endl;     a = b;     cout<<"address of a ="<<a<<endl;     cout<<"address of b ="<<b<<endl;     a->sayhiA();     //a->sayhiB();//error     a->sprint();     //例程2：基类指针赋值给派生类指针     A* a1 = new A();     B* b1 = new B();     cout<<"address of a1 ="<<a1<<endl;     cout<<"address of b1 ="<<b1<<endl;     b1 = (B*)a1;     cout<<"address of a1 ="<<a1<<endl;     cout<<"address of b1 ="<<b1<<endl;     b1->sayhiA();     b1->sayhiB();     b1->sprint();     return 0; }

a=b;后，a的地址和b相同，a实际已经指向b所指向的内存块，为啥a->sayhiB();//error不被准许?a指向的不正是new B()吗？

b1 = (B*)a1; b1和a1相同，b1实际指向的应该是a1所指的地址才对。为啥b1能访问到A类所没有的sayhiB，即b1->sayhiB(); b1不是指向new A()了吗？为什么还能访问到B的内容？

求解...

smartvessel

我机器上的运行结果
address of a =0x710218
address of b =0x710228
address of a =0x710228
address of b =0x710228
say hi from A
B
address of a1 =0x721a38
address of b1 =0x721a48
address of a1 =0x721a38
address of b1 =0x721a38
say hi from A
say hi from B
A

w_anthony

因为编译器比较傻，它不像你这么聪明，能够直接知道这内存是谁的。
它所能知道的，那就是你对它的类型声明，它只会从这个类型中找相应的函数。

另外如果有一个函数是void func(A* a)，在这个func里面，即便你再聪明，你也不会知道这个参数A* a的内存倒是A还是B，那么你希望傻傻的编译器怎么去做？

smartvessel

原帖由 w_anthony 于 2010-1-14 13:49 发表
因为编译器比较傻，它不像你这么聪明，能够直接知道这内存是谁的。
它所能知道的，那就是你对它的类型声明，它只会从这个类型中找相应的函数。

另外如果有一个函数是void func(A* a)，在这个func里面，即便 ...

你就默许是A,因为其类型申明为A，如果要用B中的函数，只有虚函数才可以。

可是如果void func(B* b)，而实际上b确实个A类型，咋办?编译器还是以为b是个B类型呢(B:public A,其中B继承之A)？

[ 本帖最后由 smartvessel 于 2010-1-14 14:02 编辑 ]

w_anthony

原帖由 smartvessel 于 2010-1-14 14:00 发表

你就默许是A,因为其类型申明为A，如果要用B中的函数，只有虚函数才可以。

可是如果void func(B* b)，而实际上b确实个A类型，咋办?编译器还是以为b是个B类型呢(B:public A,其中B继承之A)？

你只要把编译器想成一个傻瓜就行了，既然是B* b，编译器只会把它当作B处理，不管它是A是B还是毫不相关的C、D。

smartvessel

确实是这样的
但是
原帖中
b1已经指向A类的地址，编译器虽然仍然傻瓜的讲b1认为是B类型，但是
不过b1->sayhiB();能正常执行结果，令我理解。
一个指向A类型的指针(b1虽然定义为B型指针，但它指向A类型对象)，如何能找到B类型的函数？

w_anthony

你应该把编译器想成一个傻瓜，程序运行后内存到底是谁的，这么复杂的问题连你都未必清楚，编译器又怎么会知道？
对于编译器而言，函数地址不是根据对象内存找到的，而只是根据其类型找到的，因为类型这东西一眼就能看出来，完全傻瓜式。只有虚函数例外，因为它的地址是从对象内存头四个字节的虚函数表中找到的，子类继承父类后会将这四个字节定位到子类的虚函数表中，所以才能把复杂的问题傻瓜化。
另外，你的代码中没有访问B相关的成员，不出错很正常。

smartvessel

thanks:wink: