일급 객체, 고차 함수, 콜백 함수

일급 객체

일급 객체란?

일급객체(First-class Object)란 다른 객체들에 일반적으로 적용 가능한 연산을 모두 지원하는 객체를 가리킨다.

함수는 JavaScript의 대표적인 일급 객체 중 하나이다.

• 일급객체의 조건
  • 변수에 할당(assignment) 할 수 있다.
    • 함수를 변수에 할당할 수 있기 때문에, 함수를 배열의 요소나 객체의 속성값으로 저장할 수 있다.
  • 다른 함수의 전달인자(argument)로 전달될 수 있다.
  • 다른 함수의 결과로서 리턴될 수 있다.
    • 함수는 변수에 저장된 데이터를 전달 인자로 받거나, 리턴 값으로 사용할 수 있다.
    • 함수도 변수에 저장될 수 있기 때문에 함수를 인자로 받거나, 리턴 값으로 사용할 수 있다

위에 언급한 조건으로 인해 알 수 있는 것은 함수를 데이터(string, number, boolean, array, object)처럼 다룰 수 있다는 점이다.

데이터처럼 다룬다는 것은 함수 역시 변수에 할당이 가능하다는 의미이다.

그럼 일급 객체라서 할 수 있는 것은 무엇이 있을까?

1. 고차 함수를 만들 수 있음
2. 콜백(callback)을 사용할 수 있음

고차 함수와 콜백 함수

고차 함수란?

고차 함수(higher order function)는 함수를 전달인자(argument)로 받을 수 있고, 함수를 리턴할 수 있는 함수이다.

이때, 다른 함수의 전달인자로 전달되는 함수를 콜백 함수라고 한다.

콜백 함수를 전달받은 고차 함수(caller)는 함수 내부에서 이 콜백 함수를 호출(invoke)할 수 있고, 조건에 따라 콜백 함수의 실행 여부를 결정할 수도 있다. 아예 호출하지 않을 수도 있고, 여러 번 실행할 수도 있다.

이해하기 쉽게 예시를 들어보자.

1. 다른 함수를 전달인자(argument)로 받는 경우

   function double(num) {
     return num * 2;
   }
   
   function doubleNum(func, num) {
     return func(num);
   }
   
   /*
    * 함수 doubleNum은 다른 함수를 인자로 받는 고차 함수입니다.
    * 함수 doubleNum의 첫 번째 인자 func에 함수가 들어올 경우
    * 함수 func는 함수 doubleNum의 콜백 함수입니다.
    * 아래와 같은 경우, 함수 double은 함수 doubleNum의 콜백 함수입니다.
    */
   let output = doubleNum(double, 4);
   console.log(output); // -> 8

2. 함수를 리턴하는 경우

   function adder(added) {
     return function (num) {
       return num + added;
     };
   }
   
   /*
    * 함수 adder는 다른 함수를 리턴하는 고차 함수입니다.
    * adder는 인자 한 개를 입력받아서 함수(익명 함수)를 리턴합니다.
    * 리턴되는 익명 함수는 인자 한 개를 받아서 added와 더한 값을 리턴합니다.
    */
   
   // adder(5)는 함수이므로 함수 호출 연산자 '()'를 사용할 수 있습니다.
   let output = adder(5)(3); // -> 8
   console.log(output); // -> 8
   
   // adder가 리턴하는 함수를 변수에 저장할 수 있습니다.
   // javascript에서 함수는 일급 객체이기 때문입니다.
   const add3 = adder(3);
   output = add3(2);
   console.log(output); // -> 5

3. 함수를 전달인자(argument)로 받고, 함수를 리턴하는 경우

   function double(num) {
     return num * 2;
   }
   
   function doubleAdder(added, func) {
     const doubled = func(added);
     return function (num) {
       return num + doubled;
     };
   }
   
   /*
    * 함수 doubleAdder는 고차 함수입니다.
    * 함수 doubleAdder의 인자 func는 함수 doubleAdder의 콜백 함수입니다.
    * 함수 double은 함수 doubleAdder의 콜백으로 전달되었습니다.
    */
   
   // doubleAdder(5, double)는 함수이므로 함수 호출 기호 '()'를 사용할 수 있습니다.
   doubleAdder(5, double)(3); // -> 13
   
   // doubleAdder가 리턴하는 함수를 변수에 저장할 수 있습니다. (일급 객체)
   const addTwice3 = doubleAdder(3, double);
   addTwice3(2); // --> 8

여기서 인자에 대한 정의가 헷갈려 따로 찾아보았다.
인수? = argument = 전달인자 (함수 호출 시 전달되는 값)
인자? = parameter = 매개변수
parameter와 argument 또는 전달인자 와 매개변수라고 이야기 하는 것이 좀 더 명확하게 구분이 되지 않을까 싶다.