this

들어가기에 앞서.. < 객체, 프로퍼티, 메서드 >
이전에 객체지향 프로그래밍에서 살펴보았듯이 객체(Object)는 상태(State)를 나타내는 프로퍼티(Property)와 동작(Behavior)을 나타내는 메서드(Method)를 하나의 논리적인 단위로 묶은 복합적인 자료구조다.

모던 자바스크립트 Deep Dive 22장 this에 대해서 공부해보겠습니다!

this 키워드

동작을 나타내는 메서드는 자신이 속한 객체의 상태, 즉 프로퍼티를 참조하고 변경할 수 있어야 한다. 이때 메서드가 자신이 속한 객체의 프로퍼티를 참조하려면 먼저

자신이 속한 객체를 가리키는 식별자를 참조할 수 있어야 한다.

객체 리터럴 방식

객체 리터럴 방식으로 생성한 객체의 경우 메서드 내부에서 메서드 자신이 속한 객체를 가리키는 식별자를 재귀적으로 참조할 수 있다.

const circle = {
  radius: 5,
  // 프로퍼티: 객체 고유의 상태 데이터
  
  getDiameter() {
    // 메서드: 상태 데이터를 참조하고 조작하는 동작
    
    return 2 * circle.radius;
    // 이 메서드가 자신이 속한 객체의 프로퍼티와 다른 메서드를 
    // 참조하려면 자신이 속한 객체인 circle을 참조할 수 있어야 한다.
  }
};

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

getDiameter 메서드 내에서 메서드 자신이 속한 객체를 가리키는 식별자 circle을 참조하고 있다. 이 참조 표현식이 평가되는 시점은 getDiameter 메서드가 호출되어 함수 몸체가 실행되는 시점이다.

위 예제의 객체 리터럴은 circle 변수에 할당되기 직전에 평가된다. 따라서 getDiameter 메서드가 호출되는 시점에는 이미 객체 리터럴의 평가가 완료되어 객체가 생성되었고 circle 식별자에 생성된 객체가 할당된 이후다. 따라서 메서드 내부에서 circle 식별자를 참조할 수 있다.

하지만 자기 자신이 속한 객체를 재귀적으로 참조하는 방식은 일반적이지 않고 올바르지 않다.

=> 이미 눈치 챘을지 모르지만 객체 리터럴 방식으로 생성한 객체의 경우 자기 자신이 속한 객체를 재귀적으로 참조하면 되어 바람직하진 않지만 this가 무조건적으로 필요한건 아니다. 그렇다면 this 식별자가 꼭 있어야 하는 경우는?

생성자 함수 방식

생성자 함수 방식으로 인스턴스를 생성하는 경우를 보자

function Circle(radius) {
  ????.radius = radius;
  // 이 시점에는 생성자 함수 자신이 생성할 인스턴스를 가리키는
  // 식별자를 알 수 없다.
}

Circle.prototype.getDiameter = function () {
  return 2 * ????.radius;
  // 위와 마찬가지로 이 시점에서도 생성자 함수 자신이 생성할
  // 인스턴스를 가리키는 식별자를 알 수 없다.
};

const circle = new Circle(5);
// 생성자 함수로 인스턴스를 생성하려면 먼저 생성자 함수를 정의해야한다.

생성자 함수 내부에서는 프로퍼티 또는 메서드를 추가하기 위해 자신이 생성할 인스턴스를 참조할 수 있어야 한다. 하지만 생성자 함수에 의한 객체 생성 방식은 먼저 생성자 함수를 정의한 이후 new 연산자와 함께 생성자 함수를 호출하는 단계가 추가로 필요하다. ( 뒤에 다시 나오지만, new 연산자가 없다면 일반 함수 호출이 되어버림을 기억 )

다시 말해, 생성자 함수로 인스턴스를 생성하려면 먼저 생성자 함수가 존재해야 한다.

생성자 함수를 정의하는 시점에는 아직 인스턴스를 생성하기 이전이므로 생성자 함수가 생성할 인스턴스를 가리키는 식별자를 알 수 없다. 따라서 자신이 속한 객체 또는 자신이 생성할 인스턴스를 가리키는 특수한 식별자가 필요하다. 이를 위해 자바스크립트는 this라는 특수한 식별자를 제공한다.

this는 자신이 속한 객체 또는 자신이 생성할 인스턴스를 가리키는 자기 참조 변수(self-referencing variable)이다. this를 통해 자신이 속한 객체 또는 자신이 생성할 인스턴스의 프로퍼티나 메서드를 참조할 수 있다.

this는 자바스크립트 엔진에 의해 암묵적으로 생성되며(따로 생성하는 과정이 필요하지 않다), 코드 어디서든 참조할 수 있다.

단, this가 가리키는 값, 즉 this 바인딩은 함수 호출 방식에 의해 동적으로 결정된다.

"코드 어디서든 참조할 수 있다"
=> "어디서든 참조는 가능하다, 하지만 그 값은 보장할 수 없다" 라고 이해

this 바인딩
바인딩이란 식별자와 값을 연결하는 과정을 의미한다. 예를 들어 변수 선언은 변수 이름(식별자)과 메모리 공간의 주소를 바인딩하는 것이다. this 바인딩은 this(키워드로 분류되지만 식별자 역할을 한다)와 this가 가리킬 객체를 바인딩하는 것이다.

위의 두 예제를 this를 사용해 수정해보자

// 객체 리터럴 방식

const circle = {
  radius: 5,  
  getDiameter() {
    return 2 * this.radius;
    // 여기서 this는 아래의 circle을 의미한다.
    // => 메서드를 호출한 객체를 가리킨다.
  }
};

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

// 생성자 함수 방식

function Circle(radius) {
  this.radius = radius;
  // 여기서 this는 아래의 circle을 의미한다.
  // => 생성자 함수가 생성할(생성할 예정인, 미래의) 인스턴스를 가리킨다.
}

Circle.prototype.getDiameter = function () {
  return 2 * this.radius;
   // 여기서 this는 아래의 circle을 의미한다.
  // => 생성자 함수가 생성할(생성할 예정인, 미래의) 인스턴스를 가리킨다.
};

const circle = new Circle(5);

객체 리터럴의 메서드 내부에서의 this는 메서드를 호출한 객체, 즉 circle을 가리킨다.

생성자 함수 내부의 this는 생성자 함수가 생성할 인스턴스를 가리킨다.

이처럼 this는 상황에 따라 가리키는 대상이 다르다.

위에서 얘기했듯 this는 코드 어디에서든 참조 가능하다. 전역에서도 함수 내부에서도 참조할 수 있다.

console.log(this); // window
// this는 어디서든지 참조 가능하다.
// 전역에서 this는 전역 객체 window를 가리킨다.

function square(number) {
  console.log(this); // window
  // 일반 함수 내부에서 this는 전역 객체 window를 가리킨다.
  return number * number;
}
square(2);

const person = {
  name: "Lee",
  getName() {
    console.log(this); // {name : "Lee", getName: f}
    // 메서드 내부에서 this는 메서드를 호출한 객체를 가리킨다.
  }
};
console.log(person.getName()); // Lee

function Person(name) {
  this.name = name;
  console.log(this); // Person {name: "Lee"}
  // 생성자 함수 내부에서 this는 생성자 함수가 생성할 인스턴스를 가리킨다.
}
const me = new Person('Lee');

함수 호출 방식과 this 바인딩

this 바인딩(this에 바인딩될 값)은 함수 호출 방식, 즉 함수가 어떻게 호출되었는지에 따라 동적으로 결정된다.

< 렉시컬 스코프와 this 바인딩은 결정 시기가 다르다 >
함수의 상위 스코프를 결정하는 방식인 렉시컬 스코프는 함수 정의가 평가되어 함수 객체가 생성되는 시점에 상위 스코프를 결정한다. 하지만 this 바인딩은 함수 호출 시점에 결정된다.

동일한 함수도 다양한 방식으로 호출할 수 있다.

const foo = function () {
  console.dir(this);
}

// 1. 일반 함수 호출
foo(); // window
// foo 함수를 일반적인 방식으로 호출
// foo 함수 내부의 this는 전역 객체 window를 가리킨다.

// 2. 메서드 호출
const obj = { foo };
obj.foo(); // obj
// foo 함수를 프로퍼티의 값으로 할당하여 호출
// foo 함수 내부의 this는 메서드를 호출한 객체 obj를 가리킨다.

// 3. 생성자 함수 호출
new foo(); // foo {}
// foo 함수를 new 연산자와 함게 생성자 함수로 호출
// foo 함수 내부의 this는 생성자 함수가 생성한 인스턴스를 가리킨다.

일반 함수 호출

기본적으로 this에는 전역 객체(global object)가 바인딩된다.

function foo() {
  console.log("foo's this: ", this); // window
  
  function bar() {
  	console.log("bar's this: ", this); // window
  }
  bar();
}
foo();

전역 함수는 물론이고 중첩 함수를 일반 함수로 호출하면 함수 내부의 this에는 전역 객체가 바인딩된다.

어떠한 함수(중첩 함수, 콜백 함수 포함)라도 일반 함수로 호출되면 this에 전역 객체(window)가 바인딩된다.

메서드 호출

메서드 내부의 this에는 메서드를 호출한 객체, 즉 메서드를 호출할 때 메서드 이름 앞의 마침표(.) 연산자 앞에 기술한 객체가 바인딩된다.

주의할 것은 메서드 내부의 this는 메서드를 소유한 객체가 아닌 메서드를 호출한 객체에 바인딩된다는 것이다. (자주 헷갈림!!)

const person = {
  name: "Lee",
  getName() {
    return this.name;
    // 메서드 내부의 this는 메서드를 호출한 객체에 바인딩된다.
  }
};

// 메서드 getName을 호출한 객체는 person 이다.
console.log(person.getName()); // Lee

위 예제의 getName 메서드는 person 객체의 메서드로 정의되었다. 메서드는 프로퍼티에 바인딩된 함수다.

즉, person 객체의 getName 프로퍼티가 가리키는 함수 객체는 person 객체에 포함된 것이 아니라 독립적으로 존재하는 별도의 객체다. getName 프로퍼티가 함수 객체를 가리키고 있을 뿐이다.

따라서 getName 프로퍼티가 가리키는 함수 객체, 즉 getName 메서드는 다른 객체의 프로퍼티에 할당하는 것으로 다른 객체의 메서드가 될 수도 있고 일반 변수에 할당하여 일반 함수로 호출될 수도 있다.

const anotherPerson = {
  name: "Kim"
};

anotherPerson.getName = person.getName;
// getName 메서드를 anotherPerson 객체의 메서드로 할당

console.log(anotherPerson.getName()); // Kim
//getName 메서드를 호출한 객체는 anotherPerson 이다.

const getName = person.getName;
// getName 메서드를 변수에 할당

console.log(getName()); // ''
// getName 메서드를 일반 함수로 호출

// 일반 함수로 호출된 getName 함수 내부의 this.name은 
// 브라우저 환경에서 window.name과 같다.

메서드 내부의 this는 프로퍼티로 메서드를 가리키고 있는 객체와는 관계가 없고 메서드를 호출한 객체에 바인딩 된다.

생성자 함수 호출

생성자 함수 내부의 this에는 생성자 함수가 (미래에) 생성할 (생성할 예정인) 인스턴스가 바인딩된다.

// 생성자 함수
function Circle (radius) {
  // 생성자 함수 내부의 this는 생성자 함수가 생성할 인스턴스를 가리킨다.
  this.radius = radius;
  this.getDiameter = function() {
    return 2 * this.radius;
  };
}

const circle1 = new Circle(5);
// 반지름이 5인 Circle 객체를 생성

const circle2 = new Circle(10);
// 반지름이 10인 Circle 객체를 생성

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

이전에 생성자 함수 파트에서 살펴보았듯이, 생성자 함수는 이름 그대로 객체(인스턴스)를 생성하는 함수다. 일반 함수와 동일한 방법으로 생성자 함수를 정의하고 new 연산자와 함께 호출하며 해당 함수는 생성자 함수로 동작한다.

만약 new 연산자와 함께 생성자 함수를 호출하지 않으면 생성자 함수가 아니라 일반 함수로 동작한다.

const circle3 = Circle(15);
// new 연산자와 함께 호출하지 않으면 생성자 함수로 동작하지 않는다. 
// 즉, 일반적인 함수 호출이다.

console.log(circle3); // undefined
// 일반 함수로 호출된 Circle에는 반환문이 없으므로 암묵적으로 undefined를 반환한다.

console.log(radius); // 15
//일반 함수로 호출된 Circle 내부의 this는 전역 객체를 가리킨다.