[JS] 스코프

1. 스코프(scope)란?

모든 식별자는 자신이 선언된 위치에 의해 다른 코드가 식별자 자신을 참조할 수 있는 유효범위가 결정된다. 즉, 스코프는 식별자가 유효한 범위이다. 

 

const x = 'global';

function foo() {
 const x = 'local';
 console.log(x); // 'local' 
 }
 
 foo();
 
 console.log(x); // 'global'

 

• 자바스크립트 엔진은 스코프를 통해 어떤 변수를 참조해야할 것인지 결정한다.
• 스코프란 자바스크립트 엔진이 식별자를 검색할 때 사용하는 규칙이라고 할 수 있다.
• 자바스크립트 엔진은 코드를 실행할 때 코드의 문맥을 고려한다. 어디서 실행되고 주변에 어떤 코드가 있는지에 따라 동일한 코드도 다른 결과를 만들어 낸다. 
• 스코프 내에서 식별자는 유일해야 하지만 다른 스코프에는 같은 이름의 식별자를 사용할 수 있다. 

 

2. 스코프의 종류

스코프의 종류는 전역(global)과 지역(local)로 구분된다. 

 

2.1 전역

• 코드 가장 바깥 영역
• 전역 스코프
• 전역 변수
• 전역에 변수를 선언하면 전역 스코프를 갖는 전역변수가 된다.
• 전역 변수는 어디서든지 참조할 수 있다.  ✨

 

2.2 지역

• 함수 몸체 내부
• 지역 스코프
• 지역 변수
• 지역에 변수를 선언하면 지역 스코프를 갖는 지역변수가 된다.
• 지역 변수는 자신의 지역 스코프와 하위 지역 스코프에서 유효하다. ✨

 

3. 스코프체인

모든 스코프는 하나의 계층적 구조로 연결되며 모든 지역 스코프의 최상위 스코프는 전역스코프다. 이렇게 스코프가 계층적으로 연결된 것을 스코프체인(scope chain)이라 한다. 

 

• 변수를 참조할 때 자바스크립트 엔진은 스코프 체인을 통해 변수를 참조하는 코드의 스코프에서 시작하여 상위 스코프 방향으로 이동하며 선언된 변수를 검색한다.
• 상위 스코프에서 선언한 변수를 하위 스코프에서도 참조할 수 있다. 단, 절대 하위 스코프로 내려가며 참조하는 일은 없다. 
• 즉, 상위 스코프에서 유효한 변수는 하위 스코프에서 자유롭게 참조할 수 있지만 하위 스코프에서 유효한 변수를 상위스코프에서 참조할 수 없다는 것이다. 
• 스코프 체인으로 연결된 스코프의 계층적 구조는 부자 관계로 이뤄진 상속과 유사하다. 

 

4. 렉시컬 스코프

 

const x = 1;

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

foo(); // 1
bar(); // 1

 

 

상위 스코프를 결정하는 패턴은 두가지이다. 

 

4.1 동적 스코프

• 함수를 어디에서 호출했는지에 따라 함수의 상위 스코프를 동적으로 결정
• 함수를 정의하는 시점에는 함수가 어디서 호출될지 알 수 없다.

 

4.2 렉시컬 스코프(정적 스코프)

• 함수를 어디서 정의했는지에 따라 함수의 상위 스코프를 정적으로 결정
• 함수가 호출된 위치는 상위 스코프 결정에 어떠한 영향도 주지 않는다. 
• 즉, 함수의 상위스코프는 언제나 자신이 정의된 스코프다.
• 자바스크립트를 비롯한 대부분의 프로그래밍 언어는 렉시컬 스코프를 따른다.

 

따라서 렉시컬 스코프이기 때문에 위 코드의 함수는 자신이 정의된 위치에서 상위 스코프를 결정했기 때문에 전역 스코프를 참조하여 값을 반환한다. 

 

 

 

📌 출처

모던 자바스크립트 Deep Dive(이웅모 저)