[모던 자바스크립트 딥다이브] 24장 클로저

렉시컬 스코프

• 자바스크립트 엔진은 함수를 어디에 정의했는지에 따라 상위 스코프를 결정하고 이를 렉시컬 스코프라고 함
• 렉시컬  환경의 "외부 렉시컬 환경에 대한 참조"에 저장할 참조값, 즉 상위 스코프에 대한 참조는 함수 정의가 평가되는 시점에 함수가 정의된 환경(위치)에 의해 결정됨

 

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

• 함수는 자신의 내부 슬롯 [[Environment]]에 자신이 정의된 환경, 즉 상위 스코프의 참조를 저장함
• 함수는 자신의 내부 슬롯 [[Environment]]에 저장한 상위 스코프를 자신이 존재하는 한 기억함
• 함수 렉시컬 환경의 구성 요소인 외부 렉시컬 환경에 대한 참조에는 함수는 자신의 내부 슬롯 [[Environment]]에 저장된 렉시컬 환경의 참조가 할당됨!

 

클로저와 렉시컬 환경

• 외부 함수보다 중첩 함수가 더 오래 유지되는 경우 중첩 함수는 이미 생명 주기가 종료한 외부 함수의 변수를 참조할 수 있음
• 이러한 중첩 함수를 클로저 라고함
• 클로저는 함수와 그 함수가 선언된 렉시컬 환경과의 조합

const x = 1;

function outer() {
	const x = 10;
    const inner = function () { console.log(x);};
    return inner;
}

// outer 함수를 호출하면 중첩 함수 inner를 반환
// 그리고 outer 함수의 실행 컨텍스트는 실행 컨텍스트 스택에서 pop 되어 제거됨
const innerFunc = outer();
innerFunc(); // 10;

• outer 함수의 실행 컨텍스트는 실행 컨텍스트 스택에서 제거되지만 outer 함수의 렉시컬 환경까지 소멸되는 것은 아님
• outer 함수의 렉시컬 환경은 inner 함수에 의해 참조되고 있고, inner 함수 또한 innerFunc에 의해 참조되고 있으므로 가비지 컬렉션의 대상이 되지 않기 때문

 

클로저의 활용

• 클로저는 상태를 안전하게 은닉하고 특정 함수에게만 상태 변경을 허용하기 위해 사용함
• 외부 상태 변경이나 가변 데이터를 피하고 불변성을 지향하는 함수형 프로그래밍에서 부수 효과를 최대한 억제하여 오류를 피하고 프로그램의 안정성을 높이기 위해 클로저는 적극적으로 사용됨

const counter = (function() {
	let num = 0;
    
    return {
    	increase() {
        	return num++;
        },
        decrease() {
        	return num > 0 ? --num : 0;
        }
    };
}());

 

 

캡슐화와 정보 은닉

• 캡술화 : 객체의 상태를 나타내는 프로퍼티와 프로퍼티를 참조하고 조작할 수 있는 동작인 메서드를 하나로 묶는 것
• 정보 은닉
  • 캡슐화를 객체의 측정 프로퍼티나 메서드를 감출 목적으로 사용할 때
  • 외부에 공개할 필요가 없는 구현의 일부를 외부에 공개되지 않도록 감추어 적절치 못한 접근으로부터 객체의 상태가 변경되는 것을 방지해 정보 보호
  • 객체 간의 상호 의존성인 결합도를 낮춤