推 AdonisFlies:謝謝, 我也被那考題搞昏了, 我只是憑印象打出來 01/06 22:00
→ AdonisFlies:帶給大家困擾真不好意思... 01/06 22:00
推 uest:這篇有被m的價值 又豐富又清楚 01/08 00:24
> -------------------------------------------------------------------------- <
作者: WGL (飛揚寒星) 看板: C_and_CPP
標題: [問題] 繼承函式的呼叫
時間: Tue Jan 12 21:33:29 2010
開發平台： (例: VC++ or gcc/g++ or Dev-C++, Windows or Linux)
DevC++
有問題的code： (請善用置底文標色功能)
#include <iostream>
using namespace std;
class AA
{
public:
AA()
{
printf("1");
}
virtual void F1()
{
printf("2");
}
void F2()
{
printf("3");
}
~AA()
{
printf("4");
}
};
class BB : public AA //BB繼承AA
{
public:
BB()
{
printf("5");
}
virtual void F1()
{
printf("6");
}
void F2()
{
printf("7");
}
~BB()
{
printf("8");
}
};
int main()
{
AA v1; // 1
v1.F1(); // 2
v1.F2(); // 3
BB v2; // 4
v2.F1(); // 5
v2.F2(); // 6
AA *v3 = new BB(); // 7
v3->F1(); // 8
v3->F2(); // 9
delete v3; // 10
BB *v4; // 11
// v4->F1(); // 12，不能執行
v4->F2(); // 13
BB *v5 = new BB(); // 14
v5->F1(); // 15
v5->F2(); // 16
delete v5; // 17
system ("pause");
return 0;
}
說明：
這是精華區某位大大的PO文，可是有些問題還是不太懂想請教一下
先是註解編號4,7,14，因為我學到的是繼承的derived class不會自動繼承base class
的constructor，也就是只顯示“5”，可是為何顯示“15”？
再來就是註解10，delete V3時，因為V3指向的是BB的object，所以照理說應該會顯示
“8”，可是結果卻顯示“4”，我只知道沒有virtual的function會執行base class的
但是為何destructor也這樣？難道要把destrucor也virtual？（好像不行）但是
constructor卻是有執行derived class的啊……
還有註解13，v4明明沒有指向任何object但是為何會印出“7”？是virtual的關係？
那virtual不就和static效果一樣了？另外我在試的時候virtual和static不可以同時加
是否也是這個原因？？
最後就是程式結束的時候，照理說註解17只會印出“8”卻印出了“84”……
在system("pause")後也印出了“844”……本以為destroy v2和v1時只會印出84……
繼承裏面的有些呼叫實在弄不懂，還請各位大大不吝賜教，謝謝！！！
--
我寧以頃刻短暫的繁華，換取千年無盡的落寞。
歡迎大家上我的“部落格”：http://coldstar.5d6d.com/forum-2-1.html
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.241.120
※ WGL:轉錄至看板 NTUEE113HW 01/12 21:35
> -------------------------------------------------------------------------- <
作者: LPH66 ((short)(-15074)) 看板: C_and_CPP
標題: Re: [問題] 繼承函式的呼叫
時間: Tue Jan 12 22:04:15 2010
※ 引述《WGL (飛揚寒星)》之銘言：
: 說明：
: 這是精華區某位大大的PO文，可是有些問題還是不太懂想請教一下
: 先是註解編號4,7,14，因為我學到的是繼承的derived class不會自動繼承base class
: 的constructor，也就是只顯示“5”，可是為何顯示“15”？
雖然不會繼承 但是在建構時會先呼叫父 class 的 constructor
: 再來就是註解10，delete V3時，因為V3指向的是BB的object，所以照理說應該會顯示
: “8”，可是結果卻顯示“4”，我只知道沒有virtual的function會執行base class的
: 但是為何destructor也這樣？難道要把destrucor也virtual？（好像不行）但是
: constructor卻是有執行derived class的啊……
destructor 也是可以 virtual 的....
加了 virtual 之後就能夠如你所想的解構了
(也就是說, 10 的答案是 4 的原因正是因為 ~AA 不是 virtual)
: 還有註解13，v4明明沒有指向任何object但是為何會印出“7”？是virtual的關係？
: 那virtual不就和static效果一樣了？另外我在試的時候virtual和static不可以同時加
: 是否也是這個原因？？
我當時給的回答是 12/13兩者差別在於有沒有用到 vptr
因為有 virtual 的函式必須要動態尋找其 vtable 來呼叫對應函式
那個 AA* 如果指向 AA 物件則得要找 AA 的 f1
指向 BB 物件則得要找 BB 的 f1
你可以比較一下 8 和 15 呼叫的是同一個 f1 這表示這兩個物件其實都是 BB
這個功能在 C++ 裡是靠 vptr 達成的
而 12 的地方因為沒有指向任何 object 所以在找 vptr 時就會發生 segment fault
之所以 13 會正常印出東西的原因
你可以比較一下 9 和 16
這兩個完全就是照指標的型態決定它呼叫哪個 f2
也就是說 在沒有 virtual 時 決定是哪個 f2 是根據指標型態決定
因此動不到 vptr 所以 13 的情形中即使指標不合法依然能印出 7
(當然如果 BB 的 f2 裡有用到 this 那一樣會發生 segment fault 就是了)
: 最後就是程式結束的時候，照理說註解17只會印出“8”卻印出了“84”……
: 在system("pause")後也印出了“844”……本以為destroy v2和v1時只會印出84……
: 繼承裏面的有些呼叫實在弄不懂，還請各位大大不吝賜教，謝謝！！！
同樣的 在解構時自己的解構完之後會呼叫父 class 的 destructor
這個行為在 destructor 是 virtual 時也相同
所以即使因為透過 virtual 呼叫到的其實是 BB 的 destructor
在執行完後仍然會回頭呼叫 AA 的 destructor 的
(ie. 此例中如果 ~AA 加上了 virtual 那 10 的答案就會是 84 了)
--
実琴：「河野！你真的就這樣被物質慾望給吸引過去了嗎?!」
亨：「只要穿著女裝擺出親切的樣子，所有必要花費就能全免，似乎一點都不壞啊。」
実琴：「難道你沒有男人的尊嚴了嗎?!」
亨：(斷然道)「沒有。在節衣縮食且生活吃緊的學生面前，沒有那種東西。」
－－プリンセス・プリンセス 第二話
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.28.92
※ 編輯: LPH66 來自: 140.112.28.92 (01/12 22:04)
※ 編輯: LPH66 來自: 140.112.28.92 (01/12 22:11)
※ WGL:轉錄至看板 NTUEE113HW 01/12 22:31
推 WGL:感謝大大的回答！我自己再試了一次,確實AA的constructor必call 01/12 22:39
→ WGL:如果AA(int)，BB就算沒有加呼叫AA建構者的code也會出錯 01/12 22:41
→ WGL:關於vptr的部份也比教懂了，感謝！ 01/12 22:42
> -------------------------------------------------------------------------- <
作者: tinlans ( ) 看板: C_and_CPP
標題: Re: [問題] 繼承函式的呼叫
時間: Tue Jan 12 22:13:35 2010
※ 引述《WGL (飛揚寒星)》之銘言：
: 說明：
: 這是精華區某位大大的PO文，可是有些問題還是不太懂想請教一下
: 先是註解編號4,7,14，因為我學到的是繼承的derived class不會自動繼承base class
: 的constructor，也就是只顯示“5”，可是為何顯示“15”？
這是「呼叫」，
因為 dervied class 的構造包含了 base 的部分，
所以建構的順序是先建構 base 的部分 (使 base 的 constructor 被呼叫)，
再建構 derived 所屬的部分，
解構的順序則是相反。
預設是呼叫 base 的 default constructor，
除非你明確在成員初值列指定其它 base 的 constructor。
: 再來就是註解10，delete V3時，因為V3指向的是BB的object，所以照理說應該會顯示
: “8”，可是結果卻顯示“4”，我只知道沒有virtual的function會執行base class的
: 但是為何destructor也這樣？難道要把destrucor也virtual？（好像不行）但是
: constructor卻是有執行derived class的啊……
為什麼不行？
任何一本書都有跟你說什麼叫 virtual destructor 吧？
: 還有註解13，v4明明沒有指向任何object但是為何會印出“7”？是virtual的關係？
: 那virtual不就和static效果一樣了？另外我在試的時候virtual和static不可以同時加
: 是否也是這個原因？？
因為 F2 不是 dynamic binding 的 virtual function，
所以函式的位址可以在 compile-time 或 linking-time 求得，
member function call 雖然語法上寫成 obj->foo(arg1, arg2)，
但其實它真正的實作是類似 foo(obj, arg1, arg2) 這種東西，
只是把第一個參數隱藏起來，
然後變成所謂的 this 指標罷了，
也就是說即使你的 obj 是個無效值，
只要你在 foo() 裡不要使用到它就不會有事。
v4->F2() 的 F2() 裡沒有使用到任何物件的成員，
只是呼叫了 global 的 printf()，
所以不會出事。
: 最後就是程式結束的時候，照理說註解17只會印出“8”卻印出了“84”……
: 在system("pause")後也印出了“844”……本以為destroy v2和v1時只會印出84……
就像一開始講的，
解構順序是反過來，
先解構 derived 再解構 base，
所以解構子的呼叫順序也是這樣。
--
Ling-hua Tseng (uranus@tinlans.org)
Department of Computer Science, National Tsing-Hua University
Interesting: C++, Compiler, PL/PD, OS, VM, Large-scale software design
Researching: Software pipelining for VLIW architectures
Homepage: http://www.tinlans.org
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 118.160.119.198
※ 編輯: tinlans 來自: 118.160.119.198 (01/12 22:18)
※ WGL:轉錄至看板 NTUEE113HW 01/12 22:31
→ WGL:感謝大大的解答！很抱歉因為我們教授進度太趕，沒講virtual 01/12 22:43
→ WGL:destructor，我曾經去問是不是可以把virtual加在constructor或 01/12 22:43
→ WGL:destructor上面，曰“否”，所以才出現這個愚蠢錯誤@@ 01/12 22:45
推 QQ29:教授也不太會阿 照課本交 哀 01/12 22:51
→ james732:不過C++真的比較難 很多教授應該只對C比較熟 XD 01/12 22:58