🖥 생성자 함수
객체를 생성하는 다양한 방법중에 생성자 함수를 사용하여 객체를 생성하는 방식을 살펴보자.
💡 Object 생성자 함수
new 연산자와 함께 Object 생성자 함수를 호출하면 빈 객체를 생성하여 반환한다.
const person = new Object();
person.name = 'Lee';
console.log(person); // {name: :"Lee"}생성자 함수란 new 연산자와 함께 호출하여 객체를 생성하는 함수.
📌 생성자 함수애 의해 생성된 객체를 인스턴스라 한다.
💡 생성자 함수
Object를 이용해서 객체를 생성하는 방식은 하나씩 다만들어야 되니까 별로 좋아보이진 않는다.
✅ 생성자 함수에 의한 객체 생성 방식은 클래스 처럼 생성자 함수를 사용해 프로퍼티 구조가 동일한 객체를 편하게 생성할 수 있다.
function Circle(radius) {
this.radius = radius;
this.getDiameter = function () {
return 2 * this.radius;
};
}
const circle1 = new Circle(5);위 코드처럼 생성자 함수를 만들어서 동일한 구조의 객체를 간편하게 여러개를 만들수 있다.
📌 this가 가리키는 값
- 일반 함수로서 호출 : 전역 객체
- 메서드로서 호출 : 메서드를 호출한 객체
- 생성자 함수로서 호출 : 생성자 함수가 생성할 인스턴스
생성자 함수 정의 방법이 일반 함수형태와 똑같기 때문에 new 연산자와 함께 호출하지 않으면 일반 함수로 동작한다.
❗️ 위 말의 뜻은 예시를 보면 이해가 되는데
function Circle(radius){
this.radius = radius;
}
const circle3 = Circle(15);
console.log(radius)위 코드를 보면 Circle 함수를 new 없이 호출했기 때문에 일반함수로써 동작한다.
그렇기 때문에 const circle3 = Circle(15); 를 하면 Circle 함수가 호출되어 함수 내부 코드가 실행된다.
그런데 일반 함수로써 호출되었기 때문에 this는 전역객체이다.
따라서 전역객체의 radius에 값을 할당하는 것이다.
여기서는 전역객체에 radius가 없기 때문에 새로 메모리를 할당하고 15를 저장한것이다.
그리고 console.log(radius)가 실행되는데 여기서의 radius도 전역객체의 radius이기 때문에 15가 출력된다.
인스턴스 생성 과정
생성자 함수의 역할은 인스턴스를 생성하는 것과 생성된 인스턴스를 초기화 하는 것이다.
function Circle(radius) {
this.radius = radius;
this.getDiameter = function () {
return 2 * this.radius;
};
}1️⃣ 인스턴스 생성과 this 바인딩
런타임 이전에 암묵적으로 생성자 함수가 생성한 인스턴스인 빈 객체가 생성된다.
이 빈 객체가 this가 가리키는 인스턴스이다.
2️⃣ 인스턴스 초기화
생성자 함수에 기술되어 있는 코드가 한 줄씩 실행되어 this에 바인딩되어 있는 인스턴스를 초기화 한다.
📌 이 처리는 개발자가 기술한다.
3️⃣ 인스턴스 반환
생성자 함수 내부의 모든 처리가 끝나면 완성된 인스턴스가 바인딩된 this가 암묵적으로 반환된다.
만약 this가 아닌 다른 객체를 명시적으로 반환하면 return문에 명시된 객체가 반환된다. (원시값은 무시됨)
📌 생성자 내부 함수에서 return 문은 반드시 생략해야 한다.
❗️ 위의 과정을 요약하자면 런타임 이전에 {}가 만들어지고 이 객체와 this가 바인딩 된다 -> 내부 코드가 한줄씩 실행되어 인스턴스를 초기화 한다. -> 처리가 다 끝나면 바인딩 된 this가 반환된다(this 가 반환되기 때문에 인스턴스가 이 객체의 값을 참조 할 수 있음)
내부 메서드
함수는 객체이므로 일반 객체와 동일하게 동작할 수 있다.
함수는 객체이지만 일반 객체와는 달리 함수는 호출할 수 있다.
따라서 함수 객체는 [[Environment]],[[FormalParameters]],[[Call]],[[Construct]]를 추가로 가진다.
모든 함수 객체는 내부 메서드 [[Call]] 을 갖고 있으므로 호출할 수 있다.
하지만 모든 함수 객체가 [[Construct]]를 가지는 것은 아니다.
따라서 함수 객체는 constructor일 수도 있고 non-constructor일 수도 있다.
📌 결론적으로 함수 객체는 callable이고 constructor 또는 non-constructor이다. 즉, 모든 함수 객체는 호출 할 수 있지만 모든 함수 객체를 생성자 함수로서 호출할 수 있는 것은 아니다.
constructod와 non-constructor 구분
- constructor : 함수 선언문, 함수 표현식, 클래스
- non-constructor : 메서드(ES6 메서드 축약 표현), 화살표 함수
즉, 함수를 일반 함수로서 호출하면 함수 객체의 내부 메서드 [[Call]]이 호출되고 new 연산자와 함께 생성자 함수로써 호출하면 내부 메서드 [[Construct]]가 호출된다.
📌 non-constructor인 함수 객체를 함수 생성자 함수로서 호출하면 에러가 발생한다.
📌 일반 함수와 생성자 함수에 특별한 형식적 차이는 없기 때문에 생성자 함수는 일반적으로 파스칼 케이스(첫 문자대문자)로 명명하여 일반 함수와 구분해야 한다.
❗️ 한마디로 ES6의 축약표현인 화살표 함수와, 메서드 축약표현으로 정의된 함수는 non-constructor다
new.target
생성자 함수가 new 연산자 없이 호출 될 위험을 회피하기 위해 ES6에서는 new.target을 지원한다.
new 연산자와 함께 생성자 함수로서 호출되면 함수 내부의 new.target은 함수 자신을 가리킨다. new연산자 없이 일반 함수로서 호출된 함수 내부의 new.target은 undefined이다.
따라서 아래의 코드처럼 new.target으로 new연산자 없이 호출될 위험을 회피할수 있다.
function Circle(radius) {
if (!new.target) {
return new Circle(radius);
}
//...위의 코드와 같이📌 대부분의 빌트인 생성자 함수(Object, String, Number, Boolean, Function, Array, Date, RegExp, Promise 등)는 new 연산자와 함께 호출되었는지를 확인한 후 적절한 값을 반환한다.
📌 String, Number, Boolean 생성자 함수는 new 연산자 없이 호출하면 문자열, 숫자, 불리언 값을 반환한다
