.net 4.0代码契约。何时使用?他们什么时候浪费时间?

每当我需要验证输入参数是否需要有一个特定的值(数字是正的,对象不是空的)时,我都会使用它们。

对于输出,只要我确定返回值应该处于某个状态(例如不为null),我就使用它们。

在代码中使用契约可以确保在意外值突然出现时抛出异常,而不会在代码中进一步引发异常,因为意外假设可能会导致对象意外地处于损坏状态。

就我个人而言,我认为它使代码更干净。这个符号使得写起来要少得多(而不是使用if(..==null)…)。这边也是 Contract.Requires

合同研究领域有: http://en.wikipedia.org/wiki/Design_by_contract

代码契约有助于回答以下问题:

• 方法期望什么?
• 方法维护什么?

如果你能为这些问题写一份小而可读的合同,那么就用它吧。

一个

如果需要,可以禁用CodeContracts的运行时强制。

http://research.microsoft.com/en-us/projects/contracts/userdoc.pdf