코드 계약 : 제네릭 인터페이스에 대한 계약 클래스를 어떻게 제공합니까?

Question

나는 코드 계약을 사용하여,이 일반적인 인터페이스에 대한 계약을 지정하고 싶습니다 :

는

interface IRandomWriteAccessible<T> 
{ 
    T this[uint index] { set; } 
    uint Length { get; } 
} 

문서는 인터페이스에 대한 계약을 지정할 때 ContractClass 속성을 사용했다. 그러나 컴파일러는 이것에 대해 불평 할 것입니다.

[ContractClass(typeof(IRandomWriteAccessibleContract<T>))] 
//    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^  <-- compiler error 
interface IRandomWriteAccessible<T> { … } 

[ContractClassFor(typeof(IRandomWriteAccessible<T>))] 
//    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^   <-- compiler error 
sealed class IRandomWriteAccessibleContract<T> : IRandomWriteAccessible<T> { … } 

유형 매개 변수는 속성과 함께 사용할 수없는 것으로 보입니다.

How do 나는 제네릭 인터페이스 계약을 맺고 있습니까? 아니면 코드 계약에서 불가능합니까?

Answer 1

, 당신은 컴파일 시간에 해결 될 수 없기 때문에 당신의 속성 사용에서 제네릭 형식 식별자를 제거해야합니다 :

[ContractClass(typeof(IRandomWriteAccessibleContract<>))] 

Answer 2

좋은 질문이지만이 제한의 기술적 이유를 볼 수 있습니다. 맞습니까?

Blah<T>이 클래스가 아니기 때문에 ContractClass를 지정할 수없는 이유는 다음과 같습니다.

T의 값을 지정하여 구체적인 클래스의 인터페이스를 만들 수있는 경우, 이것이 최적 이하라고 확신하지만.

이 질문에 다른 의견에서 언급 한 바와 같이