CLR 4.0中的代码契约

代码契约来自于微软的研究项目TEAM, 理念是”契约式设计”. 过去我们写一些方法, 在每一个方法 前面加上说明文字, 告诉调用者这些方法的参数有什么要求. 但是这样做有一个缺点, 就是这样不能使调 用者必须遵守调用要求. CLR4.0提供的代码契约机制可以保证调用者遵守这些调用规则, 编译时有编译器 进行检查, 运行时有CLR来检查. 它类似于c++的断言机制. 但比c++的更丰富.

所有的代码契约都在 System.Diagnostics.Contracts.CodeContract静态类中定义. 来看几个常用的 :

方法体刚进入时用:

CodeContract.Requires(x>= 0);  明眼人一看就懂,  它受编译开关的影响, 比如你可以只在调 试模式下使用此代码契约.

CodeContract.RequiresAlways(x>= 0); 基本和上面这个一样, 唯一区别它不受编译开关的影响, 即不管是Debug还是Release模式都要包括这个代码契约.

方法体退出时用(这些须写在方法体的开始处):

// 方法体关闭时必须为真 must be true if method closes successfully 
CodeContract.Ensures(z != null);
// 确保发生异常时某些变量的状态 Grantuee some  variable status in 
CodeContract.EnsuresOnThrow(z !=  null);case of specific exceptions.

对象不变量

对象不变量确保所有公共方法返回时某些条件必须满足. 对象不变量定义在一个单独的方法内, 此方 法要有[ContractInvariantMethod]做标注. 方法名无所谓, 但是方法必须返回void, 并且没有参数, 方 法体内可以有多个CodeContract.Invariant语句, 如:

[ContractInvariantMethod]

  void ObjectInvariant() { 
CodeContract.Invariant(someData >= 0); 
}


  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值