C# 为什么'；t代码合同显示消息？

我将以下内容作为方法的第一行：

Contract.Requires(param1 != null, "param1 can't be null");

---

当param1为null时，不会发生任何事情，契约下面的代码将继续执行。消息显示还需要其他内容吗？

您必须在项目属性（解决方案资源管理器中的项目->属性->代码契约）中配置检查，然后定义静态检查和运行时检查的设置

未选中的调用将以紫色波浪线划线，您将在日志窗口中得到提示。

来自：

您必须使用二进制重写器插入合约的运行时强制。否则，合约（如Contract.Surveures）方法只能静态测试，并且在违反合约的情况下不会在运行时引发异常。您可以从MSDN Devlab网站上的代码合约下载二进制重写器CCRewrite.CCRewrite com使用Visual Studio外接程序激活，该外接程序使您能够从项目属性页激活运行时契约实施。二进制重写器和Visual Studio外接程序不随Visual Studio 2010或Windows SDK提供