# 10 클로저

2023.02.28

1. 클로저

✔ 클로저는 함수와 그 함수가 선언된 렉시컬 환경과의 조합이다.

1-1 렉시컬 스코프

✔ 자바스크립트 엔진은 함수를 어디서 호출했는지가 아니라 함수를 어디에 정의했는지에 따라 상위 스코프를 결정한다 = 렉시컬 스코프(정적 스코프)

✔ 렉시컬 환경의 "외부 렉시컬 환경에 대한 참조"에 저장할 참조값, 즉 상위 스코프에 대한 참조는 함수 정의가 평가되는 시점에 함수가 정의된 환경(위치)에 의해 결정된다.

const x = 1;
// foo와 bar 함수가 전역에서 정의
function foo(){
    const x = 10;
    bar();
}
function bar(){
    console.log(x);
}
foo(); // 1
bar(); // 1

1-2 함수 객체의 내부 슬롯 [[Environment]]

함수가 정의된 위치와 호출되는 위치는 다를 수 있다.
따라서 상위 스코프를 기억해야 한다.
-> 함수는 자신의 내부 슬롯 [[Environment]]에 자신이 정의된 환경, 즉 상위 스코프의 참조를 저장함

✔ 따라서 함수 객체의 내부 슬롯 [[Environment]]에 저장된 현재 실행 중인 실행 컨텍스트의 렉시컬 환경의 참조가 바로 상위 스코프다.
✔ 또한 자신이 호출되었을 때 생성될 함수 렉시컬 환경의 "외부 렉시컬 환경에 대한 참조"에 저장될 참조값이다.
✔ 함수 객체는 내부 슬롯 [[Environment]]에 저장한 렉시컬 환경의 참조, 즉 상위 스코프를 자신이 존재하는 한 기억한다.

1-3 클로저와 렉시컬 환경

✔ 외부 함수보다 중첩 함수가 더 오래 유지되는 경우 중첩 함수는 이미 생명 주기가 종료한 외부 함수의 변수를 참조할 수 있다. 이러한 중첩 함수를 클로저라고 함

const x = 1;
// #1
function outer(){
  const x = 10;
  const inner = function() { console.log(x); }; // #2
  return inner;
}
// outer 함수를 호출하면 중첩 함수 inner를 반환한다.
// 그리고 outer 함수의 실행 컨텍스트는 실행 컨텍스트 스택에서 팝되어 제거된다.
const innerFunc = outer(); // #3
innerFunc(); // 10

✔ outer 함수의 실행 컨텍스트는 실행 컨텍스트 스택에서 제거되지만 outer 함수의 렉시컬 환경까지 소멸하는 것은 아니다.
(outer 함수의 렉시컬 환경은 inner 함수의 [[Environment]] 내부 슬롯에 의해 참조되고 있고 inner 함수는 전역 변수 innerFunc에 의해 참조되고 있으므로 가바지 컬렉션의 대상이 되지 않음)

✔ 이론적으로 자바스크립트의 모든 함수는 상위 스코프를 기억하므로 모든 함수는 클로저이지만 실상은 그렇지 않다.
-> 상위 스코프의 어떤 식별자도 참조하지 않는 경우 대부분의 모던 브라우저는 최적화를 통해 상위 스코프를 기억하지 않음(참조하지도 않는 식별자를 기억하는 것은 메모리 낭비)
-> 외부 함수보다 일찍 소멸

✔ 클로저
- 중첩 함수가 상위 스코프의 식별자를 참조하고 있고 중첩 함수가 외부 함수보다 더 오래 유지되는 경우에 한정하는 것
- 자유 변수에 묶여있는 함수

✔ 자유 변수 - 클로저에 의해 참조되는 상위 스코프의 변수

1-4 클로저의 활용

✔ 클로저는 상태를 안전하게 변경하고 유지하기 위해 사용
✔ 상태를 안전하게 은닉하고 특정 함수에게만 상태 변경을 허용하기 위해 사용

// 카운트 상태 변경 함수
const increase = (function () {
  // 카운트 상태 변수
  let num = 0;
  // 클로저
  return function () {
    // 카운트 상태를 1만큼 증가시킨다.
    return ++num;
  };
}());
console.log(increase()); // 1
console.log(increase()); // 2
console.log(increase()); // 3

1-5 캡슐화와 정보 은닉

✔ 캡슐화 - 객체의 상태를 나타내는 프로퍼티와 프로퍼티를 참조하고 조작할 수 있는 동작인 메서드를 하나로 묶는 것
✔ 정보 은닉 - 외부에 공개할 필요가 없는 구현의 일부를 외부에 공개하지 않으므로 객체의 상태가 변경되는 것을 방지해 정보를 보호하고, 객체간의 상호 의존성(결합도)를 낮추는 효과

자바스크립트는 정보 은닉을 완전하게 지원하지 않음 -> 새로운 표준 사양이 제안됨