VanilaJS-First-class citizens

일급객체(first-class citizens)?

프로그래밍 언어에서 일급객체란, 다른 객체들에게 적용가능한 연산을 모두 지원하는 객체를 말한다. (매개변수로 전달, 함수에서 반환되고 수정되고 변수에 할당되는 것들)

프로그래밍언어에 따라 다른 일급 객체의 조건들 중 자바스크립트의 경우에는 아래의 4가지 조건을 만족하면 일급 객체라 칭하는데 함수는 아래의 경우를 모두 만족하므로 일급 객체다.

---

1. 무명의 리터럴로 생성할수 있다. 소스코드의 실행과정에서 생성이 가능해야한다.
2. 변수나 자료구조(객체, 배열 등)에 저장할 수 있다.
3. 함수의 매개변수(파라미터)에 전달할 수 있다.
4. 함수의 반환값으로 사용할 수 있다.

// 1. 소스코드의 실행과정에서 생성가능하다.
const foo = function (a) {
  return a;
};

foo(1);

// 2. 변수나 자료구조(객체, 배열 등)에 저장할 수 있다.
const bar = { foo };

// 3. 함수의 매개변수(파라미터)에 전달할 수 있다.
const baz = function (f) {
  return f;
};

baz(bar);

// 4. 함수의 반환값으로 사용할 수 있다.
const func = function () {
  let num = 0;

  return function (b) {
    return num + b;
  };
};

const result = func();
console.log(result(2));

함수가 일급 객체 라는 것은 함수와 객체를 동일하게 사용할수 있다는 의미이다. 객체는 값이므로 함수도 값으로 평가가 가능하다는것이다.즉, 함수는 값이 위치할수있는 곳은 변수 할당문, 객체의 프로퍼티값, 배열의 요소, 함수호출문의 인수, 함수 반환문등 어디서든지 리터럴로 정의가 가능하며 소스코드 실행시에 함수 객체로 평가된다.

함수객체와 일반객체의 차이점

함수는 객체다. 따라서 함수도 프로퍼티를 가질수 있다.

function sum(num1, num2) {
  return num1 + num2;
}

console.dir(sum); // 아래 이미지 참조

sum 함수의 모든 프로퍼티 어트리뷰트를 참조하려면 Object.getOwnPropertyDescriptors 메서드로 확인할수있다.

function sum(num1, num2) {
  return num1 + num2;
}

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

함수 객체 고유 프로퍼티

• arguments
• caller
• length
• name
• prototype

위 예제에서 볼수있듯이 함수객체에는 고유의 프로퍼티가 존재한다. __proto__ 프로퍼티는 접근자 프로퍼티로 함수고유의 프로퍼티는 아니다. Object.prototype 객체의 프로퍼티로써 모든 객체가 상속받아 사용이 가능하다.

arguments 프로퍼티

함수 객체의 arguments(인수) 프로퍼티 값은 arguments객체이다. 이는 함수 호출시 전달된 인수를 가지고 있는 순회가능한 유사배열객체이다. 이는 함수내에서 지역변수처럼 사용되며 함수 외부에서는 참조할수없다.

function sum(num1, num2) {
  console.log(arguments);
  return num1 + num2;
}

console.log(sum(1, 2));
/* 
    Arguments(2) [1, 2, callee: ƒ, Symbol(Symbol.iterator): ƒ]
		0: 1
		1: 2
		callee: ƒ sum(num1, num2)
		length: 2
		Symbol(Symbol.iterator): ƒ values()
		__proto__: Object
  */
// 3

console.log(sum(3, 4, 5));
/*
	Arguments(3) [3, 4, 5, callee: ƒ, Symbol(Symbol.iterator): ƒ]
	0: 3
	1: 4
	2: 5
	callee: ƒ sum(num1, num2)
	length: 3
	Symbol(Symbol.iterator): ƒ values()
	__proto__: Object
*/
// 7

arguments 객체는 인수를 프로퍼티 값으로 소유하며 프로퍼티 키는 인수의 순서(인덱스)를 나타낸다. 또한 인수의 개수를 초과한 인수는 무시되며 arguments 객체의 프로퍼티에 보관된다. 여기서 인수의 갯수를 적게 전달할 경우에는 함수 호출이후 함수 몸체내에서 매개변수는 함수 코드 평가과정에서 먼저 실행되며 이후 undefined로 초기화 되기때문에 값을 할당하지 않으면 NaN을 반환한다.

자바스크립트의 특성상 함수 호출시 인수의 갯수를 확인하지 않기에 이는 인수 갯수에 따라 함수 동작을 달리 정의해야할 경우에 유용하게 사용되는것이 arguments 객체이다. 즉, arguments객체는 매개변수개수를 확정할수 없는 가변인자 함수를 구현할때 유용하다.

function sum() {
  let result = 0;

  for (let i = 0; i < arguments.length; i++) {
    result += arguments[i];
  }

  return result;
}

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

즉, 함수 내에서 arguments 객체는 고유프로퍼티로써 인수로 전달된값을 프로퍼티값으로 가지고 있고, 프로퍼티 값에 따른 프로퍼티키는 인수로 전달된순서 (인덱스)로 저장한다. 또한 length 프로퍼티를 가지고 있으며, 순회 가능한 유사배열객체 이다.

callee 프로퍼티

현재 실행중인 함수를 가르킨다.

caller 프로퍼티

함수 객체의 caller 프로퍼티는 함수 자신을 호출한 함수를 가리킨다. 이는 ECMAScript 사양에 포함되지 않은 비표준이다.

length 프로퍼티

함수 객체의 length 프로퍼티 값은 함수를 정의할떄 선언한 매개변수의 개수를 의미한다.

arguments 객체의 length는 함수 호출문의 인수의 개수를 가리키고 함수 객체의 length 프로퍼티값은 매개변수의 개수를 나타내므로 헷갈리지 않도록해야한다.

name 프로퍼티

함수 객체의 name 프로퍼티는 함수 이름을 나타내며 이는 함수객체의 식별자를 값으로 가진다. ES5에서는 함수 이름을 name 프로퍼티의 값으로 가지고 있었지만, ES6부터는 함수를 가르키는 변수 식별자를 값으로 가진다.

__proto__접근자 프로퍼티

모든 객체는 [[prototype]] 이라는 내부 슬롯을 가지는데 이는 상속을 구현하는 프로토타입 객체를 가리키며 이에 간접적으로 접근하기 위해 __proto__를 사용한다.

prototype 프로퍼티

prototype 프로퍼티는 생성자 함수로 호출할 수 있는 함수 객체, 즉 construcrot만이 가지는 프로퍼티이며 일반객체와 생성자 함수로 호출할수 없는 ES6의 화살표 함수와 메서드 축약표현에는 prototype 키가 없다.

참조

• 읽어보면 좋은글
• 일급 객체 - 위키백과
• MDN - arguments 객체
• First-class object (일급 객체)