代码合同发生了什么？答案

【问题标题】：What happened to Code Contracts?代码合同发生了什么？
【发布时间】：2011-07-29 16:23:14
【问题描述】：

几年前，在 .NET 4 发布之前，代码合同已经遍布博客圈，.NET 4 中包含的运行时组件和静态检查器在更昂贵的 Visual Studio 2010 版本中可用。

不过，围绕代码合约的讨论似乎已经平息，人们是否在生产中使用它？ Microsoft Research 是否正在开展更多工作？

【问题讨论】：

【解决方案1】：

查看project page，最后一次发布是 2011 年 6 月 2 日 - 这对我来说似乎很新。

所以是的，我认为它仍在进行中。它会在普通代码商店中取得重大进展吗？现在说还为时过早。偶尔我会看到有关 Stack Overflow 的问题，这表明它仍在一些地方使用 - 但我没有看到我真正希望的那么多使用证据。

我怀疑它是在某些情况下真正有用的工具之一，但在其他情况下有点痛苦 - 而且在新建项目中比在新建项目中更有用。

【讨论】：

另一个缺点是即使他们提到它也不需要小型库的外部安装程序；它将包含在 Visual Studio 2010 和 .NET 4 中，但这并没有发生。您仍然必须从 devlabs 下载包并安装它，否则您不会在 Visual Studio 中将代码合同选项卡添加到您的 .NET4 项目中。不是一个大问题，但另一个依赖包需要担心安装在你的机器上。
所以自从被问到这个问题已经大约一年了，代码合同似乎仍在积极开发中（最后一次发布于 2012 年 3 月 27 日），但我很失望它没有包含在 VS 2012 中，甚至没有被讨论过这些天差不多。关于为什么不以及何时/是否会像 Moles 那样产品化的任何见解？
@ScottLerch：恐怕我没有这样的洞察力:(

【解决方案2】：

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

【讨论】：