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

Question

几年前，有很多有关代码合同的信息。我没有时间去学习它，直到现在才发现：）

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

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

Answer 1

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

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

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

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