Contratti di codice: come posso fornire una classe di contratto per un'interfaccia generica?

Question

vorrei specificare un contratto per questa interfaccia generica, utilizzando contratti Codice:

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

La documentazione dice di usare l'attributo ContractClass quando si specifica un contratto per un'interfaccia. Tuttavia, il compilatore si lamenterà di questo:

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

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

Sembra che i parametri di tipo non possano essere utilizzati con gli attributi.

Come do Scrivo un contratto per la mia interfaccia generica? O questo non è possibile con i Contratti di Codice?

Answer 1

come detto da altri commenti in questa domanda, è necessario rimuovere l'identificatore di tipo generico dal vostro uso attributo in quanto non può essere risolto in fase di compilazione:

[ContractClass(typeof(IRandomWriteAccessibleContract<>))] 

Answer 2

Buona domanda, ma è possibile vedere le ragioni tecniche alla base di questa limitazione, giusto?

Il motivo per cui non è possibile specificare ContractClass è perché Blah<T> non è una classe.

Se è possibile creare un'interfaccia per una classe concreta specificando un valore per T, anche se sono sicuro che non è ottimale.