1. 不能清晰理解“==”运算以及优先级和结核性的含义
在判断i,j,k三个变量是否相等时往往会轻率地写出“i == j == k ”这样的表达式并误以为三个变量的值相等时,这个表达式的值为1。然而,这个是错误的。
在表达式“i== j == k ”中,这两个==符号的优先级是相同的,这样,我们要观察表达式的含义,需要借助结核性来判断了。“==”符号的结合性是从左到右,所以我们看到的表达式“i== j == k ”实际等价于“(i == j)== k”。我们分析这个表达式,其实这个式子的含义是判断(i == j)这个式子的值与k的值是否相等。
当k的值是1,而i和j的值是相等并且都为1的时候,我们就会得到一个假象,以为这个表达式是正确的。其实这个结果并不准确。只要k的值为1,i和j的值只要相同,这个表达式的值就为1 。而对于i,j,k都为2的时候,我们反而会得到表达式不成立的结果。从这几个例子,我们能看出表达式所表达的真实含义。
2. 对于自然语言和程序语言的理解不一致。
看下面这个例子:
“当一个整数不等于5或者不等于6时……..”
这句话我们按照正常的思维理解,是没有问题的,但是我们把这句话转换为程序语言,就会出现问题了。不信?那你试一试。
你是不是会这样写“if(i != 5 || i != 6)”?若是这样写,你就错了!
错误在于“i != 5 || i != 6 ”这个表达式的值是恒为1的。因为i的值不可能等于5的同时也等于6。所以,这个表达式为假是不可能的。
实际上,用准确的语言来描述这个问题是:当这个整数不等于5且不等于6时,程序输出1,否则输出0。
3. 关于将自然语言翻译成代码,还有一个例子值得一说。如何将这句话翻译为c代码呢?
“字符c的值等于‘’、‘\n’或‘\t’
有的同学讲其翻译为“c == ‘‘ || ‘\n’ || ‘\t’”。然而,这两种描述并不等价,它们的思考方式是不同的。在自然语言中成立的语句,在C语言中并不一定成立。
C语言是一种人与机器交流的语言,在某种程度上,C语言更接近于数学语言。C语言中的每个变量都有值,C语言就是通过这些值来实现逻辑表达的。在上面的例子中,字符c的值是和’‘、’\n’或‘\t’三者之一是相等的,也就是说,c == ‘‘、c==’\n’、c == ‘\t’这三个表达式有且只有一个为1。因此,上述语句的C代码可以写成(c ==’‘ + c == ‘\n’ + c==’\t’) == 1。
而更为有效率的表达是这样写的:c == ‘‘ || c == ‘\n’ || c == ‘\t’。这种表达的优点是,按照顺序执行这三个表达式的,若其中有一个为1,就不需要计算其余表达式,直接得到表达式的值。而(c ==’‘ + c == ‘\n’ + c==’\t’) == 1表达式需要计算出所有的式子的值,才能得到整个表达式的值。