validation - Microsoft 代码合同是否不适合验证用户输入？

Question

我在 SO 上的其他地方看到过，虽然企业库验证应用程序块用于验证用户输入，但代码合同旨在防止程序员错误。你会支持这个观点吗？为什么？

Answer 1

是的。

代码合约旨在保持严格的编程接口，只有开发人员才能判断对错；用户不应该真的能把它搞砸。

验证是为了验证数据；例如验证数据不为空，或匹配正则表达式。

Answer 2

代码契约在被违反时会抛出异常。无效的用户输入不是异常情况，因此验证函数通常不应抛出异常。这就是为什么将类似TryParse方法添加到框架中的原因（原始框架没有它们，并且由于所有可能的异常，它使验证变得很麻烦）。

Answer 3

代码契约用于断言始终正确的事物，如果它们不正确，则代码中存在错误。这意味着它只能适用于由代码控制的条件。因此，您不能使用它们来声明“用户永远不会提供空字符串”，因为这超出了代码的控制范围。静态验证器将永远无法证明该声明——它怎么知道用户会做什么？

您可以做的是做出类似“给定用户输入，该方法将返回非空字符串或抛出异常”之类的语句。