基类指针和派生类指针相互赋值的原理是啥?#include <iostream> using namespace std; class A { public: virtual voidsprint() { 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的内容? 求解...我机器上的运行结果 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因为编译器比较傻,它不像你这么聪明,能够直接知道这内存是谁的。 它所能知道的,那就是你对它的类型声明,它只会从这个类型中找相应的函数。 另外如果有一个函数是void func(A* a),在这个func里面,即便你再聪明,你也不会知道这个参数A* a的内存倒是A还是B,那么你希望傻傻的编译器怎么去做?原帖由 w_anthony 于 2010-1-14 13:49 发表 http://bbs./images/common/back.gif 因为编译器比较傻,它不像你这么聪明,能够直接知道这内存是谁的。 它所能知道的,那就是你对它的类型声明,它只会从这个类型中找相应的函数。 另外如果有一个函数是void func(A* a),在这个func里面,即便 ... 你就默许是Ahttp://www./,因为其类型申明为A,如果要用B中的函数,只有虚函数才可以。 可是如果void func(B* b),而实际上b确实个A类型,咋办?编译器还是以为b是个B类型呢(B:public A,其中B继承之A)? [ 本帖最后由 smartvessel 于 2010-1-14 14:02 编辑 ]原帖由 smartvessel 于 2010-1-14 14:00 发表 http://bbs./images/common/back.gif 你就默许是A,因为其类型申明为A,如果要用B中http://www.的函数,只有虚函数才可以。 可是如果void func(B* b),而实际上b确实个A类型,咋办?编译器还是以为b是个B类型呢(B:public A,其中B继承之A)? 你只要把编译器想成一个傻瓜就行了,既然是B* b,编译器只会把它当作B处理,不管它是A是B还是毫不相关的C、D。回复 #5 w_anthony 的帖子确实是这样的 但是 原帖中 b1已经指向A类的地址,编译器虽然仍然傻瓜的讲b1认为是B类型,但是 不过b1->sayhiB();能正常执行结果,令我理解。 一个指向A类型的指针(b1虽然定义为B型指针,但它指向A类型对象),如何能找到B类型的函数?你应该把编译器想成一个傻瓜,程序运行后内存到底是谁的,这么复杂的问题连你都未必清楚,编译器又怎么会知道? 对于编译器而言,函数地址不是根据对 象内存找到的,而只是根据其类型找到的,因为类型这东西一眼就能看出来,完全傻瓜式。只有虚函数例外,因为它的地址是从对象内存头四个字节的虚函数表中找到的,子类继承父类后会将这四个字节定位到子类的虚函数表中,所以才能把复杂的问题傻瓜化。 另外,你的代码中没有访问B相关的成员,不出错很正常。 |
|