Вызов print(ls.str()) в функции влияет на поведение rep

Это не ответ, но слишком длинный, чтобы публиковать его в качестве комментария. Минимальный воспроизводимый пример:

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».

Кроме того, это показывает, что обещание находится в странном состоянии (чтобы увидеть его, нужно использовать 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"

Сегодня я получил сообщение о том, что ошибка была исправлена ​​в R-devel и R-патч.

Проблема заключалась в том, что тест на отсутствие в исходниках R не учитывал случай прерванного оценка обещаний. Исправление внесено Люком Тирни и может можно увидеть на GitHub.

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 что-то есть, из теста Фрэнка в чате следующий код демонстрирует ту же проблему:

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

Немного покопавшись в исходниках R, я нашел следующий код

#     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 не допускает пробелов между # и определением.

Покопавшись в этом, я ошибаюсь из gcc doc< /а>: