【发布时间】：2019-03-15 01:29:51
【问题描述】：
几年前有很多关于代码合同的信息。我没有时间学习它，现在才找到这个时间:)
但是当我尝试使用它时，我看到，Visual Studio 2017 不支持它，CC 工具上次更新是在 3 年前...
那么，Code Contracts 暂时关闭了吗？
【问题讨论】：
【发布时间】：2019-03-15 01:29:51
【问题描述】：
遗憾的是，不再支持代码合同。
好消息是 C#8 将包含一个新的nullable reference types 功能，该功能将处理使用代码协定的大部分不变量以及前后条件。这将有助于检测和避免可能的空引用异常。
坏消息是没有对其他类型合约的内置支持，而且未来也没有任何类似的宣布。
必须来自第三方工具的正确性保证，或者必须使用其他语言（例如，Ada Spark）。
【讨论】：