C# 2.0 사양(4)

이 문단이 짧아서 먼저 지울게요 :)

23 Incomplete Types

23.1 Incomplete Type Declaration

새로운 유형 수식어 부분은 다중 사용 섹션에서 유형을 정의합니다. 기존 프로그램과의 호환성을 보장하기 위해 이 수정자는 키워드가 아니며 키워드 클래스, 구조체 또는 인터페이스 바로 앞에 나타나야 한다는 점에서 다른 수정자(예: get 및 set)와 다릅니다.

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 标识符
类型参数列表 可选
基接口 可选 类型参数约束语句 可选
接口体 ；可选）

불완전한 유형 선언의 각 부분은 부분 수정자를 포함해야 하며 다른 부분과 동일한 네임스페이스에서 선언되어야 합니다. 부분 수정자는 유형 선언의 추가 부분이 다른 곳에 존재할 수 있음을 나타내지만 그러한 추가 부분이 반드시 존재해야 하는 것은 아닙니다. 단일 유형 선언에 부분 수정자를 포함하는 것도 합리적입니다.



불완전한 유형의 모든 부분은 컴파일 타임에 통합될 수 있도록 함께 컴파일되어야 합니다. 특히 불완전한 유형은 이미 컴파일된 유형에 대한 확장을 허용하지 않습니다.



부분 수정자를 사용하면 중첩 유형을 여러 위치에서 선언할 수 있습니다. 일반적으로 포함 유형(즉, 중첩 유형을 포함하는 유형)도 부분을 사용하여 선언되고 중첩 유형의 부분은 포함 유형의 다른 부분에서 선언됩니다.

부분 수정자는 대리자 또는 열거형 선언에 사용할 수 없습니다.

23.1 속성

불완전 유형의 속성은 개별 부품의 속성을 불특정 순서로 결합하여 결정됩니다. 속성이 불완전한 유형의 두 부분 이상에 배치되는 경우 해당 유형에 속성을 여러 번 지정하는 것과 같습니다. 예를 들어 유형 매개변수의 두 부분

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

속성도 동일한 스타일로 결합됩니다.

23.1.2 수정자

불완전한 유형 선언에 액세스 사양(공용, 보호, 내부 및 비공개)이 포함된 경우 다른 부분의 액세스 사양과 일치해야 합니다. 불완전한 유형의 어떤 부분에도 액세스 사양이 포함되어 있지 않으면 유형에 적절한 기본 접근성이 제공됩니다(§3.5.1).

중첩 유형의 불완전한 선언 하나 이상에 new 수정자가 포함된 경우 중첩 유형이 상속된 멤버를 숨겨도 경고가 표시되지 않습니다. (§3.7.12)



클래스의 하나 이상의 불완전한 선언에 추상 수정자가 포함되어 있으면 클래스는 추상 클래스이고(§10.1.1.1), 그렇지 않으면 추상이 아닙니다. 의.



클래스는 추상 클래스와 봉인 클래스를 동시에 사용할 수 없습니다.


불완전한 유형 선언에 unsafe 수정자를 사용하는 경우 지정된 부분만 안전하지 않은 컨텍스트[안전하지 않은 컨텍스트(§18.1))]로 간주됩니다.

23.1.3 유형 매개변수 및 제약 조건

일반 유형이 여러 부분에서 선언되는 경우 각 부분은 유형 매개변수를 지정해야 합니다. 각 부분에는 동일한 수의 유형 매개변수가 있어야 하며, 각 유형 매개변수에는 동일한 이름과 순서가 있어야 합니다.

불완전한 일반 선언에 유형 매개변수 제약 조건(where 문)이 포함된 경우 제약 조건은 다른 부분의 제약 조건과 일치해야 합니다. 특히 제약 조건을 포함하는 각 부분에는 제약 조건에 대한 동일한 유형 매개 변수 집합이 있어야 하며

클래스, 인터페이스 및 생성자 제약 조건 집합은 각 유형 매개 변수에 대해 동일해야 합니다. 불완전한 제네릭의 일부에 제약 조건이 지정되지 않으면 형식 매개 변수는 제약이 없는 것으로 간주됩니다.
예

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>
{
...
}

는 제약 조건을 포함하는 이러한 섹션이 해당하는 동일한 유형 매개변수 집합에 대해 동일한 클래스, 인터페이스 및 생성자 제약 조건 집합을 효과적으로 지정하기 때문에 정확합니다.

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中文网（m.sbmmt.com）！