JAVA DotNET C++泛型比較

一、C++
模板

編譯時間，模板機制，產生相對應的實際類型或者函數，運行時看不到泛型。

缺點：會導致代碼膨脹。

優點：C++模板基於簽名的隱式約束，靈活性高

二、JAVA

編譯時間，搽試法，沒有在虛擬機器層改動，java編譯器支援泛型型別檢查，java編譯器只是做了型別安全的控制，泛型的預留位置號還是object，對泛型的支援非常弱。其實就是參數類型為Object，和C++的模板機制相對，只有一個類型，所有泛型均共用一個模板（參數都為Object）。

優點：不會導致代碼膨脹

缺點：只能使用參數Object的介面，對泛型支援比較弱

 

三、DotNet

運行時泛型，CLR在運行時支援泛型，在各個支援CLR的語言進行無縫操作。C#泛型在編譯為IL和中繼資料時，使用特殊預留位置來表示泛型型別，T只作為預留位置，並用專用的IL指令支援泛型操作。而真正的泛型執行個體化以“on-demand”的方式，發生在JIT編譯時間。一般而言，所有的參考型別的泛型執行個體共用一個模板，而為一個不同的實值型別，產生獨立的代碼。對於參考型別，本質上都是指標，處理就相當於java的茶室法。

優點：1不會導致C++中代碼膨脹的問題；

2因為是JIT編譯時間執行個體化，可以應用於反射；

3可以使用泛型參數約束來實現對型別參數的顯式約束；

     
4型別安全，不用向下轉換，尤其是裝箱拆箱操作。

 

C#泛型小結：

泛型型別支援：類，介面，委託，結構以及方法成員；

泛型約束包括：基類，介面，構造器，實值型別/參考型別；