類是一組具有相同數(shù)據(jù)結構和相同操作的對象的集合，是對對象的抽象定義，類與對象是抽象描述與具體實例的關系，一個具體的對象被稱為類的一個實例。

類屬類描述了適用于一組類型的通用樣板，由于所處理對象的數(shù)據(jù)類型尚未確定，因此不可用類屬類直接創(chuàng)建對象實例，即一個類屬類并不是一種真正的類類型，類屬類的實例化是指用某一數(shù)據(jù)類型替代類屬類的類型參數(shù)。類屬類定義中給出的類型參數(shù)稱為形式類屬參數(shù)，類屬類實例化時給出的類型參數(shù)為實際類屬參數(shù)。如果類屬類實例化的實際類屬參數(shù)可以是任何類型，這種類屬類稱為無約束類屬類，如果要求實際類屬參數(shù)必須具有某些特殊的性質，稱為約束類屬類。