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(이웅모 저)