모던 자바스크립트 Deep Dive 스터디

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

객체 리터럴에 의한 객체 생성 방식은 가장 일반적이고 간단한 객체 생성 방식이다.
객체는 객체 리터럴 이외에도 다양한 방법으로 생성할 수 있는데, 생성자 함수를 사용하여 객체를 생성하는 방식을 살펴보자.

17.1 Object 생성자 함수

💡 new 연산자와 함께 Object 생성자 함수를 호출하면 빈 객체를 생성하여 반환한다.
이후 프로퍼티 또는 메서드를 추가하여 객체를 완성할 수 있다.

const person = new Object();
person.name = "sangjo";

console.log(person); // { name: "sangjo" }

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

17.2 생성자 함수

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

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

const person1 = {
  name: "sangjo1",
  sayHi(){ console.log(`Hi ${this.name}`); }
}

const person2 = {
  name: "sangjo2",
  sayHi(){ console.log(`Hi ${this.name}`); }
}

const person1 = {
  name: "sangjo3",
  sayHi(){ console.log(`Hi ${this.name}`); }
}

이처럼 객체 리터럴에 의해 객체를 생성하는 경우 프로퍼티 구조가 동일함에도 불구하고 매번 같은 프로퍼티와 메서드를 기술해야 한다.

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

생성자 함수에 의한 객체 생성 방식은 마치 인스턴스를 생성하기 위한 템플릿처럼 활용할 수 있다는 장점이 있다.

function Person(name) {
  this.name = name;
  this.sayHi = function(){
    console.log(`Hi ${this.name}`);
  }
}

const person1 = new Person("sangjo1");
const person2 = new Person("sangjo2");
const person3 = new Person("sangjo3");

const person4 = Person("sangjo4")
console.log(person4); // undefined
// new 연산자 없이 일반 함수로 호출될 경우, 반환문이 없으므로 암묵적으로 undefined를 반환한다.
console.log(name); // sangjo4
// 일반 함수로 호출된 Person의 this는 전역 객체를 가리킨다.

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

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

new 연산자와 함께 생성자 함수를 호출하면 자바스크립트 엔진은 다음과 같은 과정을 거친다.

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

function Person(str) {
  // 1. 인스턴스(빈 객체) 생성, this에 바인딩
  this.name = str;
}

암묵적으로 빈 객체가 생성된다.
이 객체가 바로 생성자 함수가 생성한 인스턴스다.
그리고 이 인스턴스는 this에 바인딩된다.
생성자 함수 내부의 this가 생성할 인스턴스를 가리키는 이유가 바로 이것이다.
이 처리는 함수 몸체의 코드가 실행되는 런타임 이전에 실행된다.

2. 인스턴스 초기화

function Person(str) {
  // 1. 인스턴스(빈 객체) 생성, this에 바인딩
  
  // 2. 생성자 함수에 기술되어있는 코드 실행. 인스턴스 초기화.
  this.name = str;
}

생성자 함수의 코드가 실행되어 this에 바인딩되어 있는 인스턴스에 프로퍼티나 메서드를 추가하고 인수로 전달받은 값을 프로퍼티에 할당하여 초기화하거나 고정값을 할당한다.

3. 인스턴스 반환

function Person(str) {
  // 1. 인스턴스(빈 객체) 생성, this에 바인딩
  
  // 2. 생성자 함수에 기술되어있는 코드 실행. 인스턴스 초기화.
  this.name = str;
  
  // 3. 완성된 인스턴스가 바인딩된 this를 암묵적으로 반환한다.
}

생성자 함수 내부의 모든 처리가 끝나면 완성된 인스턴스가 바인딩된 this가 암묵적으로 반환된다.
만약, return문을 통해 반환 값을 명시하면 다른 결과를 얻을 수 있으니 return을 꼭 생략하자.

function Person1(str) {
  this.name = str;
  
  // 명시적으로 객체를 반환하면 암묵적인 this 반환이 무시된다.
  return {};
}

function Person2(str) {
  this.name = str;
  
  // 명시적으로 원시 값을 반환하면 무시되며 암묵적인 this 반환이 이루어진다.
  return 1;
}

const person1 = new Person1("sangjo");
console.log(person1); // {}

const person1 = new Person2("sangjo");
console.log(person2); // Person2{ name: "sangjo" }

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

함수는 객체이므로 일반 객체와 동일하게 내부 슬롯와 내부 메서드를 가지고 있다.
그러나 일반 객체는 호출할 수 없지만 함수는 호출할 수 있다.
(함수 선언문 또는 함수 표현식으로 정의한 함수는 일반 함수로서 호출할 수 있는 것은 물론 생성자 함수로서 호출할 수 있다.)

따라서 함수 객체는 함수로서 동작하기 위해 [[Environment]] [[FormalParameters]] 등의 내부 슬롯과 [[Call]] [[Construct]] 같은 내부 메서드를 추가로 갖고 있다.

내부 메서드 [[Call]]을 갖는 함수 객체를 callable이라 하며, 내부 메서드 [[Construct]]를 갖는 함수 객체를 constructor, 갖지 않는 함수 객체를 non-constructor이라 부른다.

호출할 수 없는 객체는 함수 객체가 아니므로 모든 함수 객체는 반드시 callable이어야 한다.
하지만 모든 함수 객체가 constructor는 아니다.

17.2.5 constructor와 non-constructor의 구분

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

non-constructor를 생성자 함수로서 호출하면 에러가 발생한다.

17.2.6 new 연산자

일반 함수와 생성자 함수의 형식에 차이는 없다.
new 연산자와 함께 사용하면 생성자 함수로 동작하는 것이다.

// 일반 함수
function add(a, b) {
  return a + b;
}

const result = new add(1, 2);
console.log(result); // {}
// 생성자 함수로서 정의하지 않은 일반 함수를 new 연산자와 함께 호출해도 생성자 함수로 동작한다.
// 함수의 반환값이 객체가 아니므로 this에 바인딩된 인스턴스를 반환한다. 이 경우는 빈 객체.

생성자 함수로서 정의한 함수 객체를 new 연산자 없이 호출하면 일반 함수로 호출된다.

// 생성자 함수
function Person(str) {
  this.name = str;
}

const result = Person("sangjo");
console.log(result); // undefined
// 함수 내부에서 반환값을 설정해주지 않았기 때문에 undefined가 출력된다.

console.log(name); // sangjo
// 일반 함수로서 호출하면 함수 내부의 this는 window를 가리키게 되므로 name 프로퍼티는 전역 객체의 프로퍼티가 된다.

일반 함수는 카멜 케이스, 생성자 함수는 파스칼 케이스를 사용하여 구별하자.

17.2.7 new.target

식별자 명명 컨벤션을 통해 구분하려고 해도 실수는 언제나 발생할 수 있다.
함수 내부에서 new.target을 사용하면 생성자 함수로서 호출되었는지 확인할 수 있다.
new.target은 this와 유사하게 constructor인 모든 함수 내부에서 암묵적인 지역 변수와 같이 사용되며 메타 프로퍼티라고 부른다.

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

// 생성자 함수
function Person(str) {
  // 생성자 함수가 일반 함수로 호출될 때
  if(!new.target){
    return new Person(str); // new 연산자와 함께 생성자 함수를 재귀 호출한다.
  }
  
  this.name = str;
}

const result = Person("sangjo");
console.log(result); // Person{ name: "sangjo" }
// 일반 함수로서 호출해도 내부 로직에 따라 생성자 함수로 호출된다.

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