[JavaScrip] 함수와 일급 객체

일급객체

일급객체는 다음 조건을 모두 만족하는 객체를 말한다.

• 무명의 리터럴로 생성할 수 있다. 즉, 런타임에 생성이 가능하다.
• 변수나 자료구조(객체, 배열 등)에 저장할 수 있다.
• 함수의 매개변수에 전달할 수 있다.
• 함수의 반환값으로 사용할 수 있다.

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

// 1. 함수는 무명의 리터럴로 생성할 수 있다.
// 2. 함수는 변수에 저장할 수 있다.
// 런타임(할당 단계)에 함수 리터럴이 평가되어 함수 객체가 생성되고 변수에 할당된다.
const increase = function (num) {
  return ++num;
};

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

// 2. 함수는 객체에 저장할 수 있다.
const auxs = { increase, decrease };

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

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

// 3. 함수는 매개변수에게 함수를 전달할 수 있다.
const increaser = makeCounter(auxs.increase);
console.log(increaser()); // 1
console.log(increaser()); // 2

// 3. 함수는 매개변수에게 함수를 전달할 수 있다.
const decreaser = makeCounter(auxs.decrease);
console.log(decreaser()); // -1
console.log(decreaser()); // -2

함수가 일급 객체인 것이 자바스크립트가 함수형 프로그래밍을 가능하게 해주는 장점중 하나이다.

함수 객체의 프로퍼티

function square(number) {
  return number * number;
}

console.dir(square);

위 코드 내 square 함수의 내부는 아래와 같다.

    function square(number) {
  return number * number;
}

console.log(Object.getOwnPropertyDescriptors(square));
/*
{
  length: {value: 1, writable: false, enumerable: false, configurable: true},
  name: {value: "square", writable: false, enumerable: false, configurable: true},
  arguments: {value: null, writable: false, enumerable: false, configurable: false},
  caller: {value: null, writable: false, enumerable: false, configurable: false},
  prototype: {value: {...}, writable: true, enumerable: false, configurable: false}
}
*/

// __proto__는 square 함수의 프로퍼티가 아니다.
console.log(Object.getOwnPropertyDescriptor(square, '__proto__')); // undefined

// __proto__는 Object.prototype 객체의 접근자 프로퍼티다.
// square 함수는 Object.prototype 객체로부터 __proto__ 접근자 프로퍼티를 상속받는다.
console.log(Object.getOwnPropertyDescriptor(Object.prototype, '__proto__'));
// {get: ƒ, set: ƒ, enumerable: false, configurable: true}

arguments, caller, length, name, prototype 프로퍼티는 함수 객체의 데이터 프로퍼티이고, proto 는 Obejct.prototype 객체에게 상속받은 접근자 프로퍼티이다. 이 내용은 다음 챕터에서 자세히 다루겠습니다.

함수 객체 프로퍼티에 대해 각각 자세히 알아보겠습니다.

arguments 프로퍼티

arguments 프로퍼티는 인수 정보를 담고 있으며 순회 가능한 유사 배열 객체이다. arguments 프로퍼티는 함수 내부에서만 참조할 수 있다.

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

console.log(multiply());        // NaN
console.log(multiply(1));       // NaN
console.log(multiply(1, 2));    // 2
console.log(multiply(1, 2, 3)); // 2

JavaScript에서는 인수가 부족하면 undefined로 초기화하고 초과된 인수는 무시한다.

하지만 초과한 인수는 arguments 객체에는 보관된다.

• key : 인수 순서
• callee : arguments 객체를 생성하게 한 함수
• length : 인수 개수

arguments 객체는 매개변수의 개수를 확정할 수 없는 가변 인자 함수를 구현할 때 유용하다.

function sum() {
  let res = 0;

  // arguments 객체는 length 프로퍼티가 있는 유사 배열 객체이므로 for 문으로 순회할 수 있다.
  for (let i = 0; i < arguments.length; i++) {
    res += arguments[i];
  }

  return res;
}

console.log(sum());        // 0
console.log(sum(1, 2));    // 3
console.log(sum(1, 2, 3)); // 6

arguments 객체는 유사 배열이므로 배열 메서드를 사용하면 에러가 발생합니다.

Function.prototype.call이나 Function.prototype.apply를 사용해 간접 호출하여 사용할 수 있습니다. ES6에서는 Rest파라미터를 통해 번거로움을 해결하였습니다.

이 내용은 추후에 자세히 다루겠습니다.

function sum() {
  // arguments 객체를 배열로 변환
  const array = Array.prototype.slice.call(arguments);
  return array.reduce(function (pre, cur) {
    return pre + cur;
  }, 0);
}

console.log(sum(1, 2));          // 3
console.log(sum(1, 2, 3, 4, 5)); // 15

// ES6 Rest parameter
function sum(...args) {
  return args.reduce((pre, cur) => pre + cur, 0);
}

console.log(sum(1, 2));          // 3
console.log(sum(1, 2, 3, 4, 5)); // 15

caller 프로퍼티

caller 프로퍼티는 ECMAScript 사양에 포함되지 않았고 포함될 일이 없으므로 참고만 하면 될 것 같습니다.

caller 프로퍼티는 자신을 호출한 함수를 가리킵니다.

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

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

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

length 프로퍼티

length 프로퍼티는 함수를 정의할 때 선언한 매개변수의 개수를 가리킵니다.

(arguments의 length는 사용자가 입력한 매개변수의 개수로 서로 다름을 주의)

function foo() {}
console.log(foo.length); // 0

function bar(x) {
  return x;
}
console.log(bar.length); // 1

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

name 프로퍼티

함수 객체의 name 프로퍼티는 함수 이름을 나타냅니다. name 프로퍼티는 ES6부터 표준이 된 프로퍼티로 ES5와 ES6에서 동작이 다름을 주의해야합니다.

익명함수가 ES5는 빈 문자열, ES6는 함수 객체를 가리키는 식별자 값을 갖는 것으로 변경됐습니다.

// 기명 함수 표현식
var namedFunc = function foo() {};
console.log(namedFunc.name); // foo

// 익명 함수 표현식
var anonymousFunc = function() {};
// ES5: name 프로퍼티는 빈 문자열을 값으로 갖는다.
// ES6: name 프로퍼티는 함수 객체를 가리키는 변수 이름을 값으로 갖는다.
console.log(anonymousFunc.name); // anonymousFunc

// 함수 선언문(Function declaration)
function bar() {}
console.log(bar.name); // bar

Proto 접근자 프로퍼티

모든 객체는 [[Prototype]]를 갖고있는데, Proto는 [[Prototype]]에 접근할 수 있게 해준다.

const obj = { a: 1 };

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

// 객체 리터럴 방식으로 생성한 객체는 프로토타입 객체인 Object.prototype의 프로퍼티를 상속받는다.
// hasOwnProperty 메서드는 Object.prototype의 메서드다.
console.log(obj.hasOwnProperty('a'));         // true
console.log(obj.hasOwnProperty('__proto__')); // false

prototype 프로퍼티

constructor만이 소유하는 프로퍼티이다.

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

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