.NET Core：代码合同方法目前已关闭？

Question

几年前，有很多有关代码合同的信息。我没有时间去学习它，现在才发现这一次:)

但是当我尝试使用它时，我发现Visual Studio 2017不支持它，CC工具上次更新是在3年前...

那么，代码合同暂时关闭了吗？

Answer 1

遗憾的是，不再支持代码合同。

好消息是C＃8将包含一个新的可为空的引用类型功能，该功能将处理使用代码协定的大部分不变量以及前提条件和后置条件。这将有助于检测和避免可能的空引用异常。

坏消息是，没有对其他类型合同的内置支持，也没有像将来那样宣布的消息。

正确性保证必须来自第三方工具，或者必须使用另一种语言（例如Ada Spark）。