[已解決]有關虛擬函數的疑問

c780702

1. #include <iostream>
   
2. #include <cstdlib>
   
3. using namespace std;
   
4. class CShape                           // 定義抽象類別CShape
   
5. {
   
6.    public:
   
7.       virtual int area()=0;            // 定義area()為泛虛擬函數
   
8.       void show_area()
   
9.       {
   
10.          cout << "area = " << area() << endl;
    
11.       }  
    
12.       ~CShape()                              // ~CShape() 解構元
    
13.       {
    
14.          cout << "~CShape()解構元被呼叫了..." << endl;
    
15.          system("pause");
    
16.       }         
    
17. };
    
18. 
    
19. class CWin : public CShape             // 定義由CShape所衍生出的子類別CWin
    
20. {
    
21.    protected:
    
22.      int width, height;
    
23.      
    
24.    public:
    
25.      CWin(int w=10, int h=10):width(w),height(h){} // CWin()建構元
    
26.      
    
27.      virtual int area() {return width*height; }
    
28.      
    
29.      void show_area() {
    
30.         cout << "CWin物件的面積 = " << area() << endl;
    
31.      }
    
32.      ~CWin()                                                 // ~CWin() 解構元
    
33.      {
    
34.         cout << "~CWin()解構元被呼叫了..." << endl;
    
35.         system("pause");
    
36.      }   
    
37. };
    
38. 
    
39. class CMiniWin : public CWin           // 定義由CWin所衍生出的子類別CMiniWin
    
40. {
    
41.    public:     
    
42.      CMiniWin(int w,int h):CWin(w,h){} // CMiniWin()建構元
    
43.      
    
44.      virtual int area() {
    
45.         return (int) (0.5*width*height);
    
46.      }
    
47.      void show_area(){
    
48.         cout << "CMiniWin物件的面積 = " << area() << endl;
    
49.              }      
    
50.      ~CMiniWin()                              // ~CMiniWin() 解構元
    
51.      {
    
52.         cout << "~CMiniWin()解構元被呼叫了..." << endl;
    
53.         system("pause");
    
54.      }   
    
55. };
    
56. 
    
57. int main(void)
    
58. {
    
59.    CShape *ptr=new CWin(50,60);     
    
60.    ptr->show_area();
    
61.    cout << "銷毀CWin物件..." << endl;
    
62.    delete ptr;
    
63.    cout << endl;     
    
64.    
    
65.    ptr=new CMiniWin(50,50);
    
66.    ptr->show_area();
    
67.    cout << "銷毀CMiniWin物件..." << endl;
    
68.    delete ptr;   
    
69.    cout << endl;
    
70.    
    
71.    CMiniWin m_win(100,100);
    
72.    m_win.show_area();
    
73.    
    
74. 
    
75.    system("pause");
    
76.    return 0;
    
77. }

複製代碼

這個程式碼是錯誤範例
因為61行與67行並不會呼叫正確的show_area()函數
而63行與69行也只會呼叫~CShap()解構元
修正的方法我已經知道了
但我對書本裡對這個程式碼的講解有疑問

書本裡說：
因為執行delete指令時，編譯器所知到的訊息只是ptr的型態為基底類別CShape，而ptr真正指向之物件型態會無法得知，因此編譯器就假設ptr是指向由基底類別所建立之物件。

我的疑問：
然而61行的show_area()函數呼叫是在delete指令之前，60行的CShape *ptr=new CWin(50,60)，不是代表ptr指向CWin(50,60)嗎（動態記憶體配置）？這樣ptr怎麼會不知道指向之物件的型態呢？
66.67行的地方也是，ptr也不知道指向之物件的型態，於是便呼叫錯誤的show_area()函數。
...

瀏覽完整內容，請先 註冊 或 登入會員

kym3

你先拋開上下文，ptr是CSharp類型，destructor和show_area都是普通的成員函數。
當你寫
ptr->show_area()
的時候，編譯器肯定是去CSharp這個類里找函數執行啊。

如果show_area是一個virtual function。
那麼在*ptr的最前面几個字節，會存放一個指針，指向vtable
然后然后show_area這個函數會固定的在vtable中對應一項，比如第二項，或者第四項。

不同的class，他們的instance的vtable不一樣。
...

瀏覽完整內容，請先 註冊 或 登入會員

c780702

vtable書本裡並沒有提到
但在我自己上網搜尋時也有找到一些文章
不過......理解得有些模糊阿

大部分的文章結論是
如果程式碼裡有使用抽象類別，且用指標指向它的話，建議把基底類別裡要留給子類別改寫的函數與解構元均設為virtual
...

瀏覽完整內容，請先 註冊 或 登入會員

snowflying

c780702 發表於 2013-9-2 05:00 PM

下載: 訪客無法瀏覽下載點，請先 註冊 或 登入會員

vtable書本裡並沒有提到
但在我自己上網搜尋時也有找到一些文章
不過......理解得有些模糊阿

...

瀏覽完整內容，請先 註冊 或 登入會員

kym3

C++中的類型可以分為POD類型和非POD類型。POD是plain old type。


通俗來說，POD類型就是C語言里面的struct和union。凡是有虛函數的，都不是POD類型。...

瀏覽完整內容，請先 註冊 或 登入會員