布尔运算符 && 和 ||

Question

根据R language definition，&和&&（对应|和||）的区别在于前者是矢量化的，而后者不是。

根据the help text，我读到的区别类似于“And”和“AndAlso”（相应地“Or”和“OrElse”）之间的区别...... 意义： 不是所有的评估都不是必须的（即，如果 A 为真，则 A、B 或 C 始终为真，因此停止评估 A 是否为真）

有人能解释一下吗？ 另外，R 中是否有 AndAlso 和 OrElse？

Answer 1

较短的被向量化，这意味着它们可以返回一个向量，如下所示：

((-2:2) >= 0) & ((-2:2) <= 0)
# [1] FALSE FALSE  TRUE FALSE FALSE

较长的形式从左到右只检查每个向量的第一个元素，所以上面给出了

((-2:2) >= 0) && ((-2:2) <= 0)
# [1] FALSE

正如帮助页面所说，这使得较长的形式“适用于编程控制流，并且通常在 if 子句中首选。”

因此，只有当您确定向量的长度为 1 时，您才想使用长格式。

您应该绝对确定您的向量的长度仅为 1，例如在它们是仅返回长度为 1 布尔值的函数的情况下。如果向量的长度可能 > 1，您想使用简短形式。因此，如果您不确定，您应该先检查，或者使用缩写形式，然后使用 all 和 any 将其缩短为长度，以便在控制流语句中使用，例如 if。

函数all 和any 经常用于向量化比较的结果，以分别查看所有或任何比较是否为真。这些函数的结果肯定长度为 1，因此它们适用于 if 子句，而矢量化比较的结果则不然。 （尽管这些结果适用于ifelse。

最后一个区别：&& 和 || 只评估所需数量的术语（这似乎是短路的意思）。例如，这是使用未定义值a 进行的比较；如果它没有短路，就像& 和| 那样，它会报错。

a
# Error: object 'a' not found
TRUE || a
# [1] TRUE
FALSE && a
# [1] FALSE
TRUE | a
# Error: object 'a' not found
FALSE & a
# Error: object 'a' not found

最后，请参阅The R Inferno 中的第 8.2.17 节，标题为“and and andand”。

Answer 2

关于"short-circuiting" 的答案可能具有误导性，但有一些道理（见下文）。在 R/S 语言中，&& 和 || 仅计算第一个参数中的第一个元素。无论第一个值如何，向量或列表中的所有其他元素都将被忽略。这些运算符旨在与if (cond) {} else{} 构造一起使用并指导程序控制而不是构造新向量。& 和| 运算符旨在处理向量，因此它们将“并行”应用，可以这么说，沿着最长参数的长度。在进行比较之前，需要对两个向量进行评估。如果向量的长度不同，则执行较短参数的循环。

当&& 或|| 的参数被计算时，存在“短路”，如果从左到右连续的任何值是确定性的，则计算停止并返回最终值。

> if( print(1) ) {print(2)} else {print(3)}
[1] 1
[1] 2
> if(FALSE && print(1) ) {print(2)} else {print(3)} # `print(1)` not evaluated
[1] 3
> if(TRUE && print(1) ) {print(2)} else {print(3)}
[1] 1
[1] 2
> if(TRUE && !print(1) ) {print(2)} else {print(3)}
[1] 1
[1] 3
> if(FALSE && !print(1) ) {print(2)} else {print(3)}
[1] 3

只有当参数需要很长时间来评估时，短路的优势才会出现。当参数是处理较大对象或具有更复杂的数学运算的函数时，通常会发生这种情况。

Answer 3

&& 和|| 就是所谓的“短路”。这意味着如果第一个操作数足以确定表达式的值，它们将不会计算第二个操作数。

例如，如果&& 的第一个操作数为假，则计算第二个操作数没有意义，因为它不能更改表达式的值（false && true 和false && false 都是假的）。当第一个操作数为真时，|| 也是如此。

您可以在此处阅读更多相关信息：http://en.wikipedia.org/wiki/Short-circuit_evaluation 从该页面上的表格中您可以看到 && 相当于 VB.NET 中的 AndAlso，我假设您指的是它。