類屬

類屬是一種參數多態的機制，一個類屬類是關於一組類的一個特性抽象，它強調的是這些類的成員特徵中與具體類型無關的那些部分，而用變元來表示與具體類型相關的那些部分。

基本介紹

在面向對象技術中，對象在收到信息後要予以回響。不同的對象收到同一訊息可產生完全不同的結果，這一現象稱為多態。多態有多重不同的形式，其中參數多態和凶催您包含多態稱為通用多態，過載多態和強制多態稱為特定多態。

在面向對象技術中，對象在收到信息後要予以回響，不同的對象收到同一消嫌乎辨息可產生完全不同的結連故射果，這一現象稱為多態。在使用多態技術時，用戶可以傳送一個通用的訊息，而實現的細節則由接受對象自行決定，這重疊樣同一訊息就可以調用不同的方法。多態有多種不同的形式，其中參數多態和包含多態稱為通用多態，過載多態和強制多態成為特定多態。

參數多態套用範圍比較廣泛，被稱為最純的多態。這是因為同一對象、函式或過程能以一致的形式用於不同的類型。包含多遷汽盼態最常見的例子就是子類型化，即一個類型是另一個類型的子類型。過載多態是同一變數被用來表示不同的功能，通過上下文語義決定一個類所代表的功能。即通過語法對不同語義的對象使用相同的名，編譯能過消除這一模糊。強制多態是通過語義操作把一個變元的類型加以變換，以符合一個函式的要求，如果不做這一強制性變換將出現類型錯誤。類型的變換可在編譯時完成，通常是隱式地進行，當然也可以在動態運行時來做。

類屬性

類屬類（Generic Class）僅描述了適用於緊湊類型的通用模板，由於其中所處理對象的數據類型尚未確定，因而程式設計師不可用類屬類直接創建對象實例，即一個類屬類並不是一種真正的類類型。

類屬類必須經過實例化後才能成為可創建對象實例的類類型。類屬類的實例化是指用某一數據類型替代類屬類的類型參數。類屬類定義中給出的類型參數稱為形式類屬參數，類屬類實例化時給出的類型參數稱為實際類屬參數。如果類屬類實例化的實際類屬參數可以是任何類型，那么這埋想去糠種類屬類稱為無約束類屬類。然而在某些情況下，類屬類可能要求實際類屬參數必須具有某些特殊的性質危臭拜糊，以使得在類屬類中可套用某些特殊操作，這種類屬類稱為受約束類屬類。