.net core .NET核心：代码契约方法暂时关闭？

几年前有很多关于代码契约的信息。我没来得及学，现在才发现这一次：）

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

---

那么，代码契约现在已经关闭了吗？

遗憾的是，代码契约不再受支持

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

坏消息是，没有对其他类型合同的内置支持，未来也没有类似的消息

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