概述
在C语言程序中，条件语句决定程序的执行路径，因此条件表达式是程序的关键。
应用最经典的程序，除法的减法实现程序,解释条件表达式的重要性。x=y*q+r，x是被除数，y是除数，q是商，r是余数。 程序的方法， x=(r-y)+y*(1+q)。
main(){ /*错误条件的程序*/
r:=x; q:=0;
while(r>y){
r:=r-y; q:=q+1;
}
}
此程序中，r是被减数，也是余数。根据经验在程序中,余数r应大于除数y，实际上余数可以为0，因此while语句的条件表达式r>y，应是r>=y。
r=r-y，要求r减少，因此y不能是负数，而且根据除法的要求y>0，程序的初始化数据y>0。
若x<0，则r<0。若y>0，则程序不能执行，若y<0，而且y<r，则程序的方法错误。例如x=-2，y=-4，第一次迭代，r=2, q=1，与数学的除法规定不相符。因此x>0 而且x可以为0，即x>=0。
编写正确的程序，又称为程序正确性证明。用前后断言判断语句的正确性，P{Q}R，P是前断言，R是后断言。断言描述变量值的特征与变量间的关系。[论文题目《An axiomatic basis for computer progamming》，作者 C.A.R. Hoare。这篇论文很简单
最后
以上就是如意西牛为你收集整理的2.2 C语言程序的错误条件的全部内容，希望文章能够帮你解决2.2 C语言程序的错误条件所遇到的程序开发问题。
如果觉得靠谱客网站的内容还不错，欢迎将靠谱客网站推荐给程序员好友。
本图文内容来源于网友提供，作为学习参考使用，或来自网络收集整理，版权属于原作者所有。
发表评论 取消回复