使用非运算符 `!` 进行子集化

Question

我在回答这个问题link 时遇到了一个有趣的细微差别，即 not ! 运算符在子集化中。

退房：

y <- 1:10
y[!y]
integer(0)
y[4] <- NA
y[!y]
[1] NA
y[6] <- 0
y[!y]
[1] NA  0

来自 R 文档：

！表示逻辑 否定（NOT）

0 和 NA 怎么都不是 y？

Answer 1

您没有使用相等性进行子集化，而是将数字 1:10 强制为逻辑 - 并且 0 以外的任何数字都被强制为 TRUE。运行，例如，

!(1:10)
#  [1] FALSE FALSE FALSE FALSE FALSE FALSE FALSE FALSE FALSE FALSE

你得到 10 个 FALSEs，所以当你用 10 个 FALSEs 子集一个长度为 10 的 any 向量时，你什么也得不到。

如?TRUE 和?NA 中所述，与NA 的逻辑比较结果为NA。

当然，0被强制为FALSE，所以!0被强制为TRUE，所以当你将第6个元素设置为0时，

 !c(1:5, 0, 7:10)
 # [1] FALSE FALSE FALSE FALSE FALSE  TRUE FALSE FALSE FALSE FALSE
 #         1     2     3     4     5  ^^^6     7     8     9    10

TRUE 在第 6 个位置，因此子集将返回第 6 个元素。

0 和 NA 怎么都不是 y？

您可能正在寻找y[y != y]？

Answer 2

0 在逻辑运算（布尔代数）中被解释为 FALSE。 !0 = !(FALSE) = TRUE。

同样，非 0 有效（即非 NA）数值在逻辑运算中被解释为 TRUE。

NA 总是很棘手，请参阅上面 Frank 的评论。