본문 바로가기

이것저것 스터디📚/JavaScript - Deep Dive

DeepDive - 25장.클래스

25.1 클래스는 프로토타입의 문법적 설탕인가?

 

자바스크립트는 클래스가 필요 없는 객체지향 프로그래밍 언어이고 ES5에서는 클래스 없이도 생성자 함수와 프로토타입을 통해 객체지향 언어의 상속을 구현할 수 있었다.

 

ES6의 클래스는 기존의 프로토타입 기반 객체지향 모델을 폐지하고 새롭게 클래스 기반 객체지향 모델을 제공하는 것이 아닌, 기존 프로토타입 기반 패턴을 클래스 기반 패턴처러 사용할 수 있도록 하는 문법적 설탕이다.

 

클래스는 생성자 함수와 매우 유사하게 동작하지만 다음과 같은 차이점이 있다.

 

1. 클래스를 new 연산자 없이 호출하면 에러가 발생한다. 생성자 함수는 new 연산자가 없이 호출되는 경우 일반 함수로서 호출한다.

2. 클래스는 상속을 지원하는 extends와 super 키워드를 제공한다.

3. 클래스는 호이스팅이 발생하지 않는 것처럼 동작한다. 반면 함수 선언문으로 정의된 생성자 함수는 호이스팅이, 함수 표현식으로 정의한 생성자 함수는 변수 호이스팅이 발생한다.

4. 클래스 내의 모든 코드에는 암묵적으로 strict mode가 지정되어 실행되고 strict mode를 해제할 수 없다.

5. 클래스의 constructor, 프로토타입 메서드, 정적 메서드는 모두 프로퍼티 어트리뷰트 [[Enumerable]]의 값이 false다.(즉, 열거되지 않는다.)

 

위와 같은 차이점을 생각해봤을 때, 클래스를 단순한 문법적 설탕으로 보기보다는 새로운 객체 생성 메커니즘으로 보는 것이 더 합당하다.


25.2 클래스의 정의

 

클래스는 class 키워드를 사용해서 정의하고 일반적이지는 않지만 함수와 마찬가지로 표현식으로 정의할 수도 있다.

class Person {}

const Person = class {}

클래스는 일급 객체로서 다음과 같은 특징을 갖는다.

 

1. 무명의 리터럴로 생성할 수 있다. 즉, 런타임에 생성이 가능하다.

2. 변수나 자료구조(객체, 배열 등)에 저장할 수 있다.

3. 함수의 매개변수에게 전달할 수 있다.

4. 함수의 반환값으로 사용할 수 있다.

 

* 클래스와 생성자 함수의 정의 방식 비교


25.3 클래스 호이스팅

클래스 선언문으로 정의한 클래스는 소스코드 평가 과정, 즉 런타임 이전에 먼저 평가되어 함수 객체(생성자 함수로서 호출할 수 있는 constructor)를 생성한다. 

 

프로토타입과 생성자 함수는 언제나 쌍으로 존재하기 때문에, 생성자 함수로서 호출할 수 있는 함수는 함수 정의가 평가되어 함수 객체를 생성하는 시점에 프로토타입도 더불어 생성된다.

 

단, 클래스는 클래스 정의 이전에 참조할 수 없다.

console.log(Person) 
// ReferenceError : Cannot access 'Person' befor initialization

// 클래스 선언
class Person {}

클래스 선언문은 마치 호이스팅이 발생하지 않는 것처럼 보이나 변수 선언, 함수 정의와 마찬가지로 호이스팅이 발생한다. 다만, let, const 키워드로 선언한 변수처럼 클래스 선언문 이전에는 일시적 사각지대에 빠지기 때문에 호이스팅이 발생하지 않는 것처럼 동작한다.

const Person = "";

{

console.log(Person);
// ReferenceError: Cannot access 'Person' before initialization

//클래스 선언

class Person {}

25.4 인스턴스 생성

 

클래스는 생성자 함수이며 new 연산자와 함께 호출되어 인스턴스를 생성하고, new 연산자 없이는 호출할 수 없다.

 

클래스 표현식으로 정의된 클래스의 경우에는 기명 클래스 표현식의 클래스 이름을 사용해 인스턴스를 생성하면 에러가 발생한다.

const Person = class MyClass {};

// 함수 표현식과 마찬가지로 클래스를 가리키는 식별자로 인스턴스를 생성해야 한다.

const me = mew Person();

const you = new Myclass(); // ReferenceError: MyClass is not defined

클래스 표현식에서 사용한 클래스 이름은 외부 코드에서 접근 불가능하다.


25.5 메서드

 

클래스 몸체에는 0개 이상의 메서드만 선언할 수 있고, 메서드는 constructor(생성자), 프로토타입 메서드, 정적 메서드 세 가지가 있다.


25.5.1 constructor

 

constructor는 인스턴스를 생성하고 초기화하기 위한 특수한 메서드이며 이름을 변경할 수 없다. 

 

constructor 내부에서 this에 추가한 프로퍼티는 클래스가 생성한 인스턴스의 프로퍼티로 추가된다.

 

클래스가 평가되어 생성된 함수 객체나 클래스가 생성한 인스턴스에는 constructor 메서드가 존재하지 않는다. 즉, constructor는 메서드로 해석되는 것이 아니라 클래스가 평가되어 생성한 함수 객체 코드의 일부가 된다.(클래스 정의가 평가되면 constructor의 기술된 동작을 하는 함수 객체가 생성된다.)

 

constructor는 클래스 내에 최대 한개만 존재할 수 있고, 생략할 수도 있다. 만약 constructor를 생략하면 클래스에는 빈 constructor가 암묵적으로 정의된다.

 

인스턴스를 생성할 때 클래스 위부에서 인스턴스 프로퍼티의 초기값을 전달하려면 constructor에 매개변수를 선언하고 인스턴스를 생성할 때 초기값을 전달하고, constructor 내부에서 this에 인스턴스 프로퍼티를 추가하면 프로퍼티가 추가되어 초기화된 인스턴스를 생성할 수 있다.

 

constructor는 별도의 반환문을 갖지 않아야 한다. new 연산자와 함께 클래스가 호출되면 생성자 함수와 동일하게 암묵적으로 this, 즉 인스턴스를 반환하기 때문에 별도의 반환문을 갖게되면 this, 즉 인스턴스가 반환되지 못하고 반환문에 명시된 객체가 반환된다.

 

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

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

const me = new Person("lee");
console.log(me); // {}
class Person {
  constructor(name) {
    this.name = name;
  }
  
  // 명시적으로 원시값을 반환하면 원시값 반환은 무시되고 암묵적으로 this가 반환된다.
  return 100;
  }
}

const me = new Person("lee");
console.log(me) // Person { name : "lee" }

25.5.2 프로토타입 메서드

 

생성자 함수와는 달리 클래스 몸체에서 정의한 메서드는 클래스의 prototype 프로퍼티 메서드를 추가하지 않아도 기본적으로 프로토타입 메서드가 된다. 즉, 클래스 몸체에서 정의한 메서드는 인스턴스의 프로토타입에 존재하는 프로토타입 메서드가 되고 인스턴스는 프로토타입 메서드를 상속받아 사용할 수 있다.


25.5.3 정적 메서드

 

정적 메서드는 인스턴스를 생성하지 않아도 호출할 수 있는 메서드를 말한다.

 

생성자 함수에서는 명시적으로 생성자 함수에 메서드를 추가해야하고, 클래스에서는 메서드에 static 키워드를 붙이면 정적 메서드(클래스 메서드)가 된다.

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

// 정적 메서드

Person.sayHi = function () {
  console.log("Hi");
};

// 정적 메서드 호출
Person.sayHi(); // "Hi"

// 클래스
class Person {
  // 생성자
  constructor(name) {
    this.name = name;
  }
  
  static sayHi() {
    console.log("Hi");
  }
}

정적 메서드는 클래스에 바인딩된 메서드가 되기 때문에, 클래스 정의 이후 인스턴스를 생성하지 않아도 호출할 수 있다.

 

대신, 정적 메서드는 인스턴스로 호출할 수 없다. 정적 메서드가 바인딩된 클래스는 인스턴스의 프로토타입 체인상에 존재하지 않기 때문이다.


25.5.4 정적 메서드와 프로토타입 메서드의 차이

 

1. 정적 메서드와 프로토타입 메서드는 자신이 속해 있는 프로토타입 체인이 다르다.

2. 정적 메서드는 클래스로 호출하고 프로토타입 메서드는 인스턴스로 호출한다.

3. 정적 메서드는 인스턴스 프로퍼티를 참조할 수 없지만 프로토타입 메서드는 인스턴스 프로퍼티를 참조할 수 있다.

 

// 정적 메서드
class Square {
  // 정적 메서드
  static area(width, height) {
    return width * height;
  }
}

console.log(Square.area(10, 10)); // 100

// 프로토타입 메서드
class Square {
  constructor(width, height) {
    this.width = width;
    this.height = height;
  }
  
  area() {
    return this.width * this.height;
  }
}

const square = new Square(10, 10);
console.log(square.area()); // 100

프로토타입 메서드는 인스턴스로 호출해야 하므로 프로토타입 메서드 내부의 this는 프로토타입 메서드를 호출한 인스턴스이다.

정적 메서드는 클래스로 호출해야 하므로 정적 메서드 내부의 this는 인스턴스가 아니라 클래스를 가리킨다.

 

따라서, 메서드 내부에서 인스턴스 프로퍼티를 참조할 필요가 있다면 프로토타입 메서드와 this를 사용해야 한다.

 

표준 빌트인 객체인 Math, Number, JSON, Object, Reflect 등은 다양한 정적 메서드를 가지고 있는 인스턴스와 상관없이 애플리케이션 전역에서 사용할 수 있는 유틸리티 함수이다.


25.5.5 클래스에서 정의한 메서드의 특징

 

1. function 키워드를 생략한 메서드 축약 표현을 사용한다.

2. 객체 리털럴과는 다르게 클래스에 메서드를 정의할 때는 콤마가 필요없다.

3. 암묵적으로 strict mode로 실행된다.

4. for...in문이나 Object.keys 메서드 등으로 열거할 수 없다. 즉, 프로퍼티 열거 가능 여부를 나타내며, 불리언 값을 갖는 프로퍼티 어트리뷰트 [[Enumerable]]의 값이 false이다.

5. 내부 메서드 [[Constructor]]를 갖지 않는 non-constructor다. 따라서 new 연산자와 함께 호출할 수 없다.


25.6 클래스의 인스턴스 생성 과정

 

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

new 연산자와 함께 클래스를 호출하면 constructor의 내부 코드가 실행되기에 앞서 암묵적으로 빈 객체(클래스가 생성한 인스턴스)가 생성된다. 그리고 빈 객체는 this에 바인딩 되고 constructor 내부의 this는 클래스가 생성한 인스턴스를 가리킨다.

 

2. 인스턴스 초기화

constructor의 내부 코드가 실행되어 this에 바인딩되어 있는 인스턴스를 초기화한다. 즉, this에 바인딩되어 있는 인스턴스에 프로퍼티를 추가하고 constructor 인수로 전달받은 초기값으로 인스턴스의 프로퍼티 값을 초기화한다.

 

3. 인스턴스 반환

클래스의 모든 처리가 끝나면 완성된 인스턴스가 바인딩된 this가 암묵적으로 반환된다.

class Person{
  // 생성자
  constructor(name) {
  // 1. 암묵적으로 인스턴스가 생성되고 this에 바인딩된다.
  console.log(this); // Person {}
  console.log(Object.getPrototypeOf(this) === Person.prototype); // true
  
  // 2. this에 바인딩되어 있는 인스턴스를 초기화한다.
  this.name = name;
  
  // 3. 완성된 인스턴스가 바인딩된 this가 암묵적으로 반환된다.
  }
}

25.7 프로퍼티


25.7.1 인스턴스 프로퍼티

constructor 내부 코드가 실행되기 이전에 constructor 내부의 this에는 이미 클래스가 암묵적으로 생성한 인스턴스인 빈 객체가 바인딩 되어 있기 때문에, 인스턴스 프로퍼티는 constructor 내부에서 정의해야 한다.

 

constructor 내부의 this에 추가한 프로퍼티는 언제느 클래스가 생성한 인스턴스의 프로퍼티가 된다.


25.7.2 접근자 프로퍼티

접근자 프로퍼티는 자체적으로 값([[Value]])을 갖지 않고 다른 데이터 프로퍼티의 값을 읽거나 저장할 때 사용하는 접근자 함수로 구성된 프로퍼티이다. 즉, getter 함수와 setter 함수로 구성되어 있다.

 

class Person {
  constructor(firstName, lastName) {
    this.firstName = firstName;
    this.lastName = lastName;
   }
   
   // getter 함수
   get fullName () {
     return `${this.firstName} ${this.lastName}`
   }
   
   // setter 함수
   set fullName(name) {
   [this.firstName, this.lastName] = name.split(" ");
   }
 }
 
 const me = new Person("Ungmo", "Lee");
 
 // 접근자 프로퍼티를 통한 프로퍼티 값 참조
 console.log(`${me.firstName} ${me.lastName}`);
 
 // 접근자 프로퍼티를 통한 프로퍼티 값 저장
 me.fullName = "Heegun Lee";
 console.log(me) // { firstName: "Heegun", lastName: "Lee" }

getter 함수는 호출하는 것이 아니라 프로퍼티처럼 참조하는 형식으로 사용되며, 참조 시에 내부적으로 getter가 호출된다.

setter는 무언가를 프로퍼티에 할당해야 할 때 사용하므로 반드시 매개변수가 있어야하되 단 하나의 값만 할당받기 때문에 단 하나의 매개변수만 선언할 수 있다.


25.7.3 클래스 필드 정의 제안

 

클래스 필드(필드 또는 멤머)는 클래스 기반 객체지향 언어에서 클래스가 생성할 인스턴스의 프로퍼티를 가리키는 용어이다.

자바스크립트에서의 클래스는 인스턴스 프로퍼티를 선언하고 초기화하려면 반드시 constructor 내부에서 this에 프로퍼티를 추가해야 하지만, 클래스 기반 객체지향 언어인 자바에서는 변수처럼 클래스 몸체에 this 없이 선언한다.

 

자바스크립트에서의 클래스에서 인스턴스 프로퍼티를 참조하려면 반드시 this를 사용해서 참조해야 하지만, 자바의 클래스에서는 this를 생략해도 클래스 필드를 참조할 수 있다.

 

자바스크립트의 클래스 몸체에는 메서드만 선언할 수 있기 때문에, 자바와 유사하게 클래스 필드를 선언하면 문법 에러가 발생한다.

 

class Person {
  name = "lee";
}

const me = new Person("lee");

하지만 위 예제는 최신 브라우저(Chrome 72 이상) 또는 최신 Node.js(버전 12 이상)에서 실행하면 문법 에러가 발생하지 않고 정상 동작한다.

 

이는 자바스크립트에서도 인스턴스 프로퍼티를 마치 클래스 기반 객체지향 언어의 클래스 필드처럼 정의할 수 있는 새로운 표준 사양인 "Class field declarations"가 2021년 1월 TC39 프로세스의 stage3에 제안되어 있기 때문에 아직 ECMAScript의 정식 표준 사양으로 승급되지 않았지만, 승급이 확실시되는 이 제안을 선제적으로 미리 구현해 놓았기 때문이다.

 

다만, 클래스 몸체에서 클래스 필드를 정의하는 경우에는 this에 클래스 필드를 바인딩해서는 안된다. this는 클래스의 constructor와 메서드 내에서만 유효하기 때문이다.

 

* 자바스크립트에서는 클래스 필드를 참조하는 경우 this를 반드시 사용해야 한다.

class Person {
  name = "lee"
  
  constructor() {
    console.log(name); // ReferenceError: name is not defined
  }
}

new Person()

* 클래스 필드에 초기값을 할당하지 않으면 undefined를 갖는다.

class Person {

  name;
}

const me = new Person();
console.log(me); // Person { name: undefined }

* 인스턴스를 생성할 때 외부의 초기값으로 클래스 필드를 초기화해야할 필요가 있다면, constructor에서 클래스 필드를 초기화 해야한다.

class Person{
  name;

  constructor(name) {
    this.name = name;
  }
}

const me = new Person("lee");
console.log(me); // Person { name: "lee" }

* 함수는 일급 객체이므로 함수를 클래스 필드에 할당할 수 있고, 클래스 필드를 통해 메서드를 정의할 수도 있다.

하지만, 이 경우에 함수는 프로토타입 메서드가 아닌 인스턴스 메서드가 된다.

class Person{
  name = "lee";
  
  getName = function () {
    return this.name;
  }
  
  // 화살표 함수로도 정의 가능
  // getName = () => this.name;
}

const me = new Person();
console.log(me); // Person {name: "lee", getName: f}
console.log(me.getName()); // "lee"

25.7.4 private 필드 정의 제안

 

자바스크립트에서는 private, public, protected 키워드와 같은 접근 제한자가 지원되지 않기 때문에, 인스턴스 프로퍼티는 인스턴스를 통해 클래스 외부에서 언제나 참조할 수 있는 public이다.(클래스 필드도 마찬가지)

 

다행히도 2021년 1월 기준으로, TC39 프로세스의 stage 3에는 private 필드를 정의할 수 있는 새로운 표준사양이 제안되어 있다.

 

class Person {
  #name = "";
  
  constructor(name) {
    // private 필드 참조
    this.#name = name;
  }
}

const me = new Person("lee");
console.log(me.#name);;
// SyntaxError: Private field '#name' must be declared in ana enclosing class

위 예제와 같이 private 필드 선두에는 #을 붙여주고, private 필드를 참조할 때도 #을 붙여주어야 한다.

 

public 필드는 어디서든 참조할 수 있지만, private 필드는 클래스 내부에서만 참조할 수 있다.(자식 클래스 내부에서도 접근 불가) 대신, 접근자 프로퍼티를 통해 간접적으로 접근하는 방법은 유효하다.

 

private 필드는 반드시 클래스 몸체에 정의해야 하고, private 필드를 직접 constructor에 정의하면 에러가 발생한다.


25.7.5 static 필드 정의 제안

 

클래스에서는 static 키워드를 사용하여 정적 메서드를 정의할 수 있지만, static 키워드를 사용해서 정적 필드를 정의할 수는 없었다.

 

하지만, 새로운 표준 사양인 "Static class features"가 2021년 1월 기준으로 TC39 프로세스의 stage3 에 제안되어 있고 최신 브라우저(Chrome 72 이상)와 최신 Node.js(버전 12 이상)에는 이미 구현되어 있다.


25.8 상속에 의한 클래스 확장

 

상속에 의한 클래스 확장은 기존 클래스를 상속받아 새로운 클래스를 확장하여 정의하는 것이다.

class Animal {
  constructor(age, weight) {
    this.age = age;
    this.weight = weight;
  }
  
  eat() { return "eat"; }
  
  move() { return "move"; }
}

// 상속을 통해 Animal 클래스를 확장한 Bird 클래스
class Bird extends Animal {
  fly() { return "fly" }
}

const bird = new Bird(1,5);

console.log(bird) // Bird {age:1, weight:5}
console.log(bird instanceof Bird) // true
console.log(bird instanceof Animal) // true

console.log(bird.eat()) // eat
console.log(bird.fly()) // fly

* 클래스와 달리 생성자 함수는 상속을 통해 다른 생성자 함수를 확장할 수 있는 문법이 제공되지 않기 때문에, 의사 클래스 상속 패턴을 사용하여 클래스 확장을 흉내 내기도 했다.(권장하지 않는 방법)


25.8.2 extends 키워드

 

extends 키워드를 사용하여 상속받은 클래스를 정의할 수 있다. 상속을 통해 확장된 클래스를 서브 클래스라 부르고 서브클래스에게 상속된 클래스를 수퍼클래스라 부른다.

// 수퍼(베이스/부모) 클래스
class Base {}

// 서브(파생/자식) 클래스
class Derived extends Base {}

 

수퍼클래스와 서브클래스는 인스턴스의 프로토타입 체인뿐 아니라 클래스 간의 프로토타입 체인도 생성하기 때문에, 프로토타입 메서드, 정적 메서드 모두 상속이 가능하다.


25.8.3 동적 상속

 

extends 키워드는 클래스뿐만 아니라 생성자 함수를 상속받아 클래스를 확장할 수도 있으나, extends 키워드 앞에는 반드시 클래스가 와야 한다.

 

extends 키워드 다음에는 클래스뿐만 아니라 [[Construct]] 내부 메서드를 갖는 함수 객체로 평가될 수 있는 모든 표현식을 사용할 수 있다. 이를 통해 동적으로 상속받을 대상을 결정할 수 있다.

function Base1 () {}

class Base2 {}

let condition = true;

class Derived extends (condition ? Base1 : Base2) {}

const derived = new Derived();

console.log(derived instanceof Base1); // true;
console.log(derived instanceof Base2); // false

 

25.8.4 서브클래스의 constructor

 

클래스에서 constructor를 생략하면 클래스에는 비어있는 constructor가 암묵적으로 정의된다.

super()는 수퍼클래스의 constructor를 호출하여 인스턴스를 생성한다.

// 수퍼 클래스
class Base{}

// 서브 클래스
class Derived extends Base {}
-------------------------------

class Base {
  constructor() {}
}

class Derived extends Base {
  constructor(...args) { super(...args); }
}
  
const derived = new Derived();
console.log(derived); // Derived {}

25.8.5 super 키워드

 

super 키워드는 함수처럼 호출할 수도 있고 this와 같이 식별자처럼 참조할 수 있는 특수한 키워드다.

 

1. super를 호출하면 수퍼클래스의 constructor를 호출한다.

2. super를 참조하면 수퍼클래스의 메서드를 호출할 수 있다.

 

super 호출

super를 호출하면 수퍼클래스의 constructor를 호출한다.

 

만약 수퍼클래스의 constructor 내부에서 추가한 프로퍼티를 그대로 갖는 인스턴스를 생성한다면 서브클래스의 constructor를 생략할 수 있고, new 연산자와 함께 서클래스를 호출하면서 전달한 인수는 모두 서브클래스에 암묵적으로 정의된 constructor의 super 호출을 통해 수퍼 클래스의 constructor에 전달된다.

 

* super를 호출할 때 주의사항

1. 서브클래스에서 constructor를 생략하지 않는 경우 서브클래스의 constructor에서는 반드시 super를 호출해야 한다.

2. 서브클래스의 constructor에서 super를 호출하기 전에는 this를 참조할 수 없다.

3. super는 반드시 서브클래스의 constructor에서만 호출된다. 서브클래스가 아닌 클래스의 constructor나 함수에서 super를 호출하면 에러가 발생한다.

 

super 참조

메서드 내에서 super를 참조하면 수퍼클래스의 메서드를 호출할 수 있다.

 

1. 서브클래스의 프로토타입 메서드 내에서 super.sayHi 수퍼 클래스의 프로토타입 메서드 sayHi를 가리킨다.

class Base {
  constructor(name) {
    this.name = name;
  }
  
  sayHi() {
    return `Hi ${this.name}`;
  }
}

class Derived extends Base {
  sayHi() {
    return `${super.sayHi()}`
  }
}

const derived = new Derived("lee");
console.log(derived.sayHi();) // Hi lee

2. 서브클래스의 정적 메서드 내에서 super.sayHi는 수퍼클래스의 정적 메서드 sayHi를 가리킨다.

class Base {
  static sayHi() {
    return "Hi";
  }
}

class Derived extends Base {
  static sayHi() {
    // super.sayHi는 수퍼클래스의 정적 메서드를 가리킨다.
    return `${super.sayHi()} hello`;
  }
}

console.log(Derived.sayHi()); // "Hi hello"

25.8.6 상속 클래스의 인스턴스 생성 과정

 

class Rectangle {
  constructor(width, height) {
    this.width = width;
    this.height = height;
  }
  
  getArea() {
    return this.width * this.height;
  }
  
  toString() {
    return `width = ${this.width}, height = ${this.height}`;
  }
}

class ColorRectangle extends Rectangle {
  constructor(width, height, color) {
    super(width, height);
    this.color = color;
  }
  
  // 메서드 오버라이딩
  toString() {
    return super.toString() + `color = ${this.color}`;
  }
}

const colorRectangle = new ColorRectangle(2, 4, "red");
console.log(colorRectangle); // ColorRectangle { width : 2, height : 4, color : "red" }

console.log(ColorRectangle.getArea()); // 8
console.log(ColorRectangle.toString()); // width = 2, height = 4, color = "red"

1. 서브클래스의 super 호출

자바스크립트 엔진은 클래스를 평가할 때 수퍼클래스와 서브클래스를 구분하기 위해 "base" 또는 "derived"를 값으로 갖는 내부 슬롯 [[ConstructorKind]]를 갖는다. 다른 클래스를 상속받는 서브클래스는 내부 슬록 [[ConstructorKind]]의 값이 "derived"로 설정된다.

 

서브 클래스는 자신이 직접 인스턴스를 생성하지 않고 수퍼클래스에게 인스턴스 생성을 위임한다.(서브클래스의 constructor에서 반드시 super를 호출해야 하는 이유)

 

2. 수퍼클래스의 인스턴스 생성과 this 바인딩

수퍼클래스의 constructor 내부의 코드가 실행되기 이전에 암묵적으로 빈 객체를 생성하고, 이 빈 객체에 this가 바인딩된다. 즉, 수퍼클래스의 constructor 내부의 this는 생성된 인스턴스를 가리킨다.

 

class Rectangle {
  constructor(width, height) {
    // 암묵적으로 빈 객체, 즉 인스턴스가 생성되고 this가 바인딩
    console.log(this); // ColorRectangle {}
    // new 연산자와 함께 호출된 함수, 즉 new.target은 ColorRectangle이다.
    console.log(new.target); // ColorRectangle

하지만, new 연산자와 함께 호출된 클래스는 서브클래스이기 때문에 인스턴스는 new.target이 가리키는 서브클래스가 생성한 것으로 처리된다.

 

따라서, 생성된 인스턴스의 프로토타입은 수퍼클래스의 prototype 프로퍼티가 가리키는 객체가 아니라 new.target, 즉 서브클래스의 prototype 프로퍼티가 가리키는 객체다.

 

3. 수퍼클래스의 인스턴스 초기화

수퍼클래스의 constructor가 실행되어 this에 바인딩되어 있는 인스턴스를 초기화한다. 즉 this에 바인딩되어 있는 인스턴스에 프로퍼티를 추가하고 constructor가 인수로 전달받은 초기값으로 인스턴스의 프로퍼티를 초기화한다.

 

4. 서브클래스 constructor로의 복귀와 this 바인딩

super 호출이 종료되면 제어흐름은 서브클래스의 constructor로 돌아온다.

 

이때, super가 반환한 인스턴스가 this에 바인딩되고, 서브클래스는 별도의 인스턴스를 생성하지 않고 super가 반환한 인스턴스를 this에 바인딩하여 그대로 사용한다.


5. 서브클래스의 인스턴스 초기화

super 호출 이후, 서브클래스의 constructor에 기술되어 있는 인스턴스 초기화가 실행된다. 

 

6. 인스턴스 반환

클래스의 모든 처리가 끝나면 완성된 인스턴스가 바인딩된 this가 암묵적으로 반환된다.


25.8.7 표준 빌트인 생성자 함수 확장


extends 키워드 다음에는 클래스뿐만 아니라 [[Construct]] 내부 메서드를 갖는 함수 객체로 평가될 수 있는 모든 표현식을 사용할 수 있다.

 

이때, 서브 클래스가 반환하는 인스턴스의 메서드는 서브클래스의 인스턴스를 반환한다.

class MyArray extends Array {

  uniq() {
    return this.filter((v, i, self) => self.indexOf(v) === i);
  }
  
  average() {
    return this.reduce((pre, cur) => pre + cur, 0) / this.length;
  }
}

const myArray = new MyArray(1, 1, 2, 3);
console.log(myArray); // MyArray(4) [1, 1, 2, 3]

// MyArray.prototype.uniq 호출
console.log(myArray.uniq()); // MyArray(3) [1, 2, 3]

// MyArray.prototype.average 호출
console.log(myArray.average()); // 1.75


// filter 메서드가 반환하는 배열은 MyArray 클래스의 인스턴스를 반환한다.
console.log(myArray.filter(v => v% 2) instanceof MyArray); // true

 

따라서, 메서드 체이닝을 사용할 수도 있다.

console.log(myArray.filter(v => v % 2).uniq().average());

이웅모 님의〔 모던 자바스크립트 Deep Dive 〕책을 공부하며 정리했습니다.