c# - C# 中的“按契约(Contract)设计”

Question

我想在我最新的 C# 应用程序中尝试一些按契约(Contract)设计，并希望语法类似于:

public string Foo()
{
    set {
        Assert.IsNotNull(value);
        Assert.IsTrue(value.Contains("bar"));
        _foo = value;
    }
}

我知道我可以从单元测试框架中获得这样的静态方法，但我想知道这样的东西是否已经内置到语言中，或者是否已经有某种框架在流动。我可以编写自己的 Assert 函数，只是不想重新发明轮子。

Answer 1

C# 4.0 Code Contracts

Microsoft 在 .net Framework 4.0 版中发布了一个契约式设计库。该库最酷的功能之一是它还附带一个静态分析工具(我猜类似于 FxCop)，该工具利用您放置在代码中的契约(Contract)的详细信息。

以下是一些 Microsoft 资源:

• The main Microsoft Research site
• The user manual
• The 2008 PDC presentation
• The 2009 PDC presentation

以下是一些其他资源:

• Code Contracts for .NET 4.0 - Spec# Comes Alive
• .NET Code Contracts and TDD Are Complementary
• Code Contracts Primer – Part 5: Utilizing Object Invariants
• Code Contracts Primer – Part 6 Interface Contracts