이미 평가중인 약속 : 재귀적인 기본 인수 참조 또는 이전 문제?


143

여기 내 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)
}

실행중인 오류는 다음과 같습니다

> test ()
error of test () :
이미 평가중인 약속 : 재귀적인 기본 인수 참조 또는 이전 문제?

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.) }공식적이고 실제적인 비 기능적 논거 모두에 동일한 이름을 사용하는 것이 좋고 안전한 관행입니까 아니면 잠재적 인 문제를 일으킬 수 있습니까?

답변:


159

형식의 형식적인 주장 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

2
감사! 함수 테스트f에 대한 인수를 더 취 하면 두 가지 질문 (1) , 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.)} , 공식 및 실제 비 기능적 인수 모두에 대해 동일한 이름을 사용하는 것이 안전하고 좋은 습관입니까?
Tim

16
다른 솔루션? 함수 체인 (약 5 레벨) 아래로 몇 가지 인수를 전달하면이 솔루션이 될 수 있습니다 .....cumbersome. :)
Roman Luštrik

2
@ RomanLuštrik 인수를 전달할 때 인수 중 일부를 안전하게 무시할 수 있으면 타원 ...이나 목록을 사용 하여 인수를 함수 체인으로 전달하십시오. 모든 것을 미리 정의하는 것보다 훨씬 유연합니다. 타원 (또는 목록)의 원래 인수가 적절한 지 확인하기 위해 검사를 추가해야 할 수도 있습니다.
russellpierce

2
여기서 또 다른 옵션은 실수로 진행중인 약속을 강제하지 않고 부모 프레임에서 인수를 명시 적으로 찾으려고 시도하는 것 get("f", envir = parent.frame())입니다.
케빈 Ushey

1
유일한 요구 사항은 왼쪽과 오른쪽에서 같은 이름을 사용하지 않는 것입니다. 그 외에는 스타일 일뿐입니다.
G. Grothendieck

13

인수 평가 컨텍스트를 지정하면 동일한 이름의 문제점을 피할 수 있습니다.

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

2
이것은 내가 환경을 지정 생각, 더 좋은 방법은 더 분명하다
cloudscomputes

1

나는 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

1

이미 언급했듯이 문제는 그 자체로 함수 인수가 정의되어 있기 때문에 발생합니다. 그러나 나는 이것이 왜 문제 인지 에 대한 설명을 추가하고 싶습니다. 왜냐하면 이해를 통해 문제를 피하는 더 쉬운 방법이 생겼기 때문입니다. 정의 대신 호출에 인수를 지정하십시오.

작동하지 않습니다.

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). 함수를 정의하면 인수가 x =의 로컬 값으로 찾기 때문에 R이 혼동 됩니다. x그러나 함수를 호출하면 R x = 4이 호출하는 로컬 환경에서 찾습니다 .

따라서 다른 답변에서 언급 한 것처럼 인수 이름을 변경하거나 명시 적으로 환경을 지정하여 오류를 수정하는 것 외에도 x=x정의 할 때 대신 함수를 호출 할 때 해당 환경을 지정할 수도 있습니다. 저에게는 x=x추가 구문이 필요없고 점점 더 많은 변수 이름을 축적하지 않기 때문에 호출에서 최상의 솔루션이라고 지정했습니다 .

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.