代码合约怎么了？

Question

几年前，在.NET 4发布之前，代码合同遍布整个博客圈，.NET 4中包含运行时组件，静态检查程序在更昂贵的Visual Studio 2010版本中提供。

代码合同的嗡嗡声似乎已经消失，人们是否在生产中使用它？是否还有其他工作要从Microsoft Research完成？

Answer 1

查看project page，最后一个版本是2011年6月2日 - 这对我来说似乎很近。

是的，我认为它仍在继续。它是否会进入普通代码商店？现在说还为时过早。偶尔我会看到Stack Overflow上的问题，暗示它仍然在某些地方使用 - 但我没有看到太多的吸收证据，因为我真的很喜欢。

我怀疑它是其中一种在某些情况下非常有用的工具，而在其他情况下则有点痛苦 - 而且在绿地项目中比在棕地工程中更有用。

Answer 2

它仍在.NET Framework中使用（至少从4.51开始）。举个例子，看一下System.Text.StringBuilder类的实现。