Contrats de code: Comment puis-je fournir une classe de contrat pour une interface générique?

Question

Je voudrais spécifier un contrat pour cette interface générique, en utilisant des contrats de code:

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

La documentation dit d'utiliser l'attribut ContractClass lors de la spécification d'un contrat pour une interface. Cependant, le compilateur se plaindra à ce sujet:

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

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

Il semble que les paramètres de type ne peuvent pas être utilisés avec des attributs.

Comment puis-je écrire un contrat pour mon interface générique? Ou n'est-ce pas possible avec les contrats de code?

Answer 1

Comme mentionné par d'autres commentaires dans cette question, vous devez supprimer l'identificateur de type générique de votre utilisation d'attribut car il ne peut pas être résolu au moment de la compilation:

 [ContractClass(typeof(IRandomWriteAccessibleContract<>))] 
 

Answer 2

Bonne question, mais vous pouvez voir les raisons techniques derrière cette limitation, non?

La raison pour laquelle vous ne pouvez pas spécifier ContractClass est parce que Blah<T> n'est pas une classe.

Si vous pouvez créer une interface pour une classe concrète en spécifiant une valeur pour T , même si je suis sûr que cela est sous-optimal.