小编tmo*_*ont的帖子

以下代码给出了警告Contract class 'FooContracts' should be an abstract class.从我在线阅读的所有示例(例如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)
• 执行静态合同检查(下Static Checking)
• 签入后台

我还定义了CONTRACTS_FULL编译符号以使ReSharper闭合.

我是否遗漏了一些没有警告的编译？