目录
【问题引入】
在学习C语言的过程中,我们不时会遇到一些代码,如:
int a = 3 , b = 4;
(a = 0) && (b = 3);
对于一些刚接触C语言的萌新(比如我),也会对上述式子产生疑惑。因为根本不知道是啥意思,更不知道这样的操作会对a,b的值产生什么影响。
接下来我会谈谈我的一些想法。(希望大神指正)
【问题分析】
1.表达式(expression):
表达式(expression)是由运算符和运算对象组成(运算对象即运算符操作的对象),就像我们从小学习数学的四则运算一样(当然C语言中运算符远不止四则运算),下面是一些表达式:
4
-6
q = 4 * 5
x = ++q % 3
如你所见,运算对象可以是常量,变量或者两者的组合。一些表达式由子表达式组成(subexpression),上述例子中:++q 就是表达式 x = ++q % 3的子表达式。
每一个表达式都存在一个值
C表达式的一个最重要的特征就是:每一个表达式都存在一个值。我们都知道我们在编写代码时会对变量进行赋值,但是其实表达式也存在一个值,虽然C语言中存在布尔类型(bool),对应true和false两个表达,但在C语言中,我们一定要记住一个“准则”:表达式为真,值为1;表达式为假,值为0。(其实布尔类型的true和false在C语言中分别用1和0表示)
例如我们常见的缩写形式:
if(x)
while(1)......
2.语句(statement):
语句(statement)是C程序的基本构建块。一条语句相当于一条完整的计算机指令。在C语言中,语句一般由分号结尾,我们不妨认为大多数语句就是表达式后加上分号,但这里必须指出,C语言中存在空语句,即:
; //空语句
相信很多小伙伴对这个语句不陌生,我们常常可以在for循环语句中看见,例如;
for( int i = 1 ; i < 99 ; i ++ ) ; //关注末尾的分号
这个分号表示的就是一个空语句,即进行for循环:条件判断,i自增自减,但不进行其他操作。
这里需要指出,不是所有语句都存在一个值,例如上述的for语句 ,换而言之,语句可以存在值(1或者0)。
【练习】
在进行上述的讲解之后,大家可以试试下列的代码:
#include <stdio.h>
int main()
{
int a = 3, b = 3;
(a = 0) && (b = 5);
printf("a = %d, b = %d\n", a, b);
(a = 1) || (b = 5);
printf("a = %d, b = %d\n", a, b);
(a = 1) && (b = 5);
printf("a = %d, b = %d\n", a, b);
return 0;
}
大家猜一猜,上述三个式子中a,b的值是多少?(需要用到上面表达式的相关知识)
答案:
肯定会有小伙伴感到疑惑,为什么第一个表达式 a = 0 ,b = 3,而不是 a = 0, b = 5呢?
其实当执行完第一个表达式(a = 0)后,0赋值给了a,此时表达式的值也是0,那么显然后续&&的操作就不会执行。那么这里就有伙伴会问,为啥第一个式子和第二个式子中b的值没有改变呢?
那么这里就要设计C语言中一种特殊的求值方式:短路求值。
短路求值又称最小化求值,是一种逻辑运算符的求值策略。只有当第一个运算数的值无法确定逻辑运算的结果时,才对第二个运算数进行求值。即在进行逻辑运算时,一旦逻辑运算符前的表达式能够确定真假,那么程序会根据其真假来判断是否执行逻辑运算符后的操作。
这里第二个式子其实就可以理解了。第一个表达式值为1,为真,由于进行 || 运算,那么就没有必要进行后面的运算,所以b的值没有发生改变。同理第一个式子中b的值没有改变也可以理解了。当然第三个表达式肯定难不住大家。
(本人是萌新,若有错请指正)