什麼是 Common Language Specification？
若要充分與其他物件互動而不論實作它們的語言為何，這些物件必須只向呼叫端公開能在所有要交互作業之語言通用的功能。因此定義了 Common Language Specification (CLS)，它是一組很多應用程式需要的基本語言功能。CLS 規則定義了通用型別系統的子集，也就是說，除非 CLS 中已另外定義了更嚴格的規則，否則所有適用於通用型別系統的規則都適用於 CLS。CLS 藉由定義一組開發人員可以在各種不同語言上使用的功能，來增進和確保語言的互通性。CLS 也建立了 CLS 相容性的需求；這些可以協助您判斷您的 Managed 程式碼是否符合 CLS，以及某種特定工具對於使用 CLS 功能之 Managed 程式碼的開發可以支援到什麼程度。
如果您的元件在它公開給其他程式碼 (包括衍生類別) 的 API 中只使用 CLS 功能，那麼保證從任何支援 CLS 的程式語言都能夠存取這個元件。遵循 CLS 規則和只使用 CLS 中所含功能的元件，就被稱為 CLS 相容的元件。
大部分由 .NET Framework 類別庫 (Class Library) 中型別所定義的成員都 CLS 相容。但是，類別庫中也有些型別會擁有一個或多個與 CLS 不相容的成員。這些成員能夠支援 CLS 中所沒有的語言功能。這些與 CLS 不相容的型別和成員都已標註於參考文件中，而且在所有情況下，都有 CLS 相容的替代項目可供使用。如需 .NET Framework 類別庫中型別的詳細資訊，請參閱 .NET Framework 參考。
CLS 在設計上就是希望能大到足夠包括開發人員通常所需的語言建構，而又要小到讓大部分語言都能夠支援它。除此而外，會導致無法快速驗證程式碼型別安全 (Type Safety) 的任何語言建構都已排除在 CLS 之外，讓所有 CLS 相容的語言都能產生可驗證的程式碼 (如果它們選擇這樣做的話)。如需型別安全驗證的詳細資訊，請參閱 JIT 編譯。
以下表格摘要了 CLS 中的各項功能，並且指示這些功能是否同時適用於開發人員與編譯器兩者 (所有) 或僅適用於編譯器。它的目的在提供資訊，而非包羅萬象。如需詳細資訊，請參閱隨同 .NET Framework SDK 安裝的 Tool Developers Guide 目錄中 Common Language Infrastructure, Partition I 的規格。
| 功能 | 適用於 | 說明 |
|---|---|---|
| 一般 | ||
可視性 |
全部 | CLS 規則只適用於型別公開於定義之組件以外的部分。 |
全域成員 |
全部 | 全域靜態欄位和方法與 CLS 不相容。 |
| 命名 | ||
字元和大小寫 |
全部 | CLS 相容的語言編譯器必須遵守 Unicode Standard 3.0 技術報告 15 附錄 7 的各項規則，它規定了可以啟始及包括在識別項中的字元集。這項標準可在以下網站取得：www.unicode.org/unicode/reports/tr15/tr15-18.html。
若要識兩個識別項被視為有區別，它們不能僅僅是大小寫不同而已。 |
關鍵字 |
編譯器 | CLS 相容的語言編譯器提供了一種機制，可參考與關鍵字相符之識別項。CLS 相容的語言編譯器也提供了一種機制，可定義或強制取代其名稱為語言中關鍵字的虛擬方法。 |
唯一性 |
全部 | 在 CLS 相容範圍內的所有名稱必須與其他名稱不同 (即使這些名稱是兩種不同的成員)，但名稱相同且透過多載化 (Overloading) 解析者除外。例如，CLS 不允許單一型別對方法和欄位使用同樣的名稱。 |
簽名碼 |
全部 | 出現在型別或成員簽名碼 (Signature) 中的所有傳回型別和參數型別必須 CLS 相容。 |
| 型別 | ||
基本型別 |
全部 | .NET Framework 類別庫包含了對應到編譯器所使用基本資料型別的型別。在這些型別中，與 CLS 相容的有：Byte、Int16、Int32、Int64、Single、Double、Boolean、Char、Decimal、IntPtr 和 String。如需這些型別的詳細資訊，請參閱 .NET Framework 類別庫中的型別表。 |
Boxed 型別 |
全部 | Boxed 數值型別 (尚未轉換為物件的數值型別) 不是 CLS 的一部分。替代方式是依需要使用 System.Object、System.ValueType 或 System.Enum。 |
可視性 |
全部 | 型別和成員宣告不可含有比被宣告之型別或成員更不容易看見或存取的型別。 |
介面方法 |
編譯器 | CLS 相容的語言編譯器必須擁有適合以下情況的語法：單一型別實作兩個介面，而且每個介面都需要具有相同名稱和簽名碼的方法定義。這些方法必須被視為不同，而且不需要相同的實作。 |
關閉 |
全部 | CLS 相容的介面和抽象類別的個別成員必須被定義為 CLS 相容。 |
建構函式引動過程 |
全部 | 建構函式必須先呼叫基底類別 (Base Class) 的建構函式，然後才能存取任何繼承的執行個體 (Instance) 資料。 |
具型別的參考 |
全部 | 具型別的參考與 CLS 不相容(具型別的參考是一種含有物件參考和型別參考的特殊建構。具型別的參考可以讓 Common Language Runtime 對具有可變數目引數的方法提供 C++ 樣式支援)。 |
| 型別成員 | ||
多載化 |
全部 | 索引的屬性、方法和建構函式可以多載；欄位和事件則不可多載。
屬性不可由型別 (亦即，由其 Getter 方法的傳回型別) 多載，但是可以使用不同的索引數目或型別多載。 方法只允許依據其參數的數目和型別多載。 運算子多載不在 CLS 規範中。但是，CLS 對於指供有用的名稱 (例如 Add()) 和設定中繼資料中的位元提供了一些指導原則。支援運算子多載的編譯器應該遵循這些指導原則，但是並非必須如此。 |
多載成員的唯一性 |
全部 | 欄位和巢狀型別必須僅以識別項比對來區別。具有相同名稱 (以識別項比對) 的方法、屬性和事件不可僅只是傳回型別不同而已。 |
轉換運算子 |
全部 | 如果 op_Implicit 或 op_Explicit 已多載於其傳回型別上，就必須提供另一種提供轉換的替代方式。 |
| 方法 | ||
被強制取代之方法的存取範圍 |
全部 | 在強制取代繼承的方法時，不得變更其存取範圍；但強制取代以 FamilyOrAssembly 存取範圍從不同組件所繼承的方法除外。在這種情況下，強制取代必須具有 Family 存取範圍。 |
引數清單 |
全部 | CLS 所支援的唯一呼叫慣例是標準的 Managed 呼叫慣例；不允許可變長度引數清單 (如需可變數目的引數支援，請使用 Microsoft Visual Basic 中的 ParamArray 關鍵字和 C# 中的 params 關鍵字)。 |
| 屬性 | ||
存取子 (Accessor) 中繼資料 |
編譯器 | 實作屬性之方法的 Get 存取子和 Set 存取子方法，在中繼資料中會以 mdSpecialName 識別項所標記。 |
存取子存取範圍 |
全部 | 屬性及其存取子的存取範圍必須相同。 |
修飾詞 |
全部 | 屬性及其存取子必須全部為 static、全部為 virtual 或全部為 instance。 |
存取子名稱 |
全部 | 屬性必須遵循特定的命名模式。對於稱為 Name 的屬性，其 Get 存取子方法 (如果已定義) 將會被稱為 get_Name，而其 Set 存取子方法 (如果已定義) 將會被稱為 set_Name。 |
傳回型別和引數 |
全部 | 屬性的型別是 Get 存取子的傳回型別和 Set 存取子最後一個引數的型別。屬性參數的型別是 Get 存取子參數的型別和 Set 存取子除了最後一個參數之外的所有參數型別。所有這些型別都必須與 CLS 相容，而且不能是 Managed 指標；它們不能以傳址 (By Reference) 方式傳遞。 |
| 事件 | ||
事件方法 |
全部 | 加入和移除事件的方法，兩者必須同時存在或同時不存在。 |
事件方法中繼資料 |
編譯器 | 實作事件的方法在中繼資料中必須以 mdSpecialName 識別項標記。 |
存取子存取範圍 |
全部 | 加入、移除及引發事件之方法的存取範圍必須相同。 |
修飾詞 |
全部 | 加入、移除及引發事件的方法，必須全部為 static、全部為 virtual 或全部為 instance。 |
事件方法名稱 |
全部 | 事件必須遵循特定的命名模式。對於名為 MyEvent 的事件，其加入方法 (如果已定義) 將會命名為 add_MyEvent，其移除方法 (如果已定義) 將會命名為remove_MyEvent，而其引發方法將會命名為 raise_MyEvent。 |
引數 |
全部 | 加入和移除事件的方法必須各自接受一個定義事件型別的參數，而且這個型別必須是從 System.Delegate 衍生。 |
| 指標型別 | ||
指標 |
全部 | 指標型別和函式指標型別都與 CLS 不相容。 |
| 介面 | ||
成員簽名碼 |
全部 | CLS 相容的介面不可要求與 CLS 不相容之方法的定義來實作它們。 |
成員修飾詞 |
全部 | CLS 相容的介面不可定義靜態方法，也不可定義欄位。它們可以定義屬性、事件及虛擬方法。 |
| 參考型別 | ||
建構函式引動過程 |
全部 | 對於參考型別，物件建構函式只會被呼叫做為建立物件的一部分，而且這些物件只會被初始化一次。 |
| 類別型別 | ||
繼承 |
全部 | CLS 相容的類別必須從 CLS 相容的類別繼承 (System.Object 為 CLS 相容)。 |
| 陣列 | ||
元素型別 |
全部 | 陣列元素必須是 CLS 相容的型別。 |
維度 (Dimension) |
全部 | 陣列必須具有大於零的維度數目。 |
範圍 |
全部 | 陣列的所有維度下限都必須為零。 |
| 列舉型別 | ||
基礎型別 |
全部 | 列舉型別 (Enumeration) 的基礎型別必須是內建的 CLS 整數型別 (Byte、Int16、Int32 或 Int64)。 |
FlagsAttribute |
編譯器 | 在列舉型別的定義上出現 System.FlagsAttribute 自訂屬性 (Attribute)，表示應該將這個列舉型別視為一組位元欄位 (旗標)；如果沒有出現這個屬性，則表示應該將這個型別視為列舉常數的群組。建議各種語言應使用 FlagsAttribute 或語言專用語法來區別這兩種列舉的型別。 |
欄位成員 |
全部 | 列舉型別的常值 (Literal) 靜態欄位必須與列舉型別本身同一型別。 |
| 例外狀況 (Exception) | ||
繼承 |
全部 | 被擲回的物件必須為 System.Exception 型別，或從 System.Exception 繼承。 |
| 自訂屬性 | ||
值的編碼方式 |
編譯器 | CLS 相容的編譯器必須只處理自訂屬性編碼方式 (自訂屬性在中繼資料中的表示方式) 的子集。允許出現在這些編碼中的型別只有：System.Type、System.String、System.Char、System.Boolean、System.Byte、System.Int16、System.Int32、System.Int64、System.Single、System.Double，和以 CLS 相容的基底整數型別為基礎的任何列舉型別。 |
| 中繼資料 | ||
CLS 相容性 |
全部 | 型別之 CLS 相容性與定義這些型別之組件的相容性不同者，必須以 System.CLSCompliantAttribute 據實標記。同理，成員之 CLS 相容性與其型別不同者，亦應予以標記。如果將成員或型別標記為與 CLS 不相容，就必須提供 CLS 相容的替代項目。 |