摘要:
一.代码协定 1.前提条件 Contract.Requires(bool) .EndContractBlock();用于兼容旧if判断代码 2.后置条件 .Ensures(bool) .Result() 返回值 .OldValue(x)返回参数的原始值 .ValueAtResult(out x)返回out参数的值 3.集合检查 .Exists()任一项满足条件 .ForA... 阅读全文
posted @ 2014-11-03 18:19
诺贝尔
阅读(563)
评论(0)
推荐(0)

浙公网安备 33010602011771号