在函数中调用 print(ls.str()) 会影响 rep 的行为

Question

使用空环境开始新的 R 会话。编写一系列带有参数的函数，该参数将用作rep() 调用中times 参数的值。

f <- function(n) {
  rep("hello", times = n)
}
f(x)

人们期望这会失败，而实际上人们会得到：

# Error in f(x) : object 'x' not found

稍微修改一下函数：

f2 <- function(n) {
  ls.str()
  rep("hello", times = n)
}

f2(x)

果然还是失败了：

# Error in f2(x) : object 'x' not found

再修改一点（在控制台中查看环境）：

f3 <- function(n) {
  print(ls.str())
  rep("hello", times = n)
}

f3(x)

我仍然期待失败，但得到：

## n : <missing>
## [1] "hello"

就好像对print() 的调用使rep 像times 被设置为1 一样工作。

Answer 1

这不是一个答案，但太长了，无法作为评论发布。一个最小的可重现示例是：

f3 <- function(n) {
  try(get("n", environment(), inherits=FALSE))
  rep("hello", times = n)
}
f3(x)
## Error in get("n", environment(), inherits = FALSE) : object 'x' not found
## [1] "hello"

以下内容是推测性的，基于对do_rep 来源的粗略检查。 get 开始对承诺进行评估，但在没有找到“缺失”符号时，似乎部分未评估承诺。 rep 是一个原语，然后尝试对 n 进行操作，却没有意识到它是一个部分评估的承诺，基本上这隐含地导致了“n == 1”的假设。

另外，这表明promise处于一个奇怪的状态（必须使用browser/debug才能看到）：

f3a <- function(n) {
  try(get("n", environment(), inherits=FALSE))
  browser()
  rep("hello", times = n)
}
f3a(x)
## Error in get("n", environment(), inherits = FALSE) : object 'x' not found
## Called from: f3a(x)
# Browse[1]> (n)
## Error: object 'x' not found
## In addition: Warning message:
## restarting interrupted promise evaluation 
## Browse[1]> c
## [1] "hello"

Answer 2

我今天早些时候收到了一个报告，该错误已在 R-devel 和 R-patched 中得到修复。

问题是 R 源中的缺失测试没有考虑中断promise evaluation 的情况。 Luke Tierney 修复了has been committed，可以看到on GitHub。

Answer 3

f4 <- function(n) {
  print('test')
  print(ls.str())
  print('end test')
  rep("hello", times = n)
}
f4(x)

## [1] "test"
## n : <missing>
## [1] "end test"
## [1] "hello"

print.ls_str 中有一些东西，来自 Frank 的 chat 测试，下面的代码也出现了同样的问题：

f6 <- function(n) {
  z = tryCatch(get("n", new.env(), mode = "any"), error = function(e) e)
  rep("A", n)
}

在 R 源代码中挖掘了一下，我发现了 following code

#     define GET_VALUE(rval)                      \
    /* We need to evaluate if it is a promise */  \ 
    if (TYPEOF(rval) == PROMSXP) {                \
        PROTECT(rval);                            \
        rval = eval(rval, genv);                  \
        UNPROTECT(1);                             \
    }                                             \
                                                  \
    if (!ISNULL(rval) && NAMED(rval) == 0)        \
        SET_NAMED(rval, 1)


    GET_VALUE(rval);
    break;


    case 2: // get0(.)
    if (rval == R_UnboundValue)
        return CAD4R(args);// i.e.  value_if_not_exists
    GET_VALUE(rval);
    break;
    }
    return rval;
}
#undef GET_VALUE

据我所知（我的 C 远远落后）#define 不允许在 # 和定义之间有空格。

p>

在挖掘之后，我错了，来自gcc doc：

“#”前后也允许有空格。

所以这部分代码可能有一些东西，但我无法确定到底是什么。