Contratos de código: ¿Cómo proporciono una clase contractual para una interfaz genérica?

Question

me gustaría especificar un contrato para este interfaz genérica, utilizando Code Contracts:

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

La documentación dice que use el atributo ContractClass cuando se especifica un contrato para una interfaz. Sin embargo, el compilador se quejará de esto:

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

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

Parece que los parámetros de tipo no se pueden usar con atributos.

Cómo do Escribo un contrato para mi interfaz genérica? ¿O esto no es posible con los Contratos de Código?

Answer 1

Como se ha mencionado por otros comentarios en esta pregunta, debe quitar el identificador de tipo genérico de su uso atributo, ya que no se puede resolver en tiempo de compilación:

[ContractClass(typeof(IRandomWriteAccessibleContract<>))] 

Answer 2

Buena pregunta, pero puede ver las razones técnicas detrás de esta limitación, ¿verdad?

La razón por la que no puede especificar el ContractClass es porque Blah<T> no es una clase.

Si puede hacer una interfaz para una clase concreta especificando un valor para T, aunque estoy seguro de que no es óptimo.