上一篇：ECMA-335(CLI)標(biāo)準(zhǔn) 讀書筆記（第一部：概念和架構(gòu) 1~6章）

?

7.?????? CLS

7.1?? 介紹

CLS是一套傾向于提高語言互操作性的一套規(guī)則。我們應(yīng)當(dāng)遵循這些規(guī)則。11章將詳盡得描述和總結(jié)。CLS的一致性是為CLI實(shí)現(xiàn)而生的類型的一個特征。這種類型除了遵循CLS規(guī)則外還必須遵從于CLI標(biāo)準(zhǔn)。這些額外的規(guī)則只應(yīng)用于集合間可見而不是集合里定義的類型，也應(yīng)用于集合外可訪問的成員，也就是那些有public，family(不含sealed類型)，family-or-assembly(不含sealed類型)可訪問性的類型。

【注意：構(gòu)成CLS兼容代碼的庫在這兒被作為framework使用。為CLI產(chǎn)生代碼的編譯器能夠用這些庫，但不能產(chǎn)生或擴(kuò)展這些庫代碼。這些編譯器被作為consumers使用。能產(chǎn)生并擴(kuò)展frameworks的編譯器被作為extenders使用。在每個CLS規(guī)則的描述中，額外的文本信息用于幫助讀者理解規(guī)則在每種情況下的意思。】

7.2?? CLS遵循性的觀點(diǎn)

CLS是一套用于產(chǎn)生集合的規(guī)則。因?yàn)?/span>CLS被設(shè)計(jì)為支持庫和用于編寫它們的高級語言的互操作性，所以通常需要從高級源碼和工具的角度考慮CLS規(guī)則，譬如用于產(chǎn)生集合的編譯器。因?yàn)檫@個原因，CLS規(guī)則的描述中加了些標(biāo)注信息來幫助讀者理解規(guī)則在幾種不同的工具和用戶的類中的意義。這就是那些：framework, consumer, extender。

7.2.1????????? CLS framework

構(gòu)成CLS兼容庫的代碼在這兒被作為framework使用。Frameworks被設(shè)計(jì)用于廣泛的編程語言和工具，包括CLS consumer和extender語言。遵循CLS規(guī)則能使庫的作者確保庫能被更廣泛的工具類使用。下面就是應(yīng)當(dāng)遵循的規(guī)則：

·???????? 避免使用常用的名字作為編程語言中的關(guān)鍵字

·???????? 不要期望framework的用戶能寫嵌套類型

·???????? 假定來自不同接口的同名方法的實(shí)現(xiàn)是獨(dú)立的

·???????? 不要指望值類型的初始化能被自動賦予指定的初始化值

·???????? 假設(shè)用戶能夠理解使用泛型和方法，但不要要求他們?nèi)ザx新的泛型及方法，重載已存在的泛型及方法或者部分處理已創(chuàng)建的泛型。

CLS規(guī)則的標(biāo)準(zhǔn)文本見7.2章的最后部分。

7.2.2????????? CLS consumer

CLS consumer 是一種被設(shè)計(jì)為允許訪問CLS兼容框架所有特征的語言或工具，但并不需要去產(chǎn)生它們。下面是CLS consumer被期望做到的一些事情：

·???????? 支持調(diào)用任何CLS兼容的方法或委托。

·???????? 具有一種調(diào)用名字在語言中是關(guān)鍵字的方法的機(jī)制。

·???????? 支持調(diào)用獨(dú)特的方法，這些方法的類型有相同的名字和簽名，但是實(shí)現(xiàn)不同的接口。

·???????? 創(chuàng)建任何一個CLS兼容類型的實(shí)例。

·???????? 讀取和修改任何CLS兼容的字段。

·???????? 訪問嵌套類型。

·???????? 訪問任何CLS兼容的屬性。除了調(diào)用getter和setter屬性的方法外不需要任何特殊支持。

·???????? 訪問任何CLS兼容的事件。除了調(diào)用為事件而定義的方法外不需要任何特殊支持。

·???????? 有一種導(dǎo)入、實(shí)例化和使用泛型和泛型方法的機(jī)制。

【注：Consumers應(yīng)該考慮支持：

·???????? 為了匹配語言定義的規(guī)則，對泛型方法做類型推斷；

·???????? 在公共的父類型中構(gòu)造語法來明晰模糊的部分】

下面列出了CLS consumer工具不需要支持的：

·???????? 創(chuàng)建新類型或接口。

·???????? 除了static literal fields，在字段和參數(shù)上初始化metadata（見第二部分）。注意，consumers能選擇初始化metadata，但也能在任何除了static literal fields地方安全地?zé)o視metadata。

7.2.3????????? CLS extender

CLS extender是一個被設(shè)計(jì)為允許編程人員使用和擴(kuò)展CLS兼容框架的語言或工具。CLS extender支持一個行為被CLS consumer支持的超集（例如一切適用于CLS consumer的也適用于CLS extender）。除了支持consumer外，還需要能夠：

·???????? 定義新的CLS兼容類型來擴(kuò)展任何CLS兼容的基類，不包括sealed的。

·???????? 具有一種調(diào)用名字在語言中是關(guān)鍵字的方法的機(jī)制

·???????? 提供獨(dú)立實(shí)現(xiàn)受類型支持的所有接口的所有方法。也就是說，對于extender而言，只要求一段單一的代碼來實(shí)現(xiàn)具有相同名字和簽名的所有接口方法是不夠的。

·???????? 實(shí)現(xiàn)任何CLS兼容接口

·???????? 替換metadata上所有CLS兼容的定制屬性

·???????? 定義新的CLS兼容（非泛型）類型來擴(kuò)展任何（非sealed）CLS兼容的基本類型。有效地基本類型包括正常的（非泛型）類型和完全構(gòu)造的泛型。

【注：Extenders應(yīng)該考慮支持：

·???????? 為了匹配語言定義的規(guī)則對泛型方法做類型推斷；

·???????? 在公共的父類型中構(gòu)造語法來明晰模糊的部分】

Extenders不需要支持下面：

·???????? 定義新的CLS兼容接口

·???????? 定義嵌套類型

·???????? 定義泛型和方法

·???????? 重載存在的虛泛型方法

CLS被設(shè)計(jì)得既足夠大以富有表現(xiàn)力也足夠小而使得所有的語言都能夠很好得適應(yīng)它。

CLS規(guī)則48：如果在同一類型中聲明的兩個或兩個以上的CLS兼容方法具有同樣的名字，對于類型實(shí)例的一個特定集合，它們有相同的參數(shù)和返回類型，那么那些類型實(shí)例中所有的這些方法在語義上就應(yīng)該是相同的。

【注：CLS(consumer)：可能選擇方法中的任何一個

CLS(entender)：同consumer一樣

CLS(framework)：不應(yīng)該暴露違反本規(guī)則的方法】

【注：為了避免沖突，盡管這個版本中增刪了一些規(guī)則，CLS規(guī)則仍遵循了舊版本標(biāo)準(zhǔn)中的舊編號方式。所以，這部分的第一個規(guī)則就是規(guī)則48】

7.3?? CLS兼容

當(dāng)這些規(guī)則被詳細(xì)得介紹的時候，它們以一種通用的格式被描述。例如，看下面的第一個規(guī)則。第一段指出了規(guī)則本身。然后下面就跟著從上面提到的3個不同的角度對規(guī)則的一些連帶描述。

CLS定義了語言互操作規(guī)則，僅僅用于外部可見的內(nèi)容。語言互操作性的CLS單元是集合——也就是說，在單個集合內(nèi)部，對使用的編程技術(shù)沒有限制。這樣，CLS規(guī)則僅用于那些在限定集合上外部可見（見8.5.3章）并有public、family或family-or-assembly訪問權(quán)限（見8.5.3.2章）的部分。

CLS規(guī)則1：CLS規(guī)則僅用于類型中限定集合外部可訪問或可見的那些部分。

【注：CLS(consumer)：無影響

CLS(extender)：當(dāng)編譯時檢查CLS兼容性時，一定要將規(guī)則應(yīng)用于集合外部將要被導(dǎo)出的信息。

CLS(framework)：CLS規(guī)則不用于集合內(nèi)部的實(shí)現(xiàn)。這種情況下類型仍然是CLS兼容的：所有的公共訪問部分（那些對在另一個集合中代碼執(zhí)行有效的類、接口、方法、字段、屬性和事件）由簽名的CLS兼容類型組成或者對非CLS兼容做了明確標(biāo)記】

任何構(gòu)造都被排除在CLS之外，因?yàn)樗豢赡苎杆俚仳?yàn)證代碼。這就允許所有的CLS兼容的語言翻譯程序可以選擇產(chǎn)生可驗(yàn)證的代碼。

7.3.1????????? 把項(xiàng)標(biāo)記為CLS兼容

CLS詳細(xì)說明了怎樣去標(biāo)記集合的外部可見部分以說明它們是否遵循CLS要求。（實(shí)現(xiàn)者被阻止將擴(kuò)展標(biāo)記作為本CLS兼容的標(biāo)準(zhǔn)。）這用定制屬性機(jī)制來解決（見9.7章和第二部分）。類System.CLSCompilantAttribute(見第四部分)指出了哪些類型和類型成員是CLS兼容的。它也能被附在集合上來為所有的集合包含的頂級類型指定缺省的兼容級別。

System.CLSCompilantAttribute的構(gòu)造帶了一個Boolean參數(shù)指出是否該項(xiàng)與它所關(guān)聯(lián)項(xiàng)是否為CLS兼容的。這允許任何項(xiàng)（集合、類型或類型成員）被明確地標(biāo)記為CLS兼容或者不兼容。

決定CLS兼容性的規(guī)則是：

·???????? 當(dāng)集合不帶有明確的System.CLSCompilantAttribute時，應(yīng)該缺省帶System.CLSCompilantAttribute(false)。

·???????? 缺省的，一個類型繼承其封閉類型(對嵌套類型)的CLS兼容屬性或者獲得依附于集合（對于頂級類型）的兼容性級別。一個類型能被標(biāo)記為CLS兼容或者通過附加System.CLSCompilantAttribute屬性標(biāo)記為不兼容。

·???????? 缺省的，其它成員（方法、字段、屬性和事件）繼承它們類型的CLS兼容性。它們也能通過附加System.CLSCompilantAttribute(false)屬性來標(biāo)記為不兼容。

CLS 規(guī)則2：非CLS兼容類型的成員不應(yīng)當(dāng)被標(biāo)記為CLS兼容。

【注：CLS(consumer)：能夠忽略任何使用上面規(guī)則的CLS不兼容的成員。

CLS(extender)：應(yīng)該鼓勵正確地標(biāo)記新創(chuàng)建的集合和公開的導(dǎo)出類型和成員。大力鼓勵編譯時強(qiáng)制執(zhí)行CLS規(guī)則。

CLS(framework)：應(yīng)該正確地標(biāo)記所有的公開的導(dǎo)出成員來標(biāo)明其CLS兼容性。這里指定的規(guī)則可以用來減少所需的標(biāo)記數(shù)目（例如，如果所有的類型和成員都是兼容的，或者僅有少數(shù)例外的需要被標(biāo)記，那就標(biāo)記整個集合）】

?

版權(quán)聲明作者：Cubean
出 處：http://www.cnblogs.com/cubean/
本文版權(quán)歸作者和博客園共有，歡迎轉(zhuǎn)載，但未經(jīng)作者同意必須保留此段聲明，且 在文章頁面明顯位置給出原文連接，否則保留追究法律責(zé)任的權(quán)利。 ?

?

?

轉(zhuǎn)載于:https://www.cnblogs.com/cubean/archive/2010/03/13/1685159.html

總結(jié)

以上是生活随笔為你收集整理的ECMA-335(CLI)标准 读书笔记（第一部：概念和架构 第7章）的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。