提问人：Oleg Sh 提问时间：3/15/2019 更新时间：4/9/2019 访问量：1242
.NET Core：代码协定方法现已关闭？
.NET Core: Code Contracts approach is closed for now?
问：
几年前，有很多关于代码协定的信息。我没有时间学习它，直到现在才发现这个时间:)
但是当我尝试使用它时，我发现 Visual Studio 2017 不支持它，CC 工具上次更新是在 3 年多前......
那么，代码合约现在已经关闭了吗？
答：
9赞
Jeffrey L Whitledge
3/20/2019
#1
可悲的是，代码协定不再受支持。
好消息是，C#8 将包含一个新的可为 null 的引用类型功能，该功能将处理使用代码协定的大部分不变量以及前置条件和后置条件。这将有助于检测和避免可能的 null 引用异常。
坏消息是，没有对其他类型的合约的内置支持，而且未来也没有宣布类似的支持。
正确性保证必须来自第三方工具，或者必须使用其他语言（例如，Ada Spark）。
评论