[모던 자바스크립트 Deep Dive] 13장 스코프

한 주에 최소 한 장! 밀리지 말자… 13장 레츠 고

 

스코프란?

: 식별자(변수 이름, 함수 이름, 클래스 이름 등)이 유효한 범위. 다른 코드가 식별자 자신을 참조할 수 있는 유효 범위.

: 변수는 자신이 선언된 위치에 의해 스코프가 결정된다.

 

 

스코프의 종류

전역

: 코드의 가장 바깥 영역을 전역이라고 하고, 전역에서 변수를 선언하면 전역 스코프를 갖는 전역 변수가 된다. 코드 어디서든지 참조할 수 있다.

지역

: 함수 몸체 내부를 말한다. 지역에서 선언된 지역 변수는 자신의 지역 스코프와 하위 스코프에서 유효하다.

inner 함수 안에 변수 x를 선언하고 전역에도 이름이 같은 변수 x가 존재할 때 inner함수 안에서 x를 참조하면 inner에서 선언된 지역변수 x를 참조하게 된다. 자바스크립트 엔진이 스코프 체인을 통해 참조할 변수를 검색하기 때문.

 

 

스코프 체인

var x = "global x";
var y = "global y";

function outer() {
	var z = "outer's local z";
	
	console.log(x);
	console.log(y);
	console.log(z);
	
	function inner() {
		var x = "inner' local x";
		
		console.log(x); // inner's local x
		console.log(y); // global y
		console.log(z); // outer's local z
	}
	
	inner();
	
}

outer();

console.log(x); // global x
console.log(z); // ReferenceError: z in not defined
	

 

코드 예시처럼 함수는 전역에서 정의할 수도 있고 함수 몸체 내부에서 정의할 수도 있다. 이때, 함수 몸체 내부에서 정의한 함수를 ‘중첩 함수nested function’이라고 하고, 중첩함수를 포함하는 함수를 ‘외부 함수outer function’이라고 한다. 이 경우 스코프는 함수의 중첩에 의해 계층 구조를 갖게 된다.

 

예시 스코프 체인

(최상위 스코프) 1️⃣ 전역 스코프 - x(”global x”), y(”global y”), outer ↑ 2️⃣ outer 지역 스코프 - z(”outer’s local z”), inner ↑ 3️⃣ inner 지역 스코프 - x(”inner’s local x”)

 

 

자바스크립트 엔진은 이런 스코프체인을 통해 변수를 참조하는 코드의 스코프에서 시작해서 상위로 이동하며 선언된 변수를 검색한다. (그래서 상위 스코프에서 선언한 변수를 하위 스코프에서도 참조할 수 있는 것이다)

자바스크립트 엔진은 코드를 실행하기에 전, 위의 스코프과 유사한 자료구조인 렉시컬 환경을 실제로 생성한다. 변수 선언이 실행되면 변수 식별자가 key로 등록되고, 변수 할당이 일어나면 해당 key의 값을 변경한다. 그리고 이 자료구조에서 변수의 검색이 이루어진다.

스코프 체인은 이 렉시컬 환경을 단방향으로 연결한 것이라고 보면 된다. 전역 렉시컬 환경은 코드가 로드되면 바로 생성되고, 함수 렉시컬 환경은 함수가 호출되면 생성된다.

 

 

함수 레벨 스코프

C나 Java 등 대부분의 프로그래밍 언어는 함수 몸체만이 아니라 모든 코드 블록(if, for, while 등)이 지역 스코프를 만든다. 이를 블록 레벨 스코프라고하는데, 자바 스크립트에서 var 키워드로 선언된 변수는 함수의 코드블록(함수 몸체)만을 지역 스코프로 인정하는 함수 레벨 스코프 특성을 가진다.

var x = 1;

if (true) {
	var x = 10;	// 전역변수 x가 된다. 중복 선언 되면서 의도치 않게 변수 x의 값이 변경되는 부작용이 발생한다.
}

console.log(x); // 10

 

ES6에서는 블록 레벨 스코프를 지원하는 let, const 키워드가 도입되었다. 웬만하면 let, const 키워드를 사용해 위의 부작용을 피해보자.

 

 

렉시컬 스코프

: 함수를 어디서 정의했는지에 따라 상위 스코프를 결정한다. 함수가 호출된 위치는 상위 스코프 결정에 어떤 영향도 주지 않는다. 정적(static) 스코프라고도 한다. 자바 스크립트는 이 렉시컬 스코프를 따른다. (이와 달리 동적(dynamic) 스코프는 함수를 어디서 호출했는지에 따라 상위 스코프를 결정한다.)

var x = 1;

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

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

foo();
bar();

 

만약 자바스트립트가 동적 스코프를 따랐다면 먼저 foo내에서 호출된 bar함수는 foo의 지역 스코프의 x(10)을 출력할 것이고 전역에서 호출된 bar함수는 x(1)을 출력할 것이다.

하지만 자바스크립트는 정적 스코프를 따르기 때문에 bar함수의 x는 언제나 자신이 정의된 스코프인 전역 스코프의 x(1)를 참조해 출력할 것이다.

전역에서 함수 선언문으로 정의된 함수는 전역 코드가 실행되기 전에 먼저 평가되어 함수 객체를 생성하고, 자신이 정의된 전역 스코프를 기억한다. 그리고 호출되면 자신이 기억하는 전역 스코프를 상위 스코프로 사용한다.