我将使用什么以及何时使用
[ContractClassFor(typeof())]
MSDN的解释并没有告诉我太多。谢谢，
答案 0 :(得分：7)
此属性允许您为接口定义代码协定条件。有关更多详细信息，以下网站可能有用http://devjourney.com/blog/code-contracts-part-5-abstract-types-and-interfaces/
更新：Kevin似乎删除了内容。可在此处找到内容缓存：http://web.archive.org/web/20120105070912/http://devjourney.com/blog/code-contracts-part-5-abstract-types-and-interfaces/