8

我试图在 R（例如，a, *b, c = [1,2,3], "C"）中使 Python 3 样式的赋值解包成为可能，尽管我已经如此接近（你可以在这里查看我的代码），但我最终遇到了一些（奇怪的）问题。

我的代码是这样工作的：

a %,*% b %,% c <- c(1,2,3,4,5)

并将分配a= 1，b=c(2,3,4)和c= 5（我的代码实际上确实这样做了，但是我稍后会遇到一个小障碍）。

为了让它做任何事情，我必须定义：

`%,%` <- function(lhs, rhs) {
   ...
}

和

`%,%<-` <- function(lhs, rhs, value) {
   ...
}

（以及%,*%和%,*%<-，它们是先前函数的轻微变体）。

第一个问题：为什么用 R*tmp*代替lhs论点

据我所知，R 首先从左到右评估此代码（即，从ato c，直到它到达最后一个%,%，然后从右到左返回，沿途分配值。但第一个我注意到的奇怪的事情是，当我做match.call()或substitute(lhs)类似的事情时x %infix% y <- z，它说lhs参数的输入%infix%是*tmp*，而不是说，a或x。

这对我来说很奇怪，我在 R 手册或文档中找不到任何提及。我实际上在我的代码中使用了这个奇怪的约定（即，它没有在赋值的右侧显示这种行为，所以我可以使用*tmp*输入的存在来使%,%赋值的这一侧表现不同），但我不知道为什么会这样。

第二个问题：为什么 R先检查对象是否存在

我的第二个问题是使我的代码最终无法正常工作的原因。我注意到，如果您从任何赋值左侧的变量名开始，R 似乎甚至不会开始计算表达式——它会返回错误object '<variable name>' not found。即，如果x未定义，x %infix% y <- z则不会评估，即使%infix%实际上并未使用或评估x。

为什么 R 会有这样的行为，我可以改变它或绕过它吗？ 如果我可以在R 检查是否存在%,% 之前x运行代码，我可能会破解它，这样我就不会成为问题，并且我的 Python 解包代码将非常有用，可以实际共享。但就像现在一样，第一个变量需要已经存在，我认为这太局限了。我知道我可以通过将 更改<-为自定义中缀运算符来做一些事情%<-%，但是我的代码将与zeallot包非常相似，以至于我认为它不值得。（它的功能已经非常接近了，但我更喜欢我的风格。）

编辑：

遵循 Ben Bolker 的出色建议，我能够找到解决问题的方法......通过覆盖<-.

`<-` <- function(x, value) {
  base::`<-`(`=`, base::`=`)
  find_and_assign(match.call(), parent.frame())
  do.call(base::`<-`, list(x = substitute(x), value = substitute(value)),
          quote = FALSE, envir = parent.frame())
}
find_and_assign <- function(expr, envir) {
  base::`<-`(`<-`, base::`<-`)
  base::`<-`(`=`, base::`=`)
  while (is.call(expr))  expr <- expr[[2]]
  if (!rlang::is_symbol(expr)) return()
  var <- rlang::as_string(expr) # A little safer than `as.character()`
  if (!exists(var, envir = envir)) {
    assign(var, NULL, envir = envir)
  }
}

我很确定这将是一个致命的罪过，对吧？我无法确切地看到它会如何搞砸任何事情，但我的程序员感觉的刺痛告诉我这不适合分享像一个包这样的东西......这会有多糟糕？

4

1 回答 1

5

对于您的第一个问题，关于*tmp*（并且可能与您的第二个问题有关）：

从R 语言定义的第 3.4.4 节：

对结构子集的赋值是复杂赋值的一般机制的一个特例：

x[3:5] <- 13:15

该命令的结果就像执行了以下命令一样

`*tmp*` <- x
x <- "[<-"(`*tmp*`, 3:5, value=13:15)
rm(`*tmp*`)

请注意，索引首先转换为数字索引，然后沿数字索引顺序替换元素，就像使用了for循环一样。任何调用的现有变量*tmp*都将被覆盖和删除，并且不应在代码中使用此变量名。

相同的机制可以应用于除 之外的功能[。替换函数与 paste 同名<-。它的最后一个参数（必须调用value）是要分配的新值。

我可以想象您的第二个问题与“好像”代码的第一步有关：如果 R 在内部尝试评估*tmp* <- x，则可能无法阻止x此时尝试评估......

如果你想更深入地挖掘，我认为用于处理“复杂分配”的内部评估代码​​（在内部注释中似乎被称为）就在这里......

于 2020-06-29T19:43:06.943 回答