생성자 함수란?

new 연산자와 함께 호출하여 객체(인스턴스)를 생성하는 함수

자바스크립트는 여러 빌트인 생성자 함수를 제공한다.
Object String Number Fuction Array 등등

객체 리터럴 사용 vs 생성자 함수 사용

객체 리터럴 사용의 문제점

단 하나의 객체만 생성한다.

const circle1 = {
	r: 5,
	getDiameter() {
		return 2 * r;
	}
};

console.log(circle1.getDiameter()); // 10

const circle2 = {
	r: 10,
	getDiameter() {
		return 2 * r;
	}
};

console.log(circle2.getDiameter()); // 20

보통 상태를 표현하는 프로퍼티는 객체마다 값이 다를 수 있지만 메서드는 내용이 동일하다. 하지만 객체 리터럴에 의해 객체를 생성하는 경우 프로퍼티 구조가 동일함에도 불구하고 매번 같은 프로퍼티와 메서드를 기술해야 한다.

생성자 함수 사용의 장점

생성자 함수에 의한 객체 생성 방식은 생성자 함수를 사용하여 프로퍼티 구조가 동일한 여러 객체를 간편하게 생성할 수 있다.

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

// 객체 생성
const circle1 = new Circle(5);

console.log(circle1.getDiameter()); // 10

생성자 함수는 객체를 반환하는데 왜 생성자함수에는 객체를 생성하고 반환하는 코드가 없는걸까?

→ 암묵적 처리를 통해 인스턴스를 생성하고 반환하기 때문!

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

1. 인스턴스 생성과 this 바인딩
암묵적으로 빈 객체가 생성되고 this에 바인딩 된다.

💡 이것이 생성자 함수 내에 this 가 생성자 함수가 생성할 인스턴스를 가리키는 이유이다.
this 블로그 참고

 function Circle(r) {
 	// 1. 암묵적으로 인스턴스 생성 후 this 바인딩
 	console.log(this); // Circle {}
 	
 	this.r = r;
 	this.getDiameter = function () {
 		return 2 * r;
 	}
 }

2. 인스턴스 초기화
생성자 함수의 코드가 한 줄씩 실행되어 this 에 바인딩되어있는 인스턴스를 초기화 한다.

 function Circle(r) {
 	// 1. 암묵적으로 인스턴스 생성 후 this 바인딩
 	
 	// 2. this에 바인딩되어 있는 인스턴스 초기화
 	this.r = r;
 	this.getDiameter = function () {
 		return 2 * r;
 	}
 }

3. 인스턴스 반환
생성자 함수 내부에서 모든 처리가 끝나면 암묵적으로 인스턴스가 바인된된 this 를 반환한다.

 function Circle(r) {
 	// 1. 암묵적으로 인스턴스 생성 후 this 바인딩
 	
 	// 2. this에 바인딩되어 있는 인스턴스 초기화
 	this.r = r;
 	this.getDiameter = function () {
 		return 2 * r;
 	}
 	// 3. 완성된 인스턴스가 바인딩된 this가 암묵적으로 반환
 }
 
 // 인스턴스 생성
 const circle = new Circle(5); 

만약 this 아닌 다른 객체를 명시적으로 반환한다면?

→ this가 반환되지 못하고 return 문에 명시된 객체가 반환된다.

function Circle(r) {
	this.r = r;
	this.getDiameter = function () {
		return 2 * r;
	}
	
	// 명시적으로 객체 반환
	return {};
}

// 인스턴스 생성. 명시적으로 객체를 반환하면 암묵적인 this 반환이 무시되고
// 명시적으로 반환한 객체를 반환한다.
const circle = new Circle(5); // {}

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

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

함수는 객체다. 즉, 일반 객체가 가지고 있는 내부 슬롯과 내부 메서드를 모두 가지고 있다.

함수는 일반 객체와 다른 점은 호출할 수 있다는 것이다. 따라서 함수는 일반 객체가 가지는 내부 슬롯과 내부 메서드는 물론 함수로서 함수객체를 위한 내부 슬롯과 내부 메서드 [[Call]], [[Constructor]] 도 가지고 있다.

함수를 생성자함수로서 사용되기 위해서는 new 연산자와 함께 호출되어야 한다. 하지만 모든 함수가 new 연산자를 사용하여 생성자 함수로 사용될 수 있는 것은 아니다.

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

모든 함수는 callable 이자만 callable 이면서 생성자 함수로서 호출될 수 있는 함수인 constructor 와 생성자 함수로서 호출될 수 없는 함수인 non-constructor 로 구분된다.

이에 자바스크립트 엔진은 함수 정의 방식에 따라서 이 둘을 구분한다.

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

// 일반 함수 정의: 함수 선언문, 함수 표현식
function foo() {}
const bar = function () {};

// 일반함수로 정의된 함수만이 constructor 이다. 
new foo(); // {}
new bar(); // {}

// 화살표 함수 정의
const arrow = () => {};

new arrow(); // TypeError

new 연산자

new 연산자와 함수를 호출하면 해당 함수는 생성자 함수로 동작한다. 즉, 함수 내부 객체 메서드가 [[Call]] 이 아닌 [[Constructor]] 가 호출된다.

반대로 new 연산자 없이 함수를 호출하면 해당함수는 일반함수로 동작한다. 즉, 함수 내부 객체 메서드가 [[Constructor]] 이 아닌 [[Call]] 이 호출된다.

두 호출 방식에 따라 함수 내부의 this 에 바인딩된 값이 다르다.

new 연산자로 호출한 함수의 this 는 생성자 함수가 생성할 인스턴스를 가리킨다.

일반 함수로서 호출한 함수의 this 는 전역객체를 가리킨다.

일반 함수와 생성자 함수의 형식적 차이는 없다. 따라서 이를 구분하기 위해 생성자 함수를 선언할 때 일반적으로 파스칼 케이스(첫문자를 대문자로 기술)로 명명한다.

참고

• 모던 자바스크립트 Deep Dive