第五章 不完全類型
5.1 不完全聲明
在定義一個(gè)分為多個(gè)部分的類型時(shí)，要使用一個(gè)新的類型修飾符——partial。為了保證和現(xiàn)有代碼的兼容性，這個(gè)標(biāo)識符和其他標(biāo)識符不同：與get和set相同，它不是一個(gè)關(guān)鍵字，而且它必須直接出現(xiàn)在關(guān)鍵字class、struct和interface之一的前面。
class-declaration:
attributesopt class-modifiersopt partialopt class identifier type-parameter-listopt
class-baseopt type-parameter-constraints-clausesopt class-body ;opt
struct-declaration:
attributesopt struct-modifiersopt partialopt struct identifier type-parameter-listopt
struct-interfacesopt type-parameter-constraints-clausesopt struct-body ;opt
interface-declaration:
attributesopt interface-modifiersopt partialopt interface identifier type-parameter-listopt
interface-baseopt type-parameter-constraints-clausesopt interface-body ;opt
類聲明:
特性可選 類修飾符可選 partial可選 class 標(biāo)識符 類型參數(shù)列表可選
基類可選 類型參數(shù)約束條款可選 類體 ;可選
結(jié)構(gòu)聲明:
特性可選 結(jié)構(gòu)修飾符可選 partial可選 struct 標(biāo)識符 類型參數(shù)列表可選
結(jié)構(gòu)接口可選 類型參數(shù)約束條款可選 結(jié)構(gòu)體 ;可選
接口聲明:
特性可選 接口修飾符可選 partial可選 interface 標(biāo)識符 類型參數(shù)列表可選
基接口可選 類型參數(shù)約束條款可選 接口體 ;可選
不完全類型聲明中的每一部分必須包含partial修飾符，并且必須和其他部分位于相同的命名空間中。partial修飾符表明在其他位置可能有該類型聲明的附加部分，但這些附加部分不是必須的，這就運(yùn)行一個(gè)單獨(dú)的類型聲明包含partial修飾符。
不完全類型的所有部分必須放在一起編譯，這才能使這些部分在編譯期間合并。但是部分類型不允許擴(kuò)展已經(jīng)編譯過的類型。
嵌套類型可以通過使用partial修飾符聲明為多個(gè)部分。典型的情況是，包含嵌套類型的類型的聲明也使用了partial，而潛逃類型的各個(gè)部分分別聲明在這個(gè)包含類型的各個(gè)不同部分中。
The partial modifier is not permitted on delegate or enum declarations.
partial修飾符不允許用于委托或枚舉聲明。
5.1.1 特性（Attribute）
不完全類型的各個(gè)部分上的特性將被按照不確定的順序合并，如果一個(gè)特性被放在多個(gè)部分上，在相當(dāng)于在類型上對一個(gè)特性使用了多次。例如，下面的兩部分：
[Attr1, Attr2("hello")]
partial class A {}
[Attr3, Attr2("goodbye")]
partial class A {}
相當(dāng)于下面的聲明：
[Attr1, Attr2("hello"), Attr3, Attr2("goodbye")]
class A {}
類型參數(shù)上的特性按照同樣的方式合并。
5.1.2 修飾符
當(dāng)一個(gè)不完全類型聲明中包含可訪問性說明（public、protected、internal和private修飾符）時(shí)，所有其它部分都可以包含一個(gè)同樣的修飾符。如果不完全類型的任何一個(gè)部分都不包含可訪問性說明，這個(gè)類型將具有默認(rèn)的恰當(dāng)?shù)目稍L問性。
如果嵌套類型的不完全聲明中包含new修飾符，在這個(gè)嵌套類型隱藏了繼承的成員時(shí)將不會出現(xiàn)警告。
如果類的不完全聲明中的一個(gè)或多個(gè)部分包含了abstract修飾符，則這個(gè)類被認(rèn)為是抽象的。否則，這個(gè)類被認(rèn)為是非抽象的。
如果類的不完全聲明中的一個(gè)或多個(gè)部分包含了sealed修飾符，則這個(gè)類被認(rèn)為是密封的。否則，這個(gè)類被認(rèn)為是非密封的。
注意一個(gè)類不能既是抽象的又是密封的。
當(dāng)在不完全類型聲明的一個(gè)部分上使用了unsafe修飾符，則只有這一個(gè)特定的部分被認(rèn)為是在不安全環(huán)境中。
5.1.3 類型參數(shù)和約束
如果一個(gè)分型類型被聲明在多個(gè)部分中，每個(gè)部分都必須聲明類型參數(shù)。各個(gè)部分必須具有相同數(shù)量的類型參數(shù)，每個(gè)類型參數(shù)的名稱和順序也必須一樣。
若一個(gè)不完全泛型類型包含類型參數(shù)約束（where子句），則其它部分中也可以包含同樣的約束。不過每個(gè)包含約束的部分必須對相同的類型參數(shù)的集合進(jìn)行約束，這個(gè)集合中的每個(gè)類型參數(shù)的類、接口和構(gòu)造器約束必須相同。如果不完全泛型類型的每個(gè)部分均未指定類型參數(shù)約束，則這些類型參數(shù)被認(rèn)為是不受約束的。
下面的例子
partial class Dictionary<K,V>
where K: IComparable<K>
where V: IKeyProvider<K>, IPersistable
{
...
}
partial class Dictionary<K,V>
where V: IPersistable, IKeyProvider<K>
where K: IComparable<K>
{
...
}
partial class Dictionary<K,V>
{
...
}
是正確的，因?yàn)榘�含約束的部分（第一個(gè)和第二個(gè)）分別有效地對同一組類型參數(shù)指定了相同的一組類、接口和構(gòu)造器約束。
5.1.4 基類
當(dāng)一個(gè)不完全類聲明中包含指定基類時(shí)，允許各個(gè)部分包含同樣的指定基類。如果一個(gè)不完全類型的任何部分都未指定基類，則該類的基類為System.Object。
5.1.5 基接口
分別聲明在不同部分中的基接口是指定在各個(gè)部分上的基接口的聯(lián)合。一個(gè)特定的基接口在每個(gè)部分上只能命名一次，但允許在多個(gè)部分上命名同一個(gè)接口�；�接口中的任何成員只能實(shí)現(xiàn)一次。
In the example
在下面的例子中
partial class C: IA, IB {...}
partial class C: IC {...}
partial class C: IA, IB {...}
C類的基接口集合是IA、IB和IC。
通常，一個(gè)部分只為該部分上聲明的接口提供一個(gè)實(shí)現(xiàn)，然而，這不是必須的。一個(gè)部分可以為另一個(gè)不同的部分上聲明的接口提供實(shí)現(xiàn)：
partial class X
{
int IComparable.CompareTo(object o) {...}
}
partial class X: IComparable
{
...
}
5.1.6 成員
在多個(gè)部分中聲明的成員只是每個(gè)部分中聲明的成員的簡單聚合。類型聲明的所有部分中的類體共享相同的聲明空間，并且每個(gè)成員的作用域都貫穿所有的部分。任何成員的可訪問性總是包含了封閉類型的所有部分；在某一部分中聲明的private成員可以在另一部分中自由地訪問。如果在多個(gè)部分中聲明了相同的成員則會產(chǎn)生編譯錯(cuò)誤，除非這個(gè)成員是一個(gè)用partial修飾符聲明的類型。
partial class A
{
int x; // 錯(cuò)誤，不能多次聲明x
partial class Inner // 正確，這是一個(gè)不完全內(nèi)部類型
{
int y;
}
}
partial class A
{
int x; // 錯(cuò)誤，不能多次聲明x
partial class Inner // 正確，這是一個(gè)不完全內(nèi)部類型
{
int z;
}
}
盡管成員的順序?qū)τ贑#代碼來說并不重要，但對于和其它語言或環(huán)境進(jìn)行接口連接這可能是重要的。在這種情況下，在類型的多個(gè)部分中聲明的成員的順序是未定義的。
5.2 名字綁定
盡管可擴(kuò)展的類型的各個(gè)部分必須聲明在相同的命名空間中，但各個(gè)部分中可以寫入不同的命名空間聲明。因此，不同的using指令可以出現(xiàn)在各個(gè)部分中。當(dāng)在一個(gè)部分中解釋簡單名字時(shí)，僅考慮該部分中聲明的命名空間中的using指令。
namespace N
{
using List = System.Collections.ArrayList;
partial class A
{
List x; // x的類型是System.Collections.ArrayList
}
}
namespace N
{
using List = Widgets.LinkedList;
partial class A
{
List y; // y的類型是Widgets.LinkedList
}