JavaScript에서 익명 함수를 재귀적으로 호출하는 코드에 대한 자세한 소개

어떤 프로그래밍 언어이든 코드 몇 줄만 작성한 학생들은 재귀에 익숙할 것이라고 믿습니다. 간단한 계승 계산을 예로 들어보겠습니다.

function factorial(n) {  
    if (n <= 1) {
        return 1;
    } else {
        return n * factorial(n-1);
    }
}

재귀는 함수 내에서 자체 호출임을 알 수 있습니다. 그래서 질문이 생깁니다. Javascript에는 이름이 없는 함수 유형이 있습니다. 물론 익명 함수를 상수에 할당할 수 있다고 말할 수 있습니다.

const factorial = function(n){  
     if (n <= 1) {
        return 1;
    } else {
        return n * factorial(n-1);
    }
}

이는 물론 가능합니다. 그러나 명시적 변수에 할당될 것이라는 사실을 모르고 함수를 작성하는 경우와 같은 일부 상황에서는 문제가 발생할 수 있습니다. 예를 들면 다음과 같습니다.

(function(f){
    f(10);
})(function(n){
     if (n <= 1) {
        return 1;
    } else {
        return n * factorial(n-1);//太依赖于上下文变量名
    }
})
//Uncaught ReferenceError: factorial is not defined(…)

그렇다면 정확한 함수 이름(함수 참조 변수 이름)을 전혀 제공하지 않아도 되는 방법이 있을까요?

arguments.callee

우리는 function 내부에서 arguments이라는 변수에 액세스할 수 있다는 것을 알고 있습니다.

(function(){console.dir(arguments)})(1,2)

는 이 arguments 변수의 내용을 출력하는데 Arguments의 인스턴스임을 알 수 있는데, 데이터 구조상으로는 다음과 같다. 배열과 같은 . 배열과 유사한 요소 멤버와 length 속성 외에도 callee 메서드도 있습니다. 그렇다면 이 callee 메소드는 무엇을 할까요?

객체의 속성인 MDN

calleearguments을 살펴보겠습니다. 함수 본문 내에서는 현재 실행 중인 함수를 가리킬 수 있습니다. 이는 이름이 없는 함수 표현식("익명 함수"라고도 함)과 같이 함수가 익명인 경우에 유용합니다.

하하, 당연히 우리가 원하는 거겠죠. 다음 단계는

(function(f){
    console.log(f(10));
})(function(n){
     if (n <= 1) {
        return 1;
    } else {
        return n * arguments.callee(n-1);
    }
})
//output: 3628800

입니다. 그러나 MDN 문서에는 ECMAScript 5판(ES5)의 strict 모드에서는

警告이 금지되어 있다고 명시되어 있습니다. 인수.칼리().

아, ES5의 use strict;에서는 사용되지 않는 것으로 밝혀졌으니, ES6에서는 ES6의 arrow function로 변경해서 적어보겠습니다.

((f) => console.log(f(10)))(
    (n) => n <= 1? 1: arguments.callee(n-1))
//Uncaught ReferenceError: arguments is not defined(…)

에는 일부가 있습니다. ES6 기초 수강생이라면 오랫동안 생각해 본 화살표 함수는 단축 함수 표현으로 어휘 범위의 this 값을 갖습니다(즉, this를 새로 생성하지 않습니다. < 자체 범위), 🎜>, arguments 및 super 및 기타 개체), 모두 익명입니다. new.target

우리는 어떻게 해야 할까요? 헤헤, 약간의 FP적 사고가 필요해요. <… 함수형 프로그래밍 언어의 카레 기술도 그의 이름을 따서 명명되었습니다. "발명된" 조합 연산자(하스켈은 조합 논리를 연구함)는 주어진 람다 식(함수) 고정점을 계산할 수 있는 마법의 힘을 가지고 있는 것 같습니다. 이렇게 하면 재귀가 가능해집니다.

여기서 꼭 알아두셔야 할 개념이 있습니다

:

Y Combinator고정 소수점 조합자(영어: 고정 소수점 조합자, 고정 소수점 연산자)는 다른 함수를 계산하는 방법 고정점에서의 고차 함수.

함수 f의 고정점은 不动点组合子과 같은 값 x입니다. 예를 들어, 0^2 = 0이고 1^2 = 1이므로 0과 1은 f(x) = x^2 함수의 고정점입니다. 1차 함수(정수와 같은 단순한 값에 대한 함수)의 고정점은 1차 값인 반면, 고차 함수 f의 고정점은

과 같은 또 다른 함수 g입니다. 고정 소수점 연산자는 모든 함수 f에 대해

을 허용하는 함수 수정입니다. 비재귀적 람다 추상화를 사용하여 정의할 수 있습니다.

f(x) = xf(g) = g형이 지정되지 않은 람다 계산에서 잘 알려진(아마도 가장 간단한) 고정 소수점 결합자를 Y 결합자라고 합니다.

다음으로 특정 계산을 사용하여 Y 조합을 유도합니다. <… 프로그램을 수학적 언어로 표현하는 이러한 방식에 즉시 깊은 인상을 받았습니다. f(fix(f)) = fix(f)

드디어 고차함수

의 고정점을 찾을 수 있는 무한점 연산자를 얻었는지 생각해 봅시다. 함수를 연산자(함수)에 전달하여 자신과 동일한 함수를 가지지만 자신의 것이 아닌 함수를 가져옵니다. 이 문은 다소 어색하지만 풍미가 가득합니다.

자, 원래 질문으로 돌아가서 익명 함수의 재귀를 완성하는 방법은 무엇일까요? Y 조합을 사용하면 매우 간단합니다.

/*求不动点*/
(f => f(f))
/*以不动点为参数的递归函数*/
(fact => n => n <= 1 ? 1 : n * fact(fact)(n - 1)) 
/*递归函数参数*/ 
(5)
// 120

曾经看到过一些说法是”最让人沮丧是，当你推导出它(Y组合子)后，完全没法儿通过只看它一眼就说出它到底是想干嘛”，而我恰恰认为这就是函数式编程的魅力，也是数学的魅力所在，精简优雅的公式，背后隐藏着复杂有趣的推导过程。

总结

务实点儿讲，匿名函数的递归调用，在日常的js开发中，用到的真的很少。把这个问题拿出来讲，主要是想引出对arguments的一些讲解和对Y组合子这个概念的一个普及。

但既然讲都讲了，我们真的用到的话，该怎么选择呢？来，我们喜闻乐见的benchmark下： 分别测试：

// fact 
fact(10)  
// Y
(f => f(f))(fact => n => n <= 1 ? 1 : n * fact(fact)(n - 1))(10)
// Y&#39;
const fix = (f) => f(f)  
const ygen = fix(fact2)  
ygen(10)  
// callee
(function(n) {n<=1?1:n*arguments.callee(n-1)})(10)

环境：Macbook pro(2.5 GHz Intel Core i7), node-5.0.0(V8:4.6.85.28) 结果：

fact x 18,604,101 ops/sec ±2.22% (88 runs sampled)

Y x 2,799,791 ops/sec ±1.03% (87 runs sampled)

Y’ x 3,678,654 ops/sec ±1.57% (77 runs sampled)

callee x 2,632,864 ops/sec ±0.99% (81 runs sampled)

可见Y和callee的性能相差不多，因为需要临时构建函数，所以跟直接的fact递归调用有差不多一个数量级的差异,将不定点函数算出后保存下来，大概会有一倍左右的性能提升。

以上就是JavaScript 中匿名函数的递归调用的代码详细介绍的内容，更多相关内容请关注PHP中文网（www.php.cn）！