[[281872]]

面向?qū)ο罂梢哉f是各大語言一個重要的特性了，不過如果我們換個角度，在內(nèi)存中看看對象的布局，就會發(fā)現(xiàn)根本沒有什么面向?qū)ο螅挥忻嫦蜻^程。

讓我們從一個簡單的Shape類開始，這個類有兩個字段int x, int y， 它們在內(nèi)存中是這么存放的：

非常容易理解，對吧?

再來看一下繼承， class Circle繼承了Shape，增加了一個字段radius， Circle對象在內(nèi)存中是這樣的：

這也沒什么大不了的，但是這里只是字段(x,y,radius)， 如果Shape類有個方法：draw()，在內(nèi)存中該怎么放?

首先，不能把draw()方法都放在每個對象上，那樣就需要復制很多份，太浪費了。

我們可以把這個draw()方法在內(nèi)存中生成一份， 然后在每個對象上增加一個指針，指向這個draw()方法就行了。

(三個Shape對象，都指向了同一個代碼)

但是這么做也有問題， 如果Shape類又增加了一個方法 move() ，那每個對象都需要記錄move方法的指針：

如果方法很多，對象也很多，還是浪費!

很明顯，我們需要一個中間層， 用這個中間層把所有函數(shù)指針都記下來。這個中間層就是所謂的虛函數(shù)表：

每個類，只要維持一個虛函數(shù)表就可以了。

每個對象，只要記錄一個虛函數(shù)表的地址就可以了。

當然，也可以在虛函數(shù)表中記錄一些關(guān)于這個類的相關(guān)信息，不是本文的重點，就不展開了。

為什么叫做虛函數(shù)表呢?這個概念可能是從C++中來的，在C++中有個關(guān)鍵字virtual ，修飾一個函數(shù)的時候，這個函數(shù)就會變?yōu)樘摵瘮?shù)，在調(diào)用時就具備了多態(tài)的行為。(注：在Java中，一個類的函數(shù)默認都是虛函數(shù))

那多態(tài)到底是怎么實現(xiàn)的呢?

非常簡單，只要把虛函數(shù)表給設(shè)置好就行了。假設(shè)子類Circle 也定義了一個move 函數(shù)，把父類Shape的move函數(shù)覆蓋了，在內(nèi)存將會是這個樣子：

當你調(diào)用circle.draw()的時候，在虛函數(shù)表中找到的還是Shape類的draw()方法。

但是當調(diào)用circle.move()的時候，就會從Circle類的虛函數(shù)表中找到Circle.move()，而不是Shape.move()，多態(tài)發(fā)生了!

仔細看看上面這張圖，在內(nèi)存中，三個方法和兩個對象是分開的，這里沒有Class的概念，多態(tài)是通過虛函數(shù)表實現(xiàn)的。如果我們寫程序的時候，寫下這樣的函數(shù)Shape_draw(), Shape_move(), Circle_move()，再寫下Shape和Circle這樣的數(shù)據(jù)結(jié)構(gòu)，然后把他們用虛函數(shù)表連接到一起。也就實現(xiàn)了面向?qū)ο罅恕?/p>

在內(nèi)存中，“面向?qū)ο?rdquo;已經(jīng)褪去漂亮的包裝，退化成“面向過程”， 退化成那個最基本的公式：程序 = 數(shù)據(jù)結(jié)構(gòu) + 算法。

當然，在絕大部分情況下，程序員不需要手工地去實現(xiàn)這個虛函數(shù)表，這件事情應(yīng)該交給機器去做。

對于C++，編譯器可以在編譯期間生成虛函數(shù)表。對于Java，編譯出的字節(jié)碼中是沒有的，只有invokevirtual這樣的指令，虛函數(shù)表是在類裝入虛擬機的時候創(chuàng)建的。