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

Question

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

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

那么，Code Contracts 暂时关闭了吗？

标签： .net-corecode-contracts

Answer 1

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

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

坏消息是没有对其他类型合约的内置支持，未来也没有类似的东西宣布。

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