结合使用 ifelse 和 eval 的 R 行为

Question

免责声明：此代码是不好的做法。，并且仅在某些类似错误的情况下才有效。 切勿在真实情况下使用它。这个问题是关于 R 的有趣行为，仅此而已。

阅读这个问题我很困惑。显然，ifelse 可以访问应该隐藏的信息。

假设我们这样做：

> x <- expression(dd <- 1:3)    
> y <- expression(dd <- 4:6)    
> z <- c(1,0)

> eval(x)
> eval(y)
>

我们没有得到任何输出。逻辑，因为两个表达式实际上都是向量 dd 的赋值。 eval() 不应该给出输出。但奇怪的是，当你尝试有趣的代码时，

> ifelse(z==0,eval(x),eval(y))
[1] 4 2

你会得到输出？？？有人对此有解释吗？

它并不像“R 评估然后使用 dd”那么简单。无论您给 z 的顺序如何，无论您使用什么条件，dd 始终是最后提到的 eval()。

> ifelse(z==0,eval(x),eval(y))
> dd
[1] 4 5 6

> ifelse(z==1,eval(x),eval(y))
> dd
[1] 4 5 6

> z <- c(0,1)
> ifelse(z==0,eval(x),eval(y))
> dd
[1] 4 5 6

> ifelse(z==1,eval(x),eval(y))
> dd
[1] 4 5 6

> ifelse(z==1,eval(y),eval(x))
> dd
[1] 1 2 3

---

编辑：

仔细查看 ifelse 的源代码表明，确保发生这种情况的行是 rep() ：

> x <- expression(dd <- 1:3)
> eval(x)
> rep(eval(x),2)
[1] 1 2 3 1 2 3

不过，它并没有解决问题......

Answer 1

这不是一个错误

命令结果到控制台的“输出”是有条件的。这可以由函数本身确定 - 例如：

> f=function(x)x;
> g=function(x)invisible(x);
> f(1)
[1] 1
> g(2)
> .Last.value
[1] 2

该值仍然正常返回 - 它只是没有打印在控制台上。

这里发生的情况是，eval 将其输出标记为invisible，但 rep 和 ifelse 没有，并且实际上有效地剥离了他们的输入中的invisible属性。

看起来不可见是变量的特殊属性，并且不通过代表操作传递。它也不是通过赋值传递的：

> h=function(x){y=x;y;}
> f(g(1))
> h(g(1))
[1] 1
>

请参阅 ?invisible 了解更多背景信息。

Answer 2

R 始终评估 ifelse 命令的两个替代方案。您可以将其合理化为必要的，以便准备好选择每个向量中的哪个项目返回到调用环境。 if (cond) {affirm-conseq} else {neg-conseq} 的情况正好相反。当查看 ifelse 的代码时，就会发现“dd”的基础总是根据第三个 ifelse 参数的评估来设置。在“yes”向量之后评估“no”向量代码，以便选择将负后续向量中的哪些项目分配给“ans”输出向量。