抛出exception与Contract.Requires ？
我想知道是否应该抛出exception或调用Contract.Requires
例如：
public static void Function(String str) { if (str == null) throw new ArgumentNullException("str", "Input string cannot be null."); // ... }
VS
public static void Function(String str) { Contract.Requires(str != null, "Input string cannot be null."); // ... }
由于Contract.Requires不需要CONTRACTS_FULL符号，我也可以将它保留在我的发布版本中。
这是我的考虑：
Con：您无法调用自定义exception类型构造函数的重载版本。 根本没有办法将其他参数传递给构造函数。
Pro：静态工具支持（例如通知调用者违反合同）。
我应该使用哪一种，以及哪种情况？
CodeContract用户指南中记录的if-then-throw和Requires之间的基本权衡是如何使用发布位进行构建。
案例1 ：您只使用if-then-throw ，不需要Requires 。 在这种情况下，您可以在不运行dll / exe上的合同工具的情况下构建发布位。 优点是您具有更快的构建，并且没有工具引入错误的风险。 第二个优点是团队成员可以选择不使用CodeContract工具。 缺点是您没有获得需求的合同inheritance，并且您的合同不一定对工具可见（除非您使用EndContract ）。 您可以使用汇编模式指定此案例：自定义参数validation
案例2 ：您决定始终在发布位上运行CodeContract工具。 这允许您使用Requires并获得合同的inheritance，包括接口的检测等。您的合同是干净的并且工具可识别。 缺点是每个构建代码的人都必须安装CodeContracts工具。 您可以使用汇编模式指定此案例：“合同”属性窗格中的“标准”。
希望这清楚的事情。
我不确定这两种方法之间是否存在任何惊天动地的差异，但这有两个原因让我更喜欢合同……
1）代码更整洁，因为您在方法的顶部编写了一个语句，该语句显示了该方法所基于的假设。 如果违反了假设，则不会阻塞代码。
2）当您编写代码时，您可以从Visual Studio获取代码合同中获益，并为您提供有关您要调用的方法的提示。 这有助于确保您发送方法有效参数，而无需跳转到方法定义来检查那里的代码。
一旦代码编译并运行，我认为没有任何重大差异。
希望这可以帮助。