"특별 수업"이란 정확히 무엇입니까?

다음과 같은 내용을 컴파일하지 못한 후 :

public class Gen<T> where T : System.Array
{
}

오류와 함께

제약 조건은 특수 클래스`System.Array '일 수 없습니다.

"특별 수업" 이 정확히 무엇인지 궁금해졌습니다 .

사람들 System.Enum은 일반적인 제약 조건에서 지정할 때 종종 같은 종류의 오류가 발생하는 것처럼 보입니다 . 나는과 같은 결과를 얻었다 System.Object, System.Delegate, System.MulticastDelegate및 System.ValueType도합니다.

그들 중 더 있습니까? C #에서 "특수 클래스"에 대한 정보를 찾을 수 없습니다.

또한, 무엇 이며 우리가 제네릭 형식 제약 조건으로 사용할 수없는 그 클래스에 대한 특별?

Roslyn 소스 코드에서는 하드 코딩 된 유형 목록처럼 보입니다.

switch (type.SpecialType)
{
    case SpecialType.System_Object:
    case SpecialType.System_ValueType:
    case SpecialType.System_Enum:
    case SpecialType.System_Delegate:
    case SpecialType.System_MulticastDelegate:
    case SpecialType.System_Array:
        // "Constraint cannot be special class '{0}'"
        Error(diagnostics, ErrorCode.ERR_SpecialTypeAsBound, syntax, type);
        return false;
}

출처 : Binder_Constraints.cs IsValidConstraintType
GitHub 검색을 사용하여 찾았습니다. "제약 조건은 특수 클래스가 될 수 없습니다."

비슷한 질문에 대해 2008 년 Jon Skeet의 의견을 찾았습니다 . System.Enum제약 조건 이 지원 되지 않는 이유입니다 .

나는 이것이 약간 벗어난 주제라는 것을 알고 있지만 그는 Eric Lippert (C # 팀)에게 그것에 대해 물었고 그들은이 답변을 제공했습니다.

우선, 당신의 추측이 맞습니다. 제약 조건에 대한 제한은 CLR이 아니라 언어의 큰 인공물입니다. (이러한 기능을 수행하면 열거 가능한 유형이 지정되는 방식과 관련하여 CLR에서 변경하고 싶은 몇 가지 사소한 사항이 있지만 대부분은 언어 작업입니다.)

둘째, 저는 개인적으로 델리게이트 제약, 열거 제약 및 오늘날 불법적 인 제약 조건을 지정하는 기능을 갖고 싶습니다. 컴파일러가 사용자를 자신으로부터 구하려고하기 때문입니다. (즉, 봉인 된 유형을 제약 조건으로 합법화하는 등의 작업입니다.)

그러나 일정 제한으로 인해 이러한 기능을 다음 버전의 언어로 제공하지 못할 수 있습니다.

MSDN 에 따르면 정적 클래스 목록입니다.

컴파일러 오류 CS0702

제약 조건은 특수 클래스 '식별자'일 수 없습니다. 다음 유형은 제약 조건으로 사용할 수 없습니다.

• System.Object
• System.Array
• System.Delegate
• System.Enum
• System.ValueType.

C # 4.0 언어 사양 (코드 : [10.1.5] 유형 매개 변수 제약 조건)에 따라 다음 두 가지를 알려줍니다.

1] 유형은 객체가 아니어야합니다. 모든 유형이 객체에서 파생되기 때문에 이러한 제약 조건은 허용되는 경우 효과가 없습니다.

2] T에 기본 제약 조건이나 유형 매개 변수 제약 조건이없는 경우 유효한 기본 클래스는 객체입니다.

제네릭 클래스를 정의 할 때 클라이언트 코드가 클래스를 인스턴스화 할 때 유형 인수에 사용할 수있는 유형의 종류에 제한을 적용 할 수 있습니다. 클라이언트 코드가 제약 조건에서 허용하지 않는 형식을 사용하여 클래스를 인스턴스화하려고하면 결과는 컴파일 타임 오류입니다. 이러한 제한을 제약이라고합니다. 제약 조건은 where 문맥 키워드를 사용하여 지정됩니다. 제네릭 유형을 참조 유형으로 제한하려면 : 클래스를 사용하십시오.

public class Gen<T> where T : class
{
}

이것은 제네릭 유형이 int 또는 struct 등과 같은 값 유형이되는 것을 금지합니다.

또한 제약 조건은 특수 클래스 '식별자'가 될 수 없습니다. 다음 유형은 제약 조건으로 사용할 수 없습니다.

• System.Object
• System.Array
• System.Delegate
• System.Enum
• System.ValueType.

프레임 워크에는 특수 특성을 파생 된 모든 유형에 효과적으로 전달 하지만 그 특성 자체를 소유하지는 않는 특정 클래스가 있습니다 . CLR 자체는 이러한 클래스를 제약 조건으로 사용하는 것을 금지하지 않지만, 이에 제한되는 제네릭 형식은 구체적인 형식과 달리 상속되지 않은 특성을 얻지 못합니다. C #의 작성자는 이러한 동작이 일부 사람들에게 혼란을 줄 수 있고 유용성을 보지 못하기 때문에 이러한 제약 조건이 CLR 에서처럼 동작하도록 허용하기보다는 금지해야한다고 결정했습니다.

예를 들어 다음과 같이 쓸 수있는 경우 : void CopyArray<T>(T dest, T source, int start, int count); 하나는 유형의 인수를 예상하는 메소드 dest와 전달할 수 있습니다 . 또한, 하나는 컴파일시의 검증이를 얻을 것 와 호환되는 배열 형했지만, 하나는 사용하여 배열의 액세스 요소 수 없을 것 연산자.sourceSystem.Arraydestsource[]

Array제약 조건 으로 사용할 수없는 것은 대부분 해결하기가 매우 쉽습니다 void CopyArray<T>(T[] dest, T[] source, int start, int count). 이전 방법이 작동하는 거의 모든 상황에서 작동하기 때문입니다. 그러나 약점이 있습니다. 전자의 방법은 System.Array인수가 호환되지 않는 배열 유형 인 경우를 거부하면서 인수 중 하나 또는 둘 모두가 유형 인 시나리오에서 작동 합니다. 두 인수가 모두 유형 인 오버로드를 추가하면 System.Array코드가 허용해야하는 추가 사례를 수락 할 수 있지만 허용해서는 안되는 사례를 잘못 수락하게됩니다.

나는 대부분의 특수 제약을 불법화하기로 결정했습니다. 의미 론적 의미가 0 인 유일한 것은 System.Object[제약으로서 합법적이라면 어떤 것이라도 그것을 만족시킬 것이기 때문에] 일 것입니다. System.ValueType유형의 참조는 ValueType값 유형과 실제로 공통점이 많지 않기 때문에 유용 하지 않을 수 있지만 Reflection과 관련된 경우에는 그럴듯하게 가치가있을 수 있습니다. 모두 System.Enum와 System.Delegate진짜 용도가 것이지만, C #의 창조자들을 생각하지 않았기 때문에 그들이 더 좋은 이유에 대해 금지하고 있습니다.

다음은 C # 4th Edition을 통해 CLR에서 찾을 수 있습니다.

주요 제약

유형 매개 변수는 0 개의 1 차 제약 조건 또는 1 개의 1 차 제약 조건을 지정할 수 있습니다. 기본 제약 조건은 봉인되지 않은 클래스를 식별하는 참조 형식 일 수 있습니다. System.Object , System.Array , System.Delegate , System.MulticastDelegate , System.ValueType , System.Enum 또는 System.Void 특수 참조 유형 중 하나를 지정할 수 없습니다 . 참조 형식 제약 조건을 지정할 때 지정된 형식 인수가 같은 형식이거나 제약 조건 형식에서 파생 된 형식이 될 것이라고 컴파일러에 약속합니다.

"특별한 클래스"/ "특별한 유형"에 대한 공식적인 정의가 있다고 생각하지 않습니다.

"일반"유형의 의미 체계와 함께 사용할 수없는 유형으로 생각할 수 있습니다.

• 직접 인스턴스화 할 수 없습니다.
• 사용자 정의 유형을 직접 상속 할 수 없습니다.
• 그들과 함께 작동하는 컴파일러 마법이 있습니다 (선택적으로);
• 적어도 쓸모없는 인스턴스의 직접적인 사용 (선택적으로, 위에서 제네릭을 만들었다 고 상상해보십시오. 어떤 제네릭 코드를 작성할 것입니까?)

추신 System.Void목록에 추가하겠습니다 .