17장 생성자 함수에 의한 객체 생성

Object 생성자 함수

• new 연산자와 함께 Object 생성자 함수를 호출하면 빈 객체를 생성해 반환
• 빈 객체를 생성 후 프로퍼티 추가 또는 메서드를 추가해 객체를 완성할 수 있음
• 생성자 함수란 new 연산자와 함께 호출하여 객체(인스턴스)를 생성하는 함수
• 생성자 함수에 의해 생성된 객체를 인스턴스라 한다.
• 자바스크립트는 Object 외에도 String, Number, Boolean, Function, Array, Date, RegExp, Promise 등의 빌트인 생성자 함수를 제공

생성자 함수

객체 리터럴에 의한 객체 생성 방식의 문제점

• 객체 리터럴에 의한 객체 생성 방식은 직관적이고 간편하지만, 단 하나의 객체만 생성한다, 동일한 프로퍼티를 갖는 객체를 여러 개 생성해야하는 경우 비효율적이다.

생성자 함수에 의한 객체 생성 방식의 장점

• 생성자 함수에 의한 객체 생성 방식은 마치 객체(인스턴스_를 생성하기 위한 템플릿(클래스)처럼 생성자 함수를 사용해 프로퍼티 구조가 동일한 객체 여러 개를 간편하게 생성할 수 있다.

function Circle(radius) {
  this.radius = radius;
  this.getDiameter = function () {
    return 2 * this.radius;
  };
}

const circle1 = new Circle(5);
const circle2 = new Circle(10);

this는 객체 자신의 프로퍼티나 메서드를 참조하기 위한 자기 참조 변수이다. this 바인딩은 함수 호출 방식에 따라 동적으로 결정.

• 자바와 같은 클래스 기반 객체지향언어의 생성자와는 다르게 형식이 정해져 있지 않고, 일반 함수와 동일한 방법으로 생성자 함수를 정의하고 new 연산자와 함께 호출하면 해당 함수는 생성자 함수로 동작한다. 만약 new 연산자와 함께 생성자 함수를 호출하지 않으면 생성자 함수가 아니라 일반함수로 동작한다.

생성자 함수의 인스턴스 생성 과정

• 생성자 함수의 역할은 프로퍼티가 구조가 동일한 인스턴스를 생성하기 위한 템플릿으로 동작한다.
• 인스턴스를 생성하는 것과 생성된 인스턴스를 초기화(인스턴스 프로퍼티 추가 및 초기값 할당)하는 것.
• 생성자 함수가 인스턴스를 생성하는 것은 필수, 생성된 인스턴스를 초기화하는 것은 옵션이다.

1. 인스턴스 생성과 this 바인딩

• 암묵적으로 빈 객체가 생성되며 이것이 바로 인스턴스.
• 인스턴스는 this에 바인딩.
• 생성자 함수 내부의 this가 생성자 함수가 생성할 인스턴스를 가리키는 이유

2. 인스턴스 초기화

• 생성자 함수에 기술되어 있는 코드가 하나씩 실행되어 this에 바인딩되어 있는 인스턴스를 초기화.
• 즉, this에 바인딩되어 있는 인스턴스에 프로퍼티 추가 및 생성자 함수가 인수로 전달받은 초기값을 프로퍼티에 할당해 초기화하거나 고정값을 할당

3. 인스턴스 반환

• 모든 처리가 끝나면 완성된 인스턴스가 바인딩된 this가 암묵적으로 반환됨

• 생성자 함수 내부에서 명시적으로 this가 아닌 다른 값을 반환하는 것은 생성자 함수의 동작을 훼손하므로, 내부에서 return문을 반드시 생략.(내부에서 명시적으로 값을 반환하면 무시됨)

내부메서드 [[Call]]과 [Construct]]

• 함수는 객체이므로 일반객체와 동일하게 동작할 수 있다. 함수 객체는 일반 객체가 가지고 있는 내부 슬록과 내부 메서드를 모두 가지고 있기 때문이다.
• 함수는 객체이지만 일반 객체와는 다르다. 일반 객체는 호출할 수 없지만 함수는 호출할 수 있다.
• 함수가 동작하기 위해 함수 객체만을 위한 [[Environment]], [[ForamlParameters]]등의 내부 슬롯과 [[Call]],[[Construct]] 같은 내부 메서드를 가지고 있다.
• 함수가 일반함수로 호출되면 함수 객체의 내부 메서드 [[Call]]이 호출되고 new 연산자와 함께 생성자 함수로서 호출되면 내부 메서드 [[Construct]]가 호출된다
• 내부 메서드 [[Call]]을 갖는 함수 객체를 callable이라 하며, 내부 메서드 [[Construct]]를 갖는 함수 객체를 constructor, [[Construct]]를 갖지 않는 함수 객체를 non-constructor라고 부른다.
• callable은 호출할 수 있는 객체 즉, 함수를 뜻함
• constructor는 생성자 함수로서 호출할 수 있는 함수
• non-constructor는 객체를 생성자 함수로서 호출할 수 없는 함수를 의미
• 호출할 수 없는 객체는 함수 객체가 아니므로 함수 객체는 반드시 callable이어야한다.
• 모든 함수 객체가 [[Construct]]를 갖지 않는다, 함수 객체는 construtor일 수도, non-constructor일 수도 있다.
• 정리하자면, 모든 함수 객체는 호출할 수 있지만 모든 함수 객체를 생성자 함수로서 호출할 수 있는 것은 아니다.

constructor와 non-constructor 구분

• 자바스크립트 엔진은 함수 정의를 평가하여 함수 객체를 생성할 대 함수 정의 방식에 따라 함수를 constructor와 non-constructor로 구분
  • constructor : 함수 선언문, 함수 표현식, 클래스
  • non-constructor : 메서드(ES6 메서드 축약 표현), 화살표 함수
• non-constructor인 함수 객체를 생성자 함수로서 호출하면 타입에러 발생

new 연산자

• new 연산자와 함께 함수를 호출하면 해당 함수는 생성자 함수로 동작한다, [[Call]]이 호출되는 것이 아니라 [[Construct]]가 호출된다
• 일반 함수와 생성자 함수에 특별한 형식 차이는 없다. 이를 구분하기 위해 생성자 함수는 첫 문자를 대문자로 하는 파스칼 케이스로 명명하여 일반함수와 구분할 수 있도록 하는 것을 권장

new.target

• 생성자 함수가 new 연산자 없이 호출되는 것을 방지하기 위해 파스칼 케이스 컨벤션을 사용해도 실수할 수 있으므로 이를 방지하기 위해 ES6에서는 new.target을 지원한다.
• new.target은 this와 유사하게 constructor인 모든 함수 내부에서 암묵적인 지역 변수와 같이 사용되며 메타 프로퍼티라고 한다. IE는 new.target을 지원하지 않는다.
• new 연산자와 함께 생성자 함수로서 호출되면 함수 내부의 new.target은 함수 자신을 가리킨다.
• new 연산자 없이 일반 함수로서 호출된 함수 내부의 new.target은 undefined다.
• 함수 내부에서 new.target을 사용해 new 연산자와 생성자 함수로서 호출했는지 확인하고, 그렇지 않은 경우 new 연산자와 재귀 호출을 통해 생성자 함수로 호출할 수 있다.

function Circle(radius) {
  if (!new.target) {
    return new Circle(radius);
  }

  this.radius = radius;
  this.getDiameter = function () {
    return 2 * this.radius;
  };
}

const circle = Circle(5); 
//new 연산자 없이 생성자 함수를 호출하여도 new.target을 통해 생성자 함수로서 호출된다.

• new.target은 ES6에서 도입된 최신 문법이라 IE에서 지원하지 않음. new.target을 사용할 수 없는 상황이라면 스코프 세이프 생성자 패턴을 사용할 수 있다.

function Circle(radius) {
  //이 함수가 new 연산자와 함께 호출되지 않았다면 이 시점의 this는 전역 객체 window를 가리킴
  // 즉, this와 Circle은 프로토타입에 의해 연결되지 않음
  if(!(this instanceof Circle)){
    // new 연산자와 함께 호출하여 생성된 인스턴스를 반환
   return new Circle(radius); 
  }

  this.radius = radius;
  this.getDiameter = function () {
    return 2 * this.radius;
  };
}

const circle = Circle(5);

• Object와 Function 생성자 함수는 new 연산자 없이 호출해도 new 연산자와 함께 호출했을 때와 동일하게 동작
• 하지만 String, Number, Boolean 생성자 함수는 new 연산자와 함께 호출하면 String, Number, Boolean객체를 생성해 반환하지만, new 연산자 없이 호출하면 문자열, 숫자, 불리언 값으로 반환한다.이를 통해 데이터 타입을 변환하기도 함.

18장 함수와 일급 객체

일급 객체

• 아래의 조건을 만족하는 객체를 일급 객체라고 한다.

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

• 자바스크립트의 함수는 위의 조건을 모두 만족하므로 일급객체이다.
• 함수가 일급 객체라는 것은 함수를 객체와 동일하게 사용할 수 있다는 의미. 즉, 객체는 값이므로 함수는 값과 동일하게 취급할 수 있다.

함수 객체의 프로퍼티

• arguments, caller, length, name, prototype 프로퍼티는 모두 함수 객체의 데이터 프로퍼티다.

arguments 프로퍼티

• 함수 객체의 arguments 프로퍼티 값은 arguments 객체다.
• arguments 객체는 함수 호출 시 전달된 인수들의 정보를 담고 있는 순회 가능한 유사 배열 객체이며, 함수 내부에서 지역 변수처럼 사용된다. 즉, 함수 외부에서는 참조할 수 없다.
• arguments 객체는 인수를 프로퍼티 값으로 소유하며 프로퍼티 키는 인수의 순서를 나타낸다.
• arguments 객체의 callee 프로퍼티는 호출되어 arguments 객체를 생성한 함수, 즉 함수 자신을 가리키고 arguments 객체의 length 프로퍼티는 인수의 개수를 가리킨다.
• arguments 객체의 Symbol(Symbol.iterator)프로퍼티는 arguments 객체를 순회 가능한 자료구조인 이터러블로 만들기 위한 프로퍼티다. Symbol.iterator를 프로퍼티 키로 사용한 메서드를 구현하는 것에 의해 이터러블이 된다.
• 선언된 매개변수의 개수와 함수를 호출할 때 전달하는 인수의 개수를 확인하지 않는 자바스크립트의 특성 때문에 함수가 호출되면 인수 개수를 확인하고 이에 따라 함수의 동작을 달리 정의할 필요가 있을 수 있다. 이때 유용하게 사용되는 것이 arguments 객체다.
• arguments 객체는 매개변수 개수를 확정할 수 없는 가변 인자 함수를 구현할 때 용이
• arguments 객체는 배열 형태로 인자 정보를 담고 있지만 실제 배열이 아닌 유사 배열 객체다. 유사 배열 객체란 length 프로퍼티를 가진 객체로 for문으로 순회할 수 있는 객체를 말함

  ES6에서 도입된 이터레이션 프로토콜을 준수하면 순회 가능한 자료구조인 이터러블이 된다. 이러터블의 개념이 없었던 ES5에서 arguments 객체는 유사 배열 객체로 구분되었다. 하지만 이터러블이 도입된 ES6부터 arguments 객체는 유사배열 객체이면서 동시에 이터러블이다.

• 유사배열 객체는 배열이 아니므로 배열 메서드를 사용하면 에러가 발생한다. 배열 메서드를 사용하려면 Function.prototype.call, Function.prototype.apply를 사용해 간접 호출해야한다.

caller 프로퍼티

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

length 프로퍼티

• 함수 객체의 length 프로퍼티는 함수를 정의할 때 선언한 매개변수의 개수를 가리킨다.
• arguments 객체의 length 프로퍼티는 인자의 개수를 가리키고, 함수 객체의 length 프로퍼티는 매개변수의 개수를 가리킨다.

name 프로퍼티

• 함수 객체의 name 프로퍼티는 함수 이름을 나타낸다.
• name 프로퍼티는 ES6 이전까지는 비표준이었다가 ES6에서 정식 표준이 되었다.
• 익명 함수 표현식
  • ES5 : name 프로퍼티는 빈 문자열을 값으로 갖음
  • ES6 : 함수 객체를 가리키는 식별자를 값으로 갖음
• 함수 이름과 함수 객체를 가리키는 식별자는 의미가 다르다
  • 함수를 호출할 때는 함수 이름이 아닌 함수 객체를 가리키는 식별자로 호출

proto 접근자 프로퍼티

• 모든 객체는 [[Prototype]]이라는 내부 슬롯을 갖는다. 이 내부슬롯은 객체지향 프로그래밍의 상속을 구현하는 프로토타입 객체를 가리킨다.
• proto 프로퍼티는 [[Prototype]] 내부 슬롯이 가리키는 프로토타입 객체에 접근하기 위해 사용하는 접근자 프로퍼티다.
• 내부슬롯에는 직접 접근할 수 없고 간접적인 접근 방법을 제공하는 경우에 한하여 접근할 수 있다.

prototype 프로퍼티

• prototype 프로퍼티는 생성자 함수로 호출할 수 있는 함수 객체, 즉 constructor만이 소유하는 프로퍼티다.
• 일반 객체와 생성자 함수로 호출할 수 없는 non-constructor에는 prototype 프로퍼티가 없다.
• prototype 프로퍼티는 함수가 객체를 생성하는 생성자 함수로 호출될 때 생성자 함수가 생성할 인스턴스의 프로토타입 객체를 가리킨다.