新聞中心
以前我有個錯誤的觀點:即使在C++和java中多態(tài)性的實現(xiàn)機制可能不同,但它們的表現(xiàn)形式應該相同,也就是說如果代碼結構相同,那么執(zhí)行結果也應該相同??上屡c愿違,事情并不總是我想象中的那樣子,那么C++和java多態(tài)到底有何區(qū)別呢?

創(chuàng)新互聯(lián)建站擁有十余年成都網站建設工作經驗,為各大企業(yè)提供成都網站建設、成都做網站服務,對于網頁設計、PC網站建設(電腦版網站建設)、成都APP應用開發(fā)、wap網站建設(手機版網站建設)、程序開發(fā)、網站優(yōu)化(SEO優(yōu)化)、微網站、域名與空間等,憑借多年來在互聯(lián)網的打拼,我們在互聯(lián)網網站建設行業(yè)積累了很多網站制作、網站設計、網絡營銷經驗,集策劃、開發(fā)、設計、營銷、管理等網站化運作于一體,具備承接各種規(guī)模類型的網站建設項目的能力。
首先我們提一下多態(tài)性的概念。根據(jù)Bjarne Stoustrup的說法,多態(tài)性其實就是方法調用的機制,也就是說當在編譯時無法確定一個對象的實際類型時,應當能夠在運行時基于對象的實際類型來決定調用的具體方法(動態(tài)綁定)。
我們先來看一下在C++中的函數(shù)調用方式:
- 普通函數(shù)調用:具體調用哪個方法在編譯時間就可以決定(通過查找編譯器的符號表),同時在使用標準過程調用機制基礎上增加一個表示對象身份的指針(this指針)。
- 虛函數(shù)調用:函數(shù)調用依賴于對象的實際類型,一般地說,對象的實際類型只能在運行時間才能確定。虛函數(shù)一般要有兩個步驟來支持,首先每一個類產生出一堆指向虛函數(shù)的指針,放在表格中,這個表格就叫虛函數(shù)表(virtual table);然后每一個類對象(class object)會添加一個指向相關虛函數(shù)表(virtual table)的指針,通常這個指針叫做vptr。
在java中又是如何的呢?恩,區(qū)別還是滿大的。在java虛擬機中,類實例的引用就是指向一個句柄(handle)的指針,而該句柄(handle)其實是一對指針:其中一個指針指向一張表,該表格包含了對象的方法列表以及一個指向類對象(表示對象類型)的指針;另一個指針指向一塊內存地址,該內存是從java堆中為對象的數(shù)據(jù)而分配出來的。
這時,你可能會說,好象差不多嘛,不是都要維護一張函數(shù)表嗎?別急,讓我們先看一下例子,這樣你就能更好的理解它們之間的區(qū)別到底有多大了。
下面是C++和java的例子,不看后面的答案,你能夠正確說出它們的執(zhí)行結果嗎?
例1:C++
- class Base
- {
- public:
- Base()
- {
- init();
- }
- virtual ~Base() {}
- public:
- virtual void do_init()
- {
- init();
- }
- protected:
- virtual void init()
- {
- cout << "in Base::init()" << endl;
- }
- };
- class Derived : public Base
- {
- public:
- Derived()
- {
- init();
- }
- protected:
- void init()
- {
- cout << "in Derived::init()" << endl;
- }
- };
- int main(int argc, char* argv[])
- {
- Base* pb;
- pb = new Derived();
- delete pb;
- return 0;
- }
例2:java
- class Base
- {
- public Base()
- {
- init();
- }
- protected void init()
- {
- System.out.println("in Base::init()");
- }
- public void do_init()
- {
- init();
- }
- }
- class Derived extends Base
- {
- public Derived()
- {
- init();
- }
- protected void init()
- {
- System.out.println("in Derived::init()");
- }
- }
- public class Test
- {
- public static void main(String[] args)
- {
- Base base = new Derived();
- }
- }
例1的執(zhí)行結果是:
- in Base::init()
- in Derived::init()
例2的執(zhí)行結果是:
- in Derived::init()
- in Derived::init()
看了結果后,你是馬上頓悟呢抑或是處于疑惑中呢?ok,我們來分析一下兩個例子的執(zhí)行過程。
首先看一下例1(C++的例子):
1. Base* pb; 只是聲明,不做什么。
2. pb = new Derived();
1) 調用new操作符,分配內存。
2) 調用基類(本例中是Base)的構造函數(shù)
3) 在基類的構造函數(shù)中調用init(),執(zhí)行程序首先判斷出當前對象的實際類型是Base(Derived還沒構造出來,當然不會是Derived),所以這里調用的是Base::init()。
4) 調用派生類(本例中是Derived)的構造函數(shù),在這里同樣要調用init(),執(zhí)行程序判斷出當前對象的實際類型是Derived,調用Derived::init()。
3. delete pb; 無關緊要。
例2(java的例子)的執(zhí)行過程:
1. Base base = new Derived();
1) 分配內存。
2) 調用基類(本例中是Base)的構造函數(shù)
3) 在基類的構造函數(shù)中調用init(),執(zhí)行程序首先判斷出當前對象的實際類型是Derived(對,Derived已經構造出來,它的函數(shù)表當然也已經確定了)所以這里調用的是Derived::init()。
4) 調用派生類(本例中是Derived)的構造函數(shù),在這里同樣要調用init(),執(zhí)行程序判斷出當前對象的實際類型是Derived,調用Derived::init()。
明白了吧。java中的類對象在構造前(調用構造函數(shù)之前)就已經存在了,其函數(shù)表和對象類型也已經確定了,就是說還沒有出生就已經存在了。而C++中只有在構造完畢后(所有的構造函數(shù)都被成功調用)才存在,其函數(shù)表和對象的實際類型才會確定。所以這兩個例子的執(zhí)行結果會不一樣。當然,構造完畢后,C++與java的表現(xiàn)就都一樣了,例如你調用Derived::do_init()的話,其執(zhí)行結果是:
- in Derived::init()
個人認為,java中的多態(tài)實現(xiàn)機制沒有C++中的好。還是以例子說明吧:
例子3:C++
- class Base
- {
- public:
- Base()
- {
- init();
- }
- virtual ~Base() {}
- protected:
- int value;
- virtual void init()
- {
- value = 100;
- }
- };
- class Derived : public Base
- {
- public:
- Derived()
- {
- init();
- }
- protected:
- void init()
- {
- cout << "value = " << value << endl;
- // 做一些額外的初始化工作
- }
- };
- int main(int argc, char* argv[])
- {
- Base* pb;
- pb = new Derived();
- delete pb;
- return 0;
- }
例4:java
- class Base
- {
- public Base()
- {
- init();
- }
- protected int value;
- protected void init()
- {
- value = 100;
- }
- }
- class Derived extends Base
- {
- public Derived()
- {
- init();
- }
- protected void init()
- {
- System.out.println("value = " + value);
- // 做一些額外的初始化工作
- }
- }
- public class Test
- {
- public static void main(String[] args)
- {
- Base base = new Derived();
- }
- }
例3的執(zhí)行結果是:
- value = 10
例4的執(zhí)行結果是:
- value = 0
- value = 0
從以上結果可以看出,java例子中應該被初始化的值(這里是value)沒有被初始化,派生類根本不能重用基類的初始化函數(shù)。試問,如果初始化要在構造時完成,并且初始化邏輯比較復雜,派生類也需要額外的初始化,派生類是不是需要重新實現(xiàn)基類的初始化函數(shù)呢?這樣的面向對象方法好不好呢?歡迎大家討論。
新聞名稱:C++和java多態(tài)的區(qū)別
網站鏈接:http://fisionsoft.com.cn/article/cdscdcc.html


咨詢
建站咨詢
