.net - 代码契约(Contract) : How do I supply a contract class for a generic interface?

Question

我想为这个通用接口(interface)指定一个契约(Contract)，使用代码契约(Contract):

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

文档说使用 ContractClass为接口(interface)指定契约时的属性。但是，编译器会提示这个:

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

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

似乎类型参数不能与属性一起使用。

如何为我的通用接口(interface)编写契约(Contract)？还是代码契约(Contract)不可能做到这一点？

Answer 1

正如此问题中的其他评论所述，您应该从属性使用中删除泛型类型标识符，因为它无法在编译时解决:

[ContractClass(typeof(IRandomWriteAccessibleContract<>))]