合约类应该是一个抽象类

Question

以下代码向我发出警告Contract 类“FooContracts”应该是一个抽象类。从我在线阅读的所有示例中（例如 http://www.infoq.com/ articles/code-contracts-csharp），这应该可以工作（大概没有编译器警告）。

[ContractClass(typeof(FooContracts))]
public interface IFoo {
  void Bar(string foo);
}

[ContractClassFor(typeof(IFoo))]
internal sealed class FooContracts : IFoo {
  void IFoo.Bar(string foo) {
    Contract.Requires(foo != null);
  }
}

我使用的是 Visual Studio 2010，在项目属性的Code Contracts 部分中进行了以下设置：

• 执行运行时合约检查（设置为 Full）
• 执行静态合约检查（在静态检查下）
• 在后台检查

我还定义了CONTRACTS_FULL编译符号以使ReSharper关闭。

我是否缺少一些东西来使这个编译没有警告？

Answer 1

代码合同手册第 2.8 节明确指出，应该一个抽象类：

工具期望合约类是抽象的并实现它提供合约的接口
对于。

Answer 2

您引用的 InfoQ 文章很可能是不正确的。它基于 C# in Depth 的“早期访问”版本，因此从最初编写章节/文章到 .NET 4 发布之间，代码契约实现可能发生了变化。

以下代码应该可以工作：

[ContractClass(typeof(FooContracts))] 
public interface IFoo { 
  void Bar(string foo); 
} 

[ContractClassFor(typeof(IFoo))] 
internal abstract class FooContracts : IFoo { 
  void IFoo.Bar(string foo) { 
    Contract.Requires(foo != null); 
  } 
}

合约类必须是抽象的。