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

const x = 1;

function outerFunc() {
	const x = 10;
	
	function innerFunc() {
		console.log(x); // 10;
	}
	
	innerFunct();
}

outerFunc();

이렇게 innerFunc가 x변수에 접근할수있는이유는 자바스크립트가 렉시컬 스코프를 따르는 프로그래밍 언어이기 때문이다.

 

24.1 렉시컬 스코프

자바스크립트 엔진은 함수를 어디에 정의했는지에 따라 상위스코프를 결정한다.

이를 렉시컬 스코프(정적 스코프)라 한다.

const x = 1;

function foo() {
	const x = 10;
	bar();
}

function bar() {
	console.log(x);
}

foo();
bar();

 

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

함수가 정의될때 자신이 정의된 환경에서 상위 스코프를 기억해야한다. 이를 위해 자신의 내부슬롯 [[Environment]] 에 저장한다.

[위그림에서 1번]

foo함수와 bar함수는 모두 전역에서 함수 선언문으로 정의되었다.

전역 코드 평가 시점에 실행중인 실행 컨텐스트의 렉시컬환경인 전역 렉시컬 환경의 참조가 저장된다.

[위그림에서 2, 3번]

함수가 호출되면 함수 내부로 이동해서 함수 코드를 평가하기 시작한다.

  1. 함수 실행 컨텍스트 생성
  2. 함수 렉시컬 환경 생성
    1. 함수 환경 레코드 생성
    2. this 바인딩
    3. 외부 렉시컬 환경에 따른 참조 결정

이때 외부렉시컬 환경에 대한 참조에는 함수 객체의 내부 슬롯 [[Environment]]]] 에 저장된 렉시컬 환경의 참조가 할당된다.

 

24.3 클로저와 렉시컬 환경 — 중요!!

const x = 1;

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

const innerFunc = outer(); // 3번
innerFunc(); // 10 // 4번

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

 

outer 함수를 호출하면 outer 함수의 렉시컬환경이 생성되고 outer 함수 객체의 [[Environment]] 내부 슬롯에 저장된 전역 렉시컬 환경을 outer 함수 렉시컬 환경의 “외부 렉시컬 환경에 대한 참조” 에 할당한다.

 

그리고 중첩함수 inner가 평가된다. (2번 inner 함수는 함수 표현식으로 정의했기때문에 런타임으로 평가된다.)

이때 중첩함수 inner는 자신의 [[Environment]] 내부 슬롯에 현재 실행중인 실행 컨텍스트의 렉시컬 환경,

즉 outer함수의 렉시컬 환경을 상위 스코프로서 저장한다.

outer 함수의 실행이 종료하면 inner 함수를 반환하면서 outer 함수의 생명주기가 종료된다. (3번)

즉 outer 함수의 실행 컨텍스트가 실행 컨텍스트 스택에서 제거된다. 이때 outer 함수의 실행 컨텍스트는 실행 컨텍스트 스택에서 제거되지만 outer 함수의 렉시컬 환경까지 소멸되지 않는다.

 

outer 함수의 렉시컬 환경은 inner 함수의 [[Environment]] 내부 슬롯에 의해 참조되고 있고 inner 함수는 전역변수 innerFunc에 의해 참조되고 있으므로 가비지 컬렉션의 대상에 되지 않기 때문이다.

  • 가비지컬렉터는 누군가가 참조하고 있는 메모리 공간을 함부로 해제하지 않는다.

outer 함수가 반환한 inner함수를 호출( 4번) 하면 inner 함수의 실행컨텍스트가 생성되고 실행 컨텍스트 스택에 푸쉬된다. 그리고 렉시컬 환경의 외부 렉시컬 환경에대한 참조에는 inner 함수객체의 [[Environment]] 내부 슬롯

에 저장되어있는 참조값이 할당된다.

중첩함수 inner는 외부함수 outer보다 더오래생존했다.

이처럼 외부함수보다 더오래 생존한 중첩함수는 외부함수의 생존 여부와 상관없이 자신이 정의된 위치에 의해 결정된 상위 스코프를 기억한다.

 

 

그러면 모든함수는 상위스코프를 기억하므로 모든 함수는 클로저일까?

  • 예제1
<!DOCTYPE html>
<html>
<body>
	<script>
	function foo() {
		const x = 1;
		const y = 2;
		
		function bar() {
			const z = 3;
			
			debugger;
			console.log(z);
		}
		
		return bar;
	}
	const bar = boo();
	bar();
	</script>
</body>
</html>

상위스코프의 어던 식별자도 참조하지않는다.

메모리낭비로 상위스코프를 기억하지않는다. 클로저 x

 

  • 예제2
<!DOCTYPE html>
<html>
<body>
	<script>
	function foo() {
		const x = 1;

		function bar() {
			debugger;
			console.log(x);
		}
		bar();
	}
	foo();
	</script>
</body>
</html>

상위 스코프의 식별자를 참조하고있으므로 클로저다. 하지만 외부로 중첩함수 bar가 반환되지않는다.

외부함수보다 일찍소멸되지때문에 클로저의 본질에 부합하지 않는다.

 

  • 예제3
<!DOCTYPE html>
<html>
<body>
	<script>
	function foo() {
		const x = 1;
		const y = 2;

		// 클로저
		// 중첩함수 bar는 외부 함수보다 더 오래 유지되며 상위 스코프의 식별자를 참조한다.
		function bar() {
			debugger;
			console.log(x);
		}
		return bar();
	}
	
	const bar = foo();
	bar();
	</script>
</body>

 

24.4 클로저의활용

클로저는 상태를 안전하게 변경하고 유지하기 위해 사용한다.

다시말해 상태를 안전하게 은닉하고 특정함수에게만 상태 변경을 허용하기위해 사용한다.

  • 예제1
let num = 0;

const increase = function () {
	return ++num;
};

console.log(increase()); // 1
console.log(increase()); // 2
console.log(increase()); // 3

카운트 상태는 전역 변수를 통해 관리되서 누구나 접근할수있고 변경가능해서 x

  • 예제2
const increase = function () {
	let num = 0;
	return ++num;
};

console.log(increase()); // 1
console.log(increase()); // 1
console.log(increase()); // 1

지역변수이기때문에 쉽게 변경 x

  • 예제3
const increase = (function(){
	let num = 0;
	
	return function () {
		return ++num;
	};
}());

console.log(increase()); // 1
console.log(increase()); // 2
console.log(increase()); // 3

이처럼 클로저는 상태가 의도치 않게 변경되지 않도록 안전하게 은익하고 특정함수에게만 상태변경을 허용하여 상태를 안전하게 변경하고 유지하기 위해 사용한다.

 

'BOOK > 모던 자바스크립트 Deep Dive' 카테고리의 다른 글

46장 제너레이터와 async/await  (0) 2024.11.26
45장 프로미스  (0) 2024.11.26
19장 프로토타입  (1) 2024.11.12
20장 strict mode  (0) 2024.11.12
49장 Babel과 Webpack이용한 환경구축  (2) 2024.10.30

티스토리툴바