我想进一步澄清一些事情。
考虑一下:
var a = 42;
var b = "abc";
var c = null;
a || b; // 42
a && b; // "abc"
c || b; // "abc"
c && b; // null
我知道对于||
运算符,如果对第一个操作数的测试为真,则||
表达式会产生第一个操作数(a或c)的值。如果测试为假,则||
表达式将生成第二个操作数(b)的值。
相反,对于&&
运算符,如果测试为真,则&&
表达式将生成第二个操作数(b)的值。如果测试为假,则&&
表达式将生成第一个操作数(a或c)的值
那么当你使用&&
和||
运算符来链接值时会发生什么:
if(a && b && c && d && e){
//do something;
}
if(a || b || c || d || e){
//do something
}
链接值时究竟发生了什么?因为在第一个例子中(涉及&&
运算符)如果a为真,那么应该返回b吗?那么在这一点上是否考虑过c或d?
答案 0 :(得分:5)
那么当您使用带有链接值的
&&
和||
运算符时到底发生了什么?
&&
是一个二元运算符,有一个左操作数和一个右操作数。表达式a && b && c && d && e
基于associativity rules进行解析,因此它看起来像这样:
if (a && (b && (c && (d && e)))) {
基于&&
的语义,如果a
是假的,则整个条件立即评估为a
,这是假的。如果a
是真实的,那么表达式将评估到右侧,即b && (c && (d && e)))
。在这种情况下,如果b
是假的,那么该子表达式,以及整个表达式,立即评估为b
,这是假的;如果b
是真实的,那么该子表达式将评估其右侧,即c && (d && e)
,并且该过程将继续。
最终结果是整个表达式变得虚假的直观行为,因此对于if
分支到不,它足以满足任何强大的变量是假的。一旦遇到任何假变量,评估将“短路” - 导致假 - 。因为整个表达式都是真实的,因此对于if
分支,所有变量都必须是真实的。
对于||
,逻辑是相反的。因为整个表达式都是真实的,因此对于if
分支来说,任何变量都是真实的就足够了。一旦遇到第一个真值,评估就会短路" - 导致真相。因为整个表达式都是假的,因此对于if
分支而不是,所有变量都必须是假的。
You Don't Know JS也有很好的解释。
答案 1 :(得分:0)
链接值时究竟发生了什么?
在第一个表达式(&&)中,所有值都必须是真实的,以便条件测试通过。假设所有值都是真实的,解释器将评估所有值,并且条件测试将通过。否则,它将评估第一个假值,并且条件测试将失败。
在第二个表达式(||)中,只有一个值必须是真值才能通过条件测试。假设至少有一个值是真实的,解释器将评估第一个真值,并且条件测试将通过。否则它将评估所有值,条件测试将失败。
答案 2 :(得分:0)
根据MDN网络文档:
1-逻辑AND(&&)- expr1 && expr2 =>如果expr1可以转换为true,则返回expr2;否则,返回expr1。
表示如果expr1为true,则将返回exper2,否则将返回expr1。
2逻辑或(||)- expr1 || expr2 =>如果expr1可以转换为true,则返回expr1;否则,返回expr2。
表示如果expr1为true,则输出将为expr1,否则输出将为expr2。