EuiJin's blog
자바스크립트의 함수는 일급 객체

자바스크립트의 함수는 일급 객체

EuiJin's photo
EuiJin

일급 객체란

일급 객체란 다른 객체들에 일반적으로 적용 가능한 연산을 모두 지원하는 객체입니다. 다음과 같은 조건을 만족하는 객체를 일급 객체라 합니다.

  1. 무명의 리터럴로 생성할 수 있다. 즉, 런타임에 생성이 가능하다

  2. 변수나 자료구조(객체, 배열 등)에 저장할 수 있다

  3. 함수의 매개변수에 전달할 수 있다

  4. 함수의 반환값으로 사용할 수 있다

자바스크립트의 함수는 위의 조건을 모두 만족하므로 일급 객체입니다.

// 1. 함수는 무명의 리터럴로 생성할 수 있다.
// 2. 함수는 변수에 저장할 수 있다.
const increase = function (num) {
    return ++num;
}

const decrease = function (num) {
    return ++num;
}

// 2. 변수나 자료구조(객체, 배열 등)에 저장할 수 있다
const auxs = { increase, decrease }
const auxsArr = [ increase, decrease ]

// 3. 함수의 매개변수에 전달할 수 있다
// 4. 함수의 반환값으로 사용할 수 있다
function makeCounter(aux) {
    let num = 0;

    return function () {
        num = aux(num);
        return num;
    }
}

// 3. 함수의 매개변수에 전달할 수 있다
const increaser = makeCounter(auxs.increase);
const decreaser = makeCounter(auxs.decrease);

함수가 일급 객체라는 의미

객체는 값이므로 함수는 값과 동일하게 취급할 수 있습니다. 따라서 함수는 값을 사용할 수 있는 곳이라면 어디서든지 리터럴로 정의할 수 있으며 런타임에 함수 객체로 평가됩니다.

값으로 사용할 수 있는 곳

  • 변수 할당문

  • 객체의 프로퍼티 값

  • 배열의 요소

  • 함수 호출의 인수

  • 함수 반환문

일반 객체와 다른점

함수는 객체지만 일반 객체와는 다릅니다. 일반 객체는 호출할 수 없지만 함수는 호출할 수 있습니다. 그리고 일반 객체에는 없는 함수 객체만의 고유한 프로퍼티를 가지고 있습니다.

함수 객체의 고유 프로퍼티

1) arguments

arguments 객체는 함수 호출 시 전달된 인수들의 정보를 담고 있는 순회 가능한 유사 배열 객체이며, 함수 내부에서 지역 변수처럼 사용됩니다. 자바스크립트는 함수의 매개변수와 인수의 개수가 일치하는지 확인하지 않기 때문에 인수의 개수가 매개변수와 다르더라도 에러가 발생하지 않습니다.

function multiply(x, y) {
    console.log(...arguments);
    return x * y;
}

multiply(1, 2, 3) // 1 2 3

2) caller

caller 프로퍼티는 함수 자신을 호출한 함수를 가리킵니다. ECMAScript 사양에 포함되지 않았고 표준화 예정도 없는 비표준 프로퍼티로 사용하지 않는 것을 권장합니다.

function foo(func) {
    return func();
}

function bar() {
    return 'caller: ' + bar.caller; 
}

// 브라우저에서 실행한 결과
console.log(foo(bar)); // caller: function foo(func) {...}
console.log(bar()); // caller: null

3) length

함수를 정의할 때 선언한 매개변수의 개수를 가리킵니다. arguments 객체의 length 프로퍼티와 함수 객체의 length 프로퍼티의 값은 다를 수 있으므로 주의해야 합니다.

function foo(x, y) {
    return x * y;
}
console.log(foo.length); // 2

4) name

함수의 이름을 나타냅니다. ES6에서 정식 표준이 되었습니다.

function bar() {}
console.log(bar.name); // bar

5) __proto__

[[Prototype]] 내부 슬롯이 가리키는 프로토타입 객체에 접근하기 위해 사용하는 접근자 프로퍼티입니다.

const obj = { a: 1 };
// 객체 리터럴 방식으로 생성한 객체의 프로토타입 객체는 Object.prototype이다
console.log(obj.__proto__ === Object.prototype); // true

6) prototype

생성자 함수로 호출할 수 있는 함수 객체, 즉 constructor만이 소유하는 프로퍼티입니다. 함수가 객체를 생성하는 생성자 함수로 호출될 때 생성자 함수가 생성할 인스턴스의 프로토타입 객체를 가리킵니다.

// 함수 객체는 prototype 프로퍼티를 소유한다
(function () {}).hasOwnProperty('prototype'); // true

// 일반 객체는 prototype 프로퍼티를 소유하지 않는다.
({}).hasOwnProperty('prototype'); // false

요약

  • 일급 객체란 다른 객체들에 일반적으로 적용가능한 연산을 모두 지원하는 객체이며 다음과 같은 조건을 만족해야 한다

    1. 무명의 리터럴로 생성할 수 있다. 즉, 런타임에 생성이 가능하다

    2. 변수나 자료구조(객체, 배열 등)에 저장할 수 있다

    3. 함수의 매개변수(파라미터)에 전달할 수 있다

    4. 함수의 반환값으로 사용할 수 있다

  • 자바스크립트의 함수는 위의 조건을 모두 만족하므로 일급 객체

  • 객체는 값이므로 함수는 값과 동일하게 취급할 수 있다

  • 일반 객체에는 없는 함수 객체만의 고유한 프로퍼티를 가지고 있다

참고

모던 자바스크립트 Deep Dive | 이웅모 저

JavaScriptfirst class object