我想为这个通用接口指定一个合同,使用代码合同:
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> { … }
似乎类型参数不能与属性一起使用。
如何为我的通用接口编写合同?还是代码合同不可能做到这一点?