c# - 我是否应该在发布版本上为 .NET 4.0 打开代码契约的运行时检查？

Question

假设所有新的 .NET 4.0 代码

我看到有打开它们的选项。但是我不明白最佳做法是什么？

最好的做法是，一旦完成静态检查，您真的不需要进行运行时检查(因为编译器会确保满足条件)吗？或者是否存在这样的情况，即使编译器为您检查了它，但在运行时仍有可能不满足条件？

关于此的任何好的在线讨论或文章。我看到许多人解释了如何做，但没有多少人解释了假设所有新的 .NET 4.0 代码都不需要向后兼容性的最佳实践。

Answer 1

since the compiler makes sure that the conditions are met?

静态验证器 很少能够验证整个应用程序。我们通常会满足于主要部分。

Should I turn on runtime checking of code contracts for .NET 4.0 on release builds?

可能不是Full 选项，而是像PreConditions Only 这样较轻的选项之一。

对于性能关键代码，您可能希望完全关闭它们。