代码契约：如何为通用接口提供契约类？

Question

我想使用代码契约为这个通用接口指定一个契约：

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> { … }

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

我如何为我的通用接口编写合同？或者这对于代码合约来说是不可能的吗？

Answer 1

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

[ContractClass(typeof(IRandomWriteAccessibleContract<>))] 

Answer 2

好问题，但是您可以看到此限制背后的技术原因，对吧？

无法指定 ContractClass 的原因是 Blah 不是一个类。

如果您可以通过指定 T 的值来为具体类创建一个接口，即使我确信这不是最优的。