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

생성자 함수란 new 연산자와 함께 호출하여 객체(인스턴스)를 생성하는 함수를 말한다.
생성자 함수에 의해 생성된 객체를 인스턴스instance라 한다.

✏️ Object 생성자 함수

new 연산자와 함께 Object 생성자 함수를 호출하면 빈 객체를 생성하여 반환한다.
빈 객체를 생성한 후에 프로퍼티 또는 메서드를 추가하여 객체를 완성할 수 있다.
→ 반드시 Object 생성자 함수를 사용해 빈 객체를 생성해야 하는 것은 아니다. (객체 생성 방법은 객체 리터럴이 더 간편하다.)

// 빈 객체의 생성
const person = new Object();

// 프로퍼티 추가
person.name = 'Lee';
person.sayHello = function () {
  console.log('Hi! My name is ' + this.name);
};

console.log(person); // {name: "Lee", sayHello: ƒ}
person.sayHello(); // Hi! My name is Lee

▪️ 자바스크립트는 Object 생성자 함수 이외에도 빌트인 생성자 함수를 제공한다.

생성자 함수

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

객체 리터럴의 객체 생성 방식은 간편하지만, 단 하나의 객체만 생성한다.
따라서 동일한 프로퍼티를 갖는 여러 개의 객체를 생성해야 하는 경우 매번 같은 프로퍼티를 기술해야 하기 때문에 비효율적이다.

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

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

---

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

함수 호출 방식	this가 가리키는 값 (this 바인딩)
일반 함수로서 호출	전역 객체
메서드로서 호출	메서드를 호출한 객체 (마침표 앞의 객체)
생성자 함수로서 호출	생성자 함수가 (미래에) 생성할 인스턴스

❓ 바인딩
바인딩이란 식별자와 값을 연결하는 과정을 의미한다.
this 바인딩은 this(키워드지만 식별자 역할을 함)와 this가 가리킬 객체를 바인딩하는 것이다.

---

생성자 함수는 객체(인스턴스)를 생성하는 함수지만 다른 언어의 생성자와는 다르게 일반 함수와 동일한 방법으로 생성자 함수를 정의하고 new 연산자와 함께 호출하면 해당 함수는 생성자 함수로 동작한다.

▪️ 생성자 함수의 역할은 프로퍼티 구조가 동일한 인스턴스를 생성하기 위한 템플릿(클래스)로서 동작하여 인스턴스를 생성하는 것과 생성된 인스턴스를 초기화(인스턴스 프로퍼티 추가 및 초기값 할당) 하는 것이다.

✔️ 생성자 함수 내부의 모든 처리가 끝나면 완성된 인스턴스가 바인딩된 this가 암묵적으로 반환된다. 만약 this가 아닌 다른 객체를 명시적으로 반환하면 this가 반환되지 못하고 return문에 명시한 객체가 반환된다.

function Circle(radius) {
  // 1. 암묵적으로 인스턴스가 생성되고 this에 바인딩된다.

  // 2. this에 바인딩되어 있는 인스턴스를 초기화한다.
  this.radius = radius;
  this.getDiameter = function () {
    return 2 * this.radius;
  };

  // 3. 암묵적으로 this를 반환한다.
  // 명시적으로 객체를 반환하면 암묵적인 this 반환이 무시된다.
  return {};
}

// 인스턴스 생성. Circle 생성자 함수는 명시적으로 반환한 객체를 반환한다.
const circle = new Circle(1);
console.log(circle); // {}

⚠️ 하지만 명시적으로 원시 값을 반환하면 원시 값 반환은 무시되고 암묵적으로 this가 반환된다.

function Circle(radius) {
  // 1. 암묵적으로 인스턴스가 생성되고 this에 바인딩된다.

  // 2. this에 바인딩되어 있는 인스턴스를 초기화한다.
  this.radius = radius;
  this.getDiameter = function () {
    return 2 * this.radius;
  };

  // 3. 암묵적으로 this를 반환한다.
  // 명시적으로 원시값을 반환하면 원시값 반환은 무시되고 암묵적으로 this가 반환된다.
  return 100;
}

// 인스턴스 생성. Circle 생성자 함수는 명시적으로 반환한 객체를 반환한다.
const circle = new Circle(1);
console.log(circle); // Circle {radius: 1, getDiameter: ƒ}

생성자 함수로서 호출한다는 것은 new연산자와 함께 호출하여 객체를 생성하는 것을 의미한다. 함수는 객체이므로 일반 객체와 동일하게 동작할 수 있다.
→ 함수 객체는 일반 객체와 동일하게 내부 슬롯과 내부 메서드를 모두 가지고 있다.
⚠️ 일반 객체와 다른점은, 일반 객체는 호출할 수 없지만 함수는 호출할 수 있다.

함수 객체는 일반 객체가 가지고 있는 내부 슬롯과 내부 메서드도 가지고 있고, 함수로서 동작하기 위해 함수 객체만의 [[Environment]], [[FormalParmeters]] 등의 내부 슬롯과 [[Call]], [[Construct]] 같은 내부 메서드를 추가로 가지고 있다.

▪️ [[Construct]]를 갖는 함수 객체를 constructor, 갖지 않는 객체를 non-constructor라고 부른다.

▪️ call은 호출할 수 있는 객체(함수), constructor는 생성자 함수로서 호출할 수 있는 함수, non-constructor는 객체를 생성자 함수로서 호출할 수 없는 함수를 의미한다.

✔️ 모든 함수 객체는 호출할 수 있지만(call) 모든 함수 객체를 생성자 함수로서 호출할 수 있는 것은 아니다.

• constructor : 함수 선언문, 함수 표현식, 클래스
• non-constructor : 메서드(축약 표현), 화살표 함수

⚠️ 생성자 함수로 호출할 것이 아닌 일반 함수에 new 연산자를 붙여 호출하면 생성자 함수처럼 동작할 수 있다.

new 연산자

일반 함수와 생성자 함수에 차이는 특별히 없지만, new 연산자와 함께 함수를 호출하면 해당 함수는 생성자 함수로 동작한다. (constructor일 경우)
→ 함수 객체 내부 메서드 [[Call]]이 아닌 [[Construct]]가 호출

반대로 new 연산자가 없으면 일반 함수로 호출된다.
→ 함수 객체 내부 메서드 [[Construct]]가 아닌 [[Call]]이 호출

✔️ new.target을 사용하면 new 연산자와 함께 생성자 함수로서 호출되었는지 확인할 수 있다.

new 연산자와 함께 생성자 함수로서 호출되면 함수 내부의 new.target은 함수 자신을 가리킨다. new 연산자 없이 일반 함수로서 호출된 함수 내부의 new.target은 undefined이다.

// 생성자 함수
function Circle(radius) {
  // 이 함수가 new 연산자와 함께 호출되지 않았다면 new.target은 undefined다.
  if (!new.target) {
    // new 연산자와 함께 생성자 함수를 재귀 호출하여 생성된 인스턴스를 반환한다.
    return new Circle(radius);
  }

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

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

---

대부분의 빌트인 생성자 함수는 new 연산자와 함께 호출되었는지 확인 후 적절한 값을 반환한다.

Object와 Function 생성자 함수는 new 연산자 없이 호출해도 new 연산자와 함께 호출했을 때와 동일하게 동작한다.

String, Number , Boolean 생성자 함수는 new 연산자와 함께 호출 했을 때 각각의 객체를 생성하여 반환하지만 new 연산자 없이 호출하면 문자열, 숫자, 불리언 값을 반환한다.
▪️ 이를 통해 데이터 타입 변환이 가능하다.