在R中解析" - >"赋值运算符

Question

我的问题是在R语言中解析表达式.让我跳到一个例子中:

fun_text <- c("
0 -> var
f1 <- function()
{
    0 -> sum_var
    sum_var2 = 0
    sum_var3 <- 0
}

(function()
{
    0 -> sum_var
    sum_var2 = 0
    sum_var3 <- 0
})->f2

f3 = function(x)
{
  0 -> sum_var
  sum_var2 = 0
  sum_var3 <- 0
}

")

fun_tree <- parse(text=fun_text)
fun_tree 
fun_tree[[1]]
fun_tree[[2]]
fun_tree[[3]]
fun_tree[[4]]

之后,我们获得了这些结果:

expression(0 -> var, f1 <- function()
{
    0 -> sum_var
    sum_var2 = 0
    sum_var3 <- 0
}, (function()
{
    0 -> sum_var
    sum_var2 = 0
    sum_var3 <- 0
})->f2, f3 = function(x)
{
    0 -> sum_var
    sum_var2 = 0
    sum_var3 <- 0
})

和

var <- 0

和

f1 <- function() {
    sum_var <- 0
    sum_var2 = 0
    sum_var3 <- 0
}

和

f2 <- (function() {
    sum_var <- 0
    sum_var2 = 0
    sum_var3 <- 0
})

和

f3 = function(x) {
    sum_var <- 0
    sum_var2 = 0
    sum_var3 <- 0
}

如您所见,所有" - >"赋值运算符都更改为"< - ",但不是第一个示例(仅限"fun_tree").我的问题是:为什么？并且我可以确定我总是在语法树中得到"< - "运算符,所以我不能打扰自己实现" - >"情况吗？

Answer 1

我可以确定我总是在语法树中得到"< - "运算符

让我们来看看 …

> quote(b -> a)
a <- b
> identical(quote(b -> a), quote(a <- b))
[1] TRUE

所以,是的,在->分配总是解析为<-(同样是不调用当真正->作为一个函数的名字!¹).

你的第一个显示的是另一种方式圆,因为parse的keep.source说法:

> parse(text = 'b -> a')
expression(b -> a)
> parse(text = 'b -> a', keep.source = FALSE)
expression(a <- b)

¹<-作为函数调用与将其用作运算符相同:

> quote(`<-`(a, b))
a <- b
> identical(quote(a <- b), quote(`<-`(a, b)))
[1] TRUE

但是,没有->函数(虽然你可以定义一个),而写函数b -> a永远不会调用->函数,它总是被解析为a <- b,然后调用<-函数或原语.