[Modern JavaScript Deep Dive] 18장: 함수와 일급 객체

18장: 함수와 일급 객체

일급 객체

일급 객체의 조건

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

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

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

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

함수가 일급 객체라는 것의 의미

• 객체와 동일하게 사용할 수 있음

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

• 값을 사용할 수 있는 곳(변수 할당문, 객체의 프로퍼티 값, 배열의 요소, 함수 호출의 인수, 함수 반환문)이라면 어디서든지 리터럴로 정의할 수 있다

• 런타임에 함수 객체로 평가된다.

• 함수의 매개변수에 전달할 수 있다 -> 함수형 프로그래밍 가능

함수와 일반 객체의 차이즘

• 일반 객체는 호출 못함

• 함수 객체는 일반 객체에는 없는 함수 고유의 프로퍼티를 소유

함수 객체의 프로퍼티

console.dir() 사용해 들여다보기

Object.getOwnPropertyDescriptors 메서드로 함수의 모든 프로퍼티의 프로퍼티 어트리뷰트 확인 가능

arguments 프로퍼티

arguments 프로퍼티

• value(값): arguments 객체

  • 함수 호출 시 전달된 인수들의 정보를 담고 있는 순회 가능한 유사 배열 객체

  • 함수 내부에서 지역 변수처럼 사용돼 외부 참조 불가

• ES3부터 표준에서 제외되었음. arguments 프로퍼티 대신 arguments 객체를 참조할 것.

arguments 객체

• 인수를 프로퍼티 값으로 소유

• 프로퍼티 키는 인수의 순서를 나타냄

• callee 프로퍼티는 함수 자신을 가리킴

• length 프로퍼티는 인수의 개수를 가리킴

function multiply(x, y) {
    console.log(arguments);
    return x * y;
}
console.log(multiply(1, 2, 3));
/*
Arguments(3) [1, 2, 3, callee: ƒ, Symbol(Symbol.iterator): ƒ]
0: 1
1: 2
2: 3
callee: ƒ multiply(x, y)
length: 3
Symbol(Symbol.iterator): ƒ values()
[[Prototype]]: Object
*/
// 2

arguments 객체의 할용

• 자바스크립트는 인수의 개수를 확인하지 않음 -> arguments.length로 인수 개수를 확인하고 함수의 동작을 달리 정의할 수 있음.

• 가변 인자 함수를 구현할 때 응용

arguments 객체는 유사 배열 객체

• 배열 메서드를 사용할 경우 에러가 발생

• (Before ES6) 배열 메서드를 사용하려면 간접 호출 해야(Function.prototype.call, Function.prototype.apply)

• (After ES6) Rest 파라미터 도입

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

caller 프로퍼티

ECMAScript 사양에 포함되는 비표준 프로퍼티. 표준화될 예정도 없음.

length 프로퍼티

함수를 정의할 때 선언한 매개변수의 개수

<-> arguments.length는 인자읙 ㅐ수

name 프로퍼티

ES6에서 정식 표준이 됨, 함수의 이름을 나타냄.

익명 함수 표현식의 경우 ES5에서는 빈문자열을 갖고, ES6에서는 함수 객체를 가리키는 식별자를 값으로 갖는다. (함수를 호출할 때는 함수 이름이 아닌 함수 객체를 가리키는 식별자로 호출.)

__proto__ 접근자 프로퍼티

모든 객체는 [[Prototype]]이라는 내부 슬롯을 갖는다. 이는 객체지향 프로그래밍의 상속을 구현하는 프로토타입 객체를 가리킨다.

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

prototype 프로퍼티

constructor(생성자 함수로 호출할 수 있는 함수 객체)만이 소유하는 프로퍼티.

함수가 객체를 생성하는 생성자 함수로 호출될 때 생성자 함수가 생성할 인스턴스의 프로토타입 객체를 가리킨다.