基類指針和派生類指針相互賦值的原理是啥?#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實際已經(jīng)指向b所指向的內(nèi)存塊,為啥a->sayhiB();//error不被準許?a指向的不正是new B()嗎? b1 = (B*)a1; b1和a1相同,b1實際指向的應(yīng)該是a1所指的地址才對。為啥b1能訪問到A類所沒有的sayhiB,即b1->sayhiB(); b1不是指向new A()了嗎?為什么還能訪問到B的內(nèi)容? 求解...我機器上的運行結(jié)果 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因為編譯器比較傻,它不像你這么聰明,能夠直接知道這內(nèi)存是誰的。 它所能知道的,那就是你對它的類型聲明,它只會從這個類型中找相應(yīng)的函數(shù)。 另外如果有一個函數(shù)是void func(A* a),在這個func里面,即便你再聰明,你也不會知道這個參數(shù)A* a的內(nèi)存倒是A還是B,那么你希望傻傻的編譯器怎么去做?原帖由 w_anthony 于 2010-1-14 13:49 發(fā)表 http://bbs./images/common/back.gif 因為編譯器比較傻,它不像你這么聰明,能夠直接知道這內(nèi)存是誰的。 它所能知道的,那就是你對它的類型聲明,它只會從這個類型中找相應(yīng)的函數(shù)。 另外如果有一個函數(shù)是void func(A* a),在這個func里面,即便 ... 你就默許是Ahttp://www./,因為其類型申明為A,如果要用B中的函數(shù),只有虛函數(shù)才可以。 可是如果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 發(fā)表 http://bbs./images/common/back.gif 你就默許是A,因為其類型申明為A,如果要用B中http://www.的函數(shù),只有虛函數(shù)才可以。 可是如果void func(B* b),而實際上b確實個A類型,咋辦?編譯器還是以為b是個B類型呢(B:public A,其中B繼承之A)? 你只要把編譯器想成一個傻瓜就行了,既然是B* b,編譯器只會把它當作B處理,不管它是A是B還是毫不相關(guān)的C、D?;貜?fù) #5 w_anthony 的帖子確實是這樣的 但是 原帖中 b1已經(jīng)指向A類的地址,編譯器雖然仍然傻瓜的講b1認為是B類型,但是 不過b1->sayhiB();能正常執(zhí)行結(jié)果,令我理解。 一個指向A類型的指針(b1雖然定義為B型指針,但它指向A類型對象),如何能找到B類型的函數(shù)?你應(yīng)該把編譯器想成一個傻瓜,程序運行后內(nèi)存到底是誰的,這么復(fù)雜的問題連你都未必清楚,編譯器又怎么會知道? 對于編譯器而言,函數(shù)地址不是根據(jù)對 象內(nèi)存找到的,而只是根據(jù)其類型找到的,因為類型這東西一眼就能看出來,完全傻瓜式。只有虛函數(shù)例外,因為它的地址是從對象內(nèi)存頭四個字節(jié)的虛函數(shù)表中找到的,子類繼承父類后會將這四個字節(jié)定位到子類的虛函數(shù)表中,所以才能把復(fù)雜的問題傻瓜化。 另外,你的代碼中沒有訪問B相關(guān)的成員,不出錯很正常。 |
|