探秘CLR 4.0中的代码契约

开发
代码契约来自于微软的研究项目TEAM, 理念是”契约式设计”. CLR4.0提供的代码契约机制可以保证调用者遵守这些调用规则, 编译时有编译器进行检查, 运行时有CLR来检查.

代码契约来自于微软的研究项目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);
 }

【编辑推荐】

  1. 详解.NET 4.0代码契约组件
  2. 在CLR之上的构建领域特定语言
  3. Visual Studio中的SQL Server CLR代码调试
责任编辑:book05 来源: cnblog
相关推荐

2009-03-04 09:52:35

代码契约组件接口

2009-03-23 10:54:12

.NET契约式编程编程思想

2009-03-12 09:30:46

异常CLR.NET

2009-07-24 17:22:22

CLR 4.0安全模型

2010-03-29 16:48:18

Nginx内核优化

2009-10-19 14:25:16

静态构造函数

2012-11-22 09:14:34

华为存储闪存

2009-10-22 13:02:47

SQL SERVER

2023-02-16 11:58:51

契约开发测试​​

2022-08-14 07:08:51

Hadoop契约监控机制

2022-05-04 10:22:39

Nodejs异步模式

2009-09-03 14:26:17

Jit编译

2023-10-13 13:19:02

Java枚举

2022-07-27 11:51:39

契约测试开发测试

2010-05-11 16:22:40

2023-03-30 14:45:51

工业4.0物联网

2010-01-27 16:24:52

2009-11-09 14:15:17

WCF集合类型

2011-11-15 10:16:41

Android 4.0Google

2009-03-10 10:21:05

灾难恢复Restart Manvs
点赞
收藏

51CTO技术栈公众号