[JS] 고차 함수(Higher-Order Function)

고차 함수란

아래 조건 중 하나 이상을 만족하는 함수이다.

1. 하나 이상의 함수를 인자로 받기
2. 결과로 함수 반환하기

예제 1.

조건 1, 2를 만족하는 고차함수 예제이다. 고차함수 not은 인자로 전달받은 함수 f의 실행 결과값을 부정한다.

function not(f) {
  return function(...args) {
    let result = f.apply(this, args);
    return !result; // f의 결과를 부정한다.
  }
}

숫자가 짝수인지 판별하는 함수 isEven을 고차함수 not의 파라미터로 전달한다면, 그 결과는 숫자가 홀수인지를 판별하는 것과 같을 것이다.

const isEven = x => x % 2 === 0;
const isOdd = not(isEven);

따라서 배열의 요소는 전부 홀수이므로 아래 코드의 결과는 true가 된다.

[1, 1, 3, 5, 5].every(isOdd); 

예제 2.

JavaScript Array의 내장 메서드 forEach(), map(), filter() 등은 조건 1을 만족하는 대표적인 고차함수이다. 첫 번째 인자에 배열의 각 요소를 인자로 전달받아 실행될 콜백 함수가 전달되어야 한다.

const nums = [1, 2, 3, 4];

// 익명 함수를 곧바로 전달할 수 있다. 
nums.forEach(num => console.log(num));

// 콜백 함수를 분리하여 선언한 뒤 전달할 수도 있다. 
function log(num) {
    console.log(`Test Log: ${num}`);
}

name.forEach(log);

이 때 고차 함수 forEach의 내부 구현을 내 맘대로(?) 해보았다. 참고로 콜백 함수 predicate의 표준 타입은 (value: T, index: number, array: readonly T[]) => void이다. 즉, 총 3개의 파라미터를 가지며 첫 번째는 순회중인 배열의 요소, 두 번째는 순회중인 배열 요소의 인덱스, 세 번째는 순회중인 배열을 전달받는다.

function forEach(predicate) {
    // this: forEach를 호출한 배열
    for(let i = 0, len = this.length; i < len; i++) {
        predicate(this[i], i, this);
    }
}

filter() 메서드는 조건에 맞는 요소만 추출해서 새로운 배열을 만들어 반환하는 고차함수이다. 위 예제 1에서 만든 isEven 함수를 사용해 짝수인 요소만 가지고 있는 새 배열을 만들 수 있다.

const nums = [1, 2, 3, 4];

const evenNums = nums.filter(isEven); // [2, 4]

// 그냥 또 한 번 구현해본 filter 메서드
function filter(predicate) {
    const newArray = [];
    for(let i = 0, len = this.length; i < len; i++) {
        if(predicate(this[i], i, this)) {
            newArray.push(this[i]);
        }
    }
    return newArray;
}

참고

• 자바스크립트 완벽가이드, 데이비드 플래너건, 인사이트
• https://dev.to/spukas/higher-order-functions-in-javascript-1f4n