如何在C＃7.0中使用CodeContracts？

Question

我有一个关于C＃中代码合同的简单问题。

C＃中的代码联系人的主要目的是什么？这样我才能在应用程序中使用它们？

.Net Core 3.0是否再支持它们？

这被认为是老式的方法吗？

Answer 1

1. 您可以找到您要询问的大多数信息here。
2. 它们在Net Core（3.0 Preview 3 2.2 2.1 2.0 1.1 1.0）和.Net Framework（4.8 4.7.2 4.7.1 4.7 4.6.2 4.6.1 4.6 4.5.2 4.5.1 4.5 4.0）'
3. 关于它是否过时，这是见仁见智。它们仍在使用，但随着自动化测试的普及而减少。