R-算术不尊重逻辑非运算符和运算顺序？

Question

逻辑 NOT 运算符! 似乎在算术中具有非直观的运算顺序：

set.seed(42)
a  <-  sample(100, 3)
b  <-  sample(100, 3)
c  <-  sample(100, 3)
l  <-  (1:3) <= 2

a * !l - b * !l + c
# 0  0 29

# same expression, but with parentheses for explicit grouping order of operations
(a * !l) - (b * !l) + c
# 74 14 43

关于! 运算符与* 或从逻辑到数字的转换，一定有什么我不明白的地方吗？

Answer 1

请注意，在 R 中，否定运算符 ! 将应用于运算符右侧的整个表达式，直到它到达末尾或遇到优先级较低的表达式。它不只是否定最直接的术语。还记得 0 被视为 FALSE，任何其他数字都是 TRUE。所以观察

!0
# [1] TRUE
!5
# [1] FALSE
!5-5
# [1] TRUE
!5-3-2
# [1] TRUE
(!5)-3-2
# [1] -5

所以你看到在!5-3-2 的情况下，在评估 5-3-2 之后才会发生否定。没有括号，否定是最后发生的事情。

所以当你写的时候

a * !l - b * !l + c

和这个是一样的

a * !(l - (b * !(l + c)))

因为所有的操作都必须发生在否定的右边才能发生否定。

如果您只想否定 l 条款，您可以这样做

a * (!l) - b * (!l) + c

这是 R 中运算符优先级的函数（有关详细信息，请参阅?Syntax 帮助页面）。它是给定表达式中要计算的最后一个运算符。

请注意，& 和 | 的优先级低于 !，所以当你这样做时

!a | !b & !c

和这个是一样的

(!a) | ((!b) & (!c))

因此，如果您只使用逻辑运算符，这大致就是您所期望的。将逻辑运算符和算术运算符结合起来可能会有点奇怪。