有些程序员喜欢用
if
（x
）
语句，建议不要用这种简写的方式，应使用
if
（x
！=0
）
的方式。又如在下面语句
if
（x=y
）
func
（
）；
中，程序员的本意是检查x和y是否相等，还是赋值呢？某些编译器对形如这种的表达式会给出警告，要求编写者予以确认。这时可以采用显式地进行比较，例如改为
if
（（x=y
）！=0
）
func
（
）；
的结构，就会使得代码的意图一目了然。
【例16.3】有如下一个源程序。
#include <stdio.h>
int main
（）
{
int a
，b
；
printf
（"
输入两个整数："
）；
scanf
（"%d%d"
，&a
，&b
）；
if
（a&b
） printf
（"
输入的两个数均不为0
。\n"
）；
else printf
（"
输入两个数至少有一个为0
。\n"
）；
return 0
；
}
下面是运行实例。
输入两个整数：
3 5
输入的两个数均不为0
。
输入两个整数：
0 2
输入两个数至少有一个为0
。
输入两个整数：
5 0
输入两个数至少有一个为0
。
输入两个整数：
0 0
输入两个数至少有一个为0
。
根据运行示范，能判断程序是否正确吗？
【分析】运行示范确实符合要求，但这并不能说明程序没有错误。如果能找到一个输出错误的例子，就能否定这个程序。假如输入“12 3”，则有
输入两个整数：12 3
输入两个数至少有一个为0
。
由此可以证明程序运行不正确！这个程序使用“&”代替“&&”，对数据判断存在错误。&是位运算，而
12 & 3
中，12的代码是1100，3的代码是0011，其运算结果恰好为0，执行else语句则给出错误结果。应该使用
if
（（a
！= 0
） &&
（b
！= 0
））
来代替它。改正的程序如下。
#include <stdio.h>
int main
（
）
{
int a
，b
；
printf
（"
输入两个整数："
）；
scanf
（"%d%d"
，&a
，&b
）；
if
（（a
！=0
）&&
（b
！=0
）） printf
（"
输入的两个数均不为0
。\n"
）；
else printf
（"
输入两个数至少有一个为0
。\n"
）；
return 0
；
}
输入两个整数：
12 3
输入的两个数均不为0
。
修改后的程序对输入“12 3”的运行符合要求。