R：添加两个if（）{}else{}构造的意外行为

Question

考虑以下R输入：

if(TRUE){1}else{0} + if(TRUE){1}else{0}

结果是1，但我期望2。如果我把每个If-else语句都用括号括起来，

(if(TRUE){1}else{0}) + (if(TRUE){1}else{0})

那么结果是2。

有人能解释这种行为吗？

Answer 1

这与决定评估顺序的操作员亲和力有关。像数学一样，括号比乘法有更高的优先级，比正负有更高的优先级。表达式的第二部分永远不会被计算，因此会被忽略，导致1例如if（TRUE）{1}其他{0}消息（我永远不会打印）。包括括号将迫使首先评估两个部分分开，然后做加号，导致2。

Answer 2

else子句直到R能够识别表达式的结尾才结束。在R中，{}不是if/else语句语法的一部分。{}可以在任何可能放置多个语句的地方使用。你也可以

if(TRUE) 1 else 0 + if(TRUE) 1 else 0 

{}没有真正意义。自从

 0 + if(TRUE) 1 else 0 

是一个有效的表达式，R只是假设您希望所有这些都用于else子句。通常，当R在完成的表达式后遇到换行符时，它将结束else子句。这意味着

if(TRUE){1}else{0} + 
   if(TRUE){1}else{0}

也将返回相同的值，因为第一行末尾的表示由于有效表达式不能以结尾，因此还会有更多内容。

注意：如果您真的很好奇的话，您可以在lobstr包的帮助下看到表达式是如何变成抽象语法树的。

#lobstr::ast(if(TRUE){1}else{0} + if(TRUE){1}else{0})
o-`if` 
+-TRUE 
+-o-`{` 
| \-1 
\-o-`+` 
  +-o-`{` 
  | \-0 
  \-o-`if` 
    +-TRUE 
    +-o-`{` 
    | \-1 
    \-o-`{` 
      \-0 

在这里，我们看到所有内容都嵌套在第一个if中。不是主运算符。

如上所述，可以使用（）或{}显式结束表达式块

{if(TRUE){1}else{0}} + {if(TRUE){1}else{0}}

同时考虑一下

x <- 5
if(FALSE) x+1 else x+2
# [1] 7
if(FALSE) x+1 else {x}+{2}
# [1] 7

注意对于else表达式，如何将x2放在一起。它不在第一个符号x处结束。