承诺已经在评估中：递归默认参数引用或早期问题？

Question

这是我的 R 代码。函数定义为：

f <- function(x, T) {
  10 * sin(0.3 * x) * sin(1.3 * x ^ 2) + 0.001 * x ^ 3 + 0.2 * x + 80
}

g <- function(x, T, f=f) {
  exp(-f(x) / T)
}

test <- function(g=g, T=1) { 
  g(1, T)
}

运行错误是：

> 测试()
测试（）中的错误：
已在评估中的承诺：递归默认参数引用或早期问题？

如果我将f 的定义替换为g 的定义，那么错误就会消失。

我想知道错误是什么？如果不将f 的定义替换为g 的定义，如何更正？谢谢！

---

更新：

谢谢！两个问题：

(1) 如果函数test 进一步接受f 的参数，你会添加类似test <- function(g.=g, T=1, f..=f){ g.(1,T, f.=f..) } 的东西吗？在有更多递归的情况下，添加更多 . 是否是一种安全且安全的做法？

(2) 如果f 是一个非函数参数，例如g <- function(x, T, f=f){ exp(-f*x/T) } 和test <- function(g.=g, T=1, f=f){ g.(1,T, f=f.) }，将对正式和实际的非函数参数使用相同的名称是一种安全的好做法，否则可能会导致一些潜在的麻烦？

Answer 1

x=x 形式的形式参数会导致这种情况。消除它们发生的两个实例，我们得到：

f <- function(x, T) {
   10 * sin(0.3 * x) * sin(1.3 * x^2) + 0.001 * x^3 + 0.2 * x + 80 
}

g <- function(x, T, f. = f) {  ## 1. note f.
   exp(-f.(x)/T) 
}

test<- function(g. = g, T = 1) {  ## 2. note g.
   g.(1,T) 
}

test()
## [1] 8.560335e-37

Answer 2

如果你指定参数评估上下文，你可以避免同名问题：

f <- function(x) {
  10 * sin(0.3 * x) * sin(1.3 * x ^ 2) + 0.001 * x ^ 3 + 0.2 * x + 80
}
g <- function(x, t=1, f=parent.frame()$f) {
  exp(-f(x) / t)
}
test <- function(g=parent.frame()$g, t=1) { 
  g(1,t)
}
test()
[1] 8.560335e-37

Answer 3

我喜欢G. Grothendieck 的答案，但我想知道在你的情况下，在函数的参数中不包含函数名称更简单，如下所示：

f <- function(x, T) {
  10 * sin(0.3 * x) * sin(1.3 * x^2) + 0.001 * x^3 + 0.2 * x + 80 
}
g <- function(x, T) {
  exp(-f(x)/T) 
}
test<- function(T = 1) {
  g(1,T)
}
test()
## [1] 8.560335e-37

Answer 4

如前所述，问题来自将函数参数定义为自身。但是，我想添加对为什么这是一个问题的解释，因为理解这使我找到了一种更简单（对我来说）避免问题的方法：只需在调用中指定参数而不是定义.

这不起作用：

x = 4
my.function <- function(x = x){} 
my.function() # recursive error!

但这确实有效：

x = 4
my.function <- function(x){} 
my.function(x = x) # works fine!

函数参数存在于它们自己的本地环境中。

R 首先在本地环境中查找变量，然后在全局环境中查找。这就像函数内部的变量可以与全局环境中的变量同名，而 R 将使用本地定义。

将函数参数定义形成自己的本地环境，这就是为什么您可以根据其他参数值来使用默认参数值，例如

my.function <- function(x, two.x = 2 * x){}

这就是为什么你不能将函数定义为my.function <- function(x = x){}，但你可以使用my.function(x = x) 调用函数。当你定义函数时，R 会感到困惑，因为它发现参数 x = 是 x 的本地值，但是当你调用函数时，R 会在你调用的本地环境中找到 x = 4。

因此，除了通过更改参数名称或显式指定其他答案中提到的环境来修复错误之外，您还可以在调用函数时而不是在定义函数时指定 x=x。对我来说，在调用中指定 x=x 是最好的解决方案，因为它不涉及额外的语法或积累越来越多的变量名。