Microsoft刚刚发布了Code Contracts，这是一个与Visual Studio集成的工具，允许您为.Net代码定义合同并获取运行时和编译时检查。
观看显示其使用方式的video on Channel 9。
目前它是一个附加组件，但它将成为.Net 4.0中基类库的一部分
这是你看到自己使用的东西吗？
我想知道这是否意味着Spec#的死亡？
更新
Spec＃的死亡我的意思是我们现在有2个不同的项目来写合同：
Spec＃是C＃的演变，它引入了新的关键字和行为;另一方面，微软刚刚发布的是一个可以与任何.Net语言一起使用的库
由于后者看起来会成为事实上的标准，我想知道它在哪里留下Spec＃
答案 0 :(得分：7)
我认为大多数使用c＃4.0的开发人员都会自己使用它们，特别是在创建一个计划向任何人公开的库时。它可能会使您的代码在区域中更加冗长，但它的优势应该超过代码行和花费的时间。
答案 1 :(得分：1)
你是什么意思，Spec＃的死亡？这是Spec＃的下一个演变。
而且，是的，我打算使用它们。
答案 2 :(得分：0)
说实话，在我看到你的问题之前，我不知道它们是什么。我没有看到对我的组织的适用性，所以我们可能不会使用它们。