条件语句if-else是在编程时最常见的语句,我们对它们是相当熟悉。本人上学时还闹出一个笑话,可能是自己耳朵有问题或是老师教的有问题,一直把else读为:安赖死,以至于在做项目交流的时候,嘴巴冒出这个发音时,几个哥们儿笑的人仰马翻,不闲扯了,说正题。
往往最简单的东西,却有着很多意想不到的技巧和陷阱,
本人总结了三点平时写程序时遇到的问题和建议,希望能够对大家有所帮助。
1. 符号执行问题:
下面这两种风格,哪种更好呢?
if(a == 1)
{
}
if(1 == a)
{
}
显然后者更好,为什么呢?这是为了防止写程序时,漏掉一个“=”号;这个时候,编译器是不会提示错误的,导致比较语句变成了赋值语句,从而永远执行语句;而后者如果少了一个“=”号,编译器会提示出错,这就是符号执行的好处。
2. if-else匹配问题:
if(1 == a);
fun(1);
这个时候,fun()函数不管条件正不正确,始终被调用;原因是if(1 == a)后面有一个“;”号,表示一条空语句,也就是:
if(1 == a)
{}
fun(1);
我们在写程序的时候,不建议省略“{}”,哪怕是空语句或者一条语句;
另外,不建议用下面这种编码风格:
if( 1 == a){
语句;
}
else{
语句;
}
我们更倾向于这种风格:
if(1 == a)
{
}
else
{
}
3. if-else语句执行问题:
我们知道,在if-else构成的语句中,如果if后条件正确,else分支将会被跳过,多个if-else语句的执行情况也是一样的;从而我们更倾向于把正常情况放在if条件中,这样会省去不必要的条件判断,提高程序执行效率。
在专业的白盒测试中,有一个关于分支和语句的通过指标,当且仅当一个函数的所有语句和分支的覆盖率都达到100%时,才认为程序的结构设计是通过的,这样能够保证排除条件的矛盾性;什么叫语句?什么叫分支呢?例如:
if(A && B && C)
{
}
else
{
}
两个{}之间的部分叫做语句,条件A && B && C叫做分支;语句的用例设计可以分为两种就可以全部覆盖,而分支却不是;我们要让条件的每个分支A,B,C都各为一次真和假,即:1 and 0,才能够说每个分支都检查了一遍,即组合布尔形式为:
1 && 1 && 1;
1 && 1 && 0;
1 && 0;
0 && ;
当条件遇到0时,后面语句将不被检查,直接跳到else语句中,这样我们发现如果是假的时候,有三种情况,这就需要三个测试用例来跑这一个条件中的各个分支。这些知识是在白盒测试中常见的内容,我们在设计程序的时候,一定要避免分支的相互矛盾,这个就为程序员带了更高的要求。
最后,补充一个关于switch语句的问题:
switch语句中的case a:
a可以是0.1,-0.2,3/2,变量i(假设i已经被赋值为1)吗?可以是'A','a'吗?
前面的一组情况不允许,后面的一组情况是可以的。
总结:在switch语句中,case后面只能是整形或者字符型的常量或者常量表达式。