c# - CodeContract 是否类似于 FxCop？

Question

请澄清一下，Code Contracts 是否类似于 FxCop 和 StyleCop？根据在线引用，我们需要在现有代码的函数中添加用于实现代码契约条件的代码。

public void Initialize(string name, int id)
{
    Contract.Requires(!string.IsNullOrEmpty(name));
    Contract.Requires(id > 0);
    Contract.Ensures(Name == name);
    //Do some work
}

通常在 FxCop 中，我们要检查的代码将在单独的 Dll 中，而包含要检查的规则的类库将在单独的 dll 中。同样，我们是否可以为代码契约创建单独的类库来管理现有代码？

请确认..

Answer 1

免责声明:您最好获取他们当前的文档并通读，写下功能然后进行比较。我在下面写的是我很久以前记得的关于它们核心功能的一些事实，我不能向你保证它们没有过时和现在是错误的。例如，有人可以为 FxCop 编写一些复杂而繁重的规则，这些规则的行为与契约(Contract)一样。这就是我将其标记为社区维基的原因。如果我有任何错误，请纠正我。

---

不，它们并不相似，尽管它们有共同的目标:帮助您找到错误。

FxCop 是一个“静态分析器”，它会检查您的代码并尝试找出“不良模式”。在运行时您不会看到任何 FxCop 规则/效果。 FxCop 有一组将在检查期间使用的“规则”，它会在发现规则被破坏时向您报告。规则可以非常简单和挑剔，比如 you must initialize every variable or you must name classes with uppercase 或者复杂的规则，比如 you shouldn't have more than one loop在方法中。标准安装提供了一些规则，您可以使用自己的规则扩展规则集。

CodeContracts 是双向的。在最基本的层面上，它是一组辅助方法，如 throw if argument 'foo' is null。在运行时，当有人传递一个 null 时，它会抛出。就这么简单。但是，如果您在代码中正确且广泛地使用这些辅助方法，您将能够运行额外的静态分析器。它会扫描您的代码，找到这些辅助方法的所有用法，并会尝试自动检测它们的契约 不满足的任何地方。因此，对于“argument is null”示例，它将尝试查找该函数的所有用法，检查谁使用什么 args 调用它，它将尝试推断(证明)该 arg 是否可以随时为空，并且将如果发现这种情况，请警告您。除了 not-null 之外，还有更多类型的此类验证器，但您不能添加/编写自己的验证器。我的意思是，您可以添加更多这样的辅助验证器，但静态分析器不会拾取它们(为任何规则编写通用定理证明器太难了)。

CodeContracts 在分析方面比 FxCop 更强大，但在多样性和范围方面有限。 CodeContracts 无法检查代码的结构:它不会检查循环次数、代码复杂度、方法名称、代码层次结构等。它只能尝试证明/反驳某些契约(运行时要求) 一些方法/接口(interface)。另一方面，FxCop 可以检查您的代码、样式、结构等，但它不会“证明”或“推断”任何东西 - 它只会检查规则定义的一些不良模式。