C#2.0規範（四）

這段比較短就先乾掉了：）

23不完整類型

23.1不完整類型聲明

新類型修飾符partial 用於在多個部分中定義一個類型。為了確保和現存程式的相容性，這個修飾符和其他修飾符（例如get和set）是不同的，它不是一個關鍵字，而且它必須緊鄰出現在關鍵字class ,struct或interface之前。

l class-declaration（类声明）
attributes opt class-modifiers opt partialopt class identifier type-parameter-list opt
class-base opt type-parameter-constraints-clausesopt class-body ;opt
（特性 可选 类修饰符 可选 partial可选 class 标识符
类型参数列表 可选 ：基类 可选 类型参数约束语句 可选 类体；可选）
l struct-declaration:（结构声明）
attributesopt struct-modifiersopt partialopt struct identifier type-parameter-listopt
struct-interfacesopt type-parameter-constraints-clausesopt struct-body ;opt
（特性 可选 结构修饰符 可选 partial 可选 struct 标识符
类型参数列表 可选
结构接口 可选 类型参数约束语句 可选
结构体；可选 ）
l interface-declaration:（接口声明）
attributesopt interface-modifiersopt partialopt interface identifier type-parameter-listopt
interface-baseopt type-parameter-constraints-clausesopt interface-body ;opt
（特性可选 接口修饰符 可选 partial 可选 interface 标识符
类型参数列表 可选
基接口 可选 类型参数约束语句 可选
接口体 ；可选）

不完整類型聲明的每個部分都必須包含partial修飾符，並且和其他部分必須被聲明在相同的命名空間。 partial修飾符表明該類型聲明的附加部分可以存在於其他某個地方，但這種附加部分的存在並不是必需的；在單一類型聲明中包含partial修飾符也是合理的。



不完整類型的所有部分必須放在一起編譯，這樣它們就可以在編譯時被融合。特別的是，不完整型別不容許對已經被編譯的型別進行擴充。



巢狀類型（nested type）可以透過使用partial修飾符而宣告在多個地方。典型的情況是，包含類型（也就是包含巢狀類型的類型）同樣使用partial聲明，而巢狀類型的各個部分也在包含類型的不同部分中聲明。

partial修飾符不能用在委託或枚舉聲明中。

23.1特性

不完整類型的特性透過以不定的(unspecified)順序組合各個部分的特性而確定。如果一個特性被放在不完整類型的多個部分，它等價於在該類型上多次指定該特性。例如，這兩個部分

[Attr1, Attr2("hello")]
partial class A {}
[Attr3, Attr2("goodbye")]
partial class A {}
等价于如下声明。
[Attr1, Attr2("hello"), Attr3, Attr2("goodbye")]
class A {}

類型參數上的特性也以相同的風格組合。

23.1.2修飾符

當不完整類型聲明包含存取說明（public,protected,internal和private）時，它必須與其它部分的存取說明一致。如果不完整類型的各個部分都不包含存取說明，則該類型將被賦予適當的預設可存取性（§3.5.1）。

如果巢狀類型的一個或多個不完整聲明包含new修飾符，並且如果巢狀類型隱藏了一個繼承成員，則不會有任何警告。 （§3.7.12）



如果類別的一個或多個不完整聲明包含abstract修飾符，那麼這個類別就是抽象的（§10.1.1.1），反之就是非抽象的。



注意，一個類別不能同時既是抽象的又是密封的（sealed）。


當unsafe修飾符被用於一個不完整類型聲明時，只有特定的部分被認為是不安全上下[unsafe contex（§18.1））]。

23.1.3型別參數與限制

如果泛型型別在多個部分被聲明，每個部分都必須說明型別參數。每個部分都必須有相同數量的類型參數，並且對於每個類型參數必須有相同的名字和順序。

當不完整泛型宣告包含型別參數限制（where 語句），該限制必須和其他部分的限制一致。特別的是，包含約束的每個部分必須具有相同集合類型參數的約束，並且對於每個類型參數，

類別、介面和建構函數約束的集合必須是相同的。如果不完整泛型的任何部分都沒有指定約束，類型參數就被認為是不帶約束的。
範例

partial class Dictionary
where K: IComparable
where V: IKeyProvider, IPersistable
{
...
}
partial class Dictionary
where V: IPersistable, IKeyProvider
where K: IComparable
{
...
}
partial class Dictionary
{
...
}

是正確的，因為這些包含限制的部分有效地指定了類別、介面的相同集合，以及對應相同集合的類型參數的建構子限制。

23.1.4基類

當不完整類別聲明包含基類說明時，它必須與包含基類說明的所有其他部分一致。如果不完整類別聲明的任何部分都不包含基底類別聲明，那麼基底類別將是System.Object（§10.1.2.1）。

23.1.5基介面

在多個部分中聲明的類型的基底介面集合，是在各個部分中指定的基底介面的聯合。一個特定的基底介面在每個部分中只能被命名一次，但可以在多個部分中命名相同的基底介面。但對於任何給出的基底介面成員只能有唯一的實作。
在範例

partial class C: IA, IB {...}
partial class C: IC {...}
partial class C: IA, IB {...}
中类C的基接口是IA,IB和IC。

通常，在接口声明的部分中提供接口的实现；但这不是必需的。一个部分可以为声明在另一个部分中的接口提供实现。

partial class X
{
int IComparable.CompareTo(object o) {...}
}
partial class X: IComparable
{
...
}

23.1.6成员

声明在多个部分中的类型的成员只是在各个部分中声明的成员的联合。类型声明的所有部分的内容共享相同的声明空间（§3.3），并且每个成员（§3.7）的作用域扩展到所有部分的内容。任何成员的所有可访问域总是包含封闭类型的所有部分；在一个部分中声明的private成员可以随意的在另一个部分访问。在一个类型的多个部分中声明相同的成员将造成编译时错误，除非该成员是一个带有partial修饰符的成员。

partial class A
{
int x; // 错误, 不能多次声明x
partial class Inner // Ok, Inner 是不完整类型
{
int y;
}
}
partial class A
{
int x; // 错误，不能多次声明x
partial class Inner // Ok, Inner是不完整类型
{
int z;
}
}

尽管一个类型中成员的次序对于C#代码并不是太重要，但在面对其他语言和环境时却可能是很重要的。在这样的情况下，在多个部分中声明的类型内成员次序将是未定义的。

23.2名字绑定

虽然可扩展类型的每个部分必须声明在相同的命名空间，但这些部分也可以写在不同的命名空间中。为此，对于各个部分可以使用不同的using指令（§9.3）。当在一个部分中解释简单名字（§7.5.2）时，只有包含该部分的命名空间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
}
}

以上就是C# 2.0 Specification (四)的内容，更多相关内容请关注PHP中文网（www.php.cn）！