函数前置条件和后置条件
来源:互联网 发布:中英互译的软件 编辑:程序博客网 时间:2024/04/29 05:01
前置条件指调用者调用该函数之前必须满足的条件。一般来说,前后置条件都可以转化为assert语句。
比如传递个strcpy的参数必须都是有效指针,win32下调用socket之前,必须先调用WAStartup,等等。
如果不满足前置条件就调用该函数,是属于调用者的bug;
后置条件指该函数在return之前,必须满足的一个约束。
前后置条件一般都包括几个方面:
1)参数
2)返回值
3)全局变量/类成员变量
区分前置条件和运行时异常的方法:
违反前置条件是属于调用者的bug,调用者有责任保证符合前置条件。
处理运行时异常是你自己的责任,没处理好是算你自己的bug。
另外,直接来自用户/外部RPC的输入,不能作为前置条件。
- 函数前置条件和后置条件
- 用例中的前置条件和后置条件
- 用 NVI 模式来实现契约的前置条件、后置条件和不变式
- 用 PIMPL 模式来实现契约的前置条件、后置条件和不变式
- Imperfect C++读书笔记(二):前置条件、后置条件和不变式
- 编写前置和后置条件的连贯接口库:CuttingEdge.Conditions
- 关于前置++和后置++
- ++前置和后置
- Java - 前置++和后置++
- 前置和后置++
- 前置++和后置++重载
- while循环条件后置
- 如何给asp.net表单提交前置和后置函数
- 前置++和后置++的区别
- 前置和后置运算符
- 重载 ++ , - - (前置 和 后置)
- 前置递增和后置递增
- ++前置和后置的区别
- Drupal 7 Ajax 应用
- 程序员最重要的素质
- 那年,那场青春繁华梦
- 【js特效】一款不错的翻牌或书角效果
- 如何在远程的时候取得自己本地的文件
- 函数前置条件和后置条件
- hadoop简介
- 那些应该记住的
- 最近编译ffmpeg偶然发现没有生成ffplay
- 解决eclipse报错: Errors running builder JavaScript Validator的问题
- 12个有趣的C语言面试题
- 时钟类练手
- String变量引起的Loadrunner资源泄漏
- Android的图片压缩类ThumbnailUtils