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

스코프란?

---

• 모든 식별자(변수 이름, 함수 이름, 클래스 이름 등)는 자신이 선언된 위치에 의해 다른 코드가 식별자 자신을 참조할 수 있는 유효범위가 결정된다. 이 유효범위를 스코프라고 한다.
• 스코프는 식별자가 유요한 범위를 말한다.

var x = 'global';

function foo() {
	var x = 'local';
	console.log(x);
}

foo(); // local

console.log(x); // global

-> 자바스크립트 엔진은 이름이 같은 두 개의 변수 중에서 어떤 변수를 참조해야할 것인지를 결정해야한다. 이를 식별자 결정이라 한다.

-> 자바스크립트 엔진은 스코프를 통해 어떤 변수를 참조해야 할 것인지 결정한다.

-> 스코프란 자바스크립트 엔진이 식별자를 검색할 때 사용하는 규칙이라고도 할 수 있다.

💡 "코드가 어디서 실행되며 주변에 어떤 코드가 있는지" 를 렉시컬 환경이라고 부른다. 즉, 코드의 문맥은 렉시컬 환경으로 이뤄진다.

스코프는 각자 고유한 영역을 가진다.

• 프로그래밍 언어에서는 스코프(유효범위)를 통해 식별자인 변수 이름의 충돌을 방지하여 같은 이름의 변수를 사용할 수 있게 한다.
• 스코프 내에서 식별자는 유일해야 하지만 다른 스코프에는 같은 이름의 식별자를 사용할 수 있다.
• 즉, 스코프는 네임스페이스다.

💡 이름공간 또는 네임스페이스(namespace)는 개체를 구분할 수 있는 범위를 나타내는 말로 일반적으로 하나의 이름 공간에서는 하나의 이름이 단 하나의 개체만을 가리키게 된다.

 

스코프의 종류

---

구분	설명	스코프	변수
전역	코드의 가장 바깥 영역	전역 스코프	전역 변수
지역	함수 몸체 내부	지역 스코프	지역 변수

• 변수는 자신이 선언된 위치에 의해 자신이 유효한 범위인 스코프가 결정된다.
• 전역에서 선언된 변수는 전역 스코프를 갖는 전역 변수이고, 지역에서 선언된 변수는 지역 스코프를 갖는 지역 변수다.

전역과 전역 스코프

• 전역이란 코드의 가장 바깥 영역을 말한다.
• 전역은 전역 스코프를 만든다.
• 전역에 변수를 선언하면 전역 스코프를 갖는 전역 변수가 된다.
• 전역 변수는 어디서든 참조할 수 있다.

지역과 지역 스코프

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

-> `inner` 함수 내부에서 `x`변수를 참조하면 전역 변수 `x`를 참조하는 것이 아니라 `inner` 함수 내부에서 선언된 x 변수를 참조한다.

-> 이는 자바스크립트 엔진이 스코프 체인을 통해 참조할 변수를 검색했기 때문이다.

 

스코프 체인

---

• 스코프가 계층적으로 연결된 것을 스코프 체인이라 한다.
• 함수 몸체 내부에서 정의한 함수를 중첩 함수, 중첨 함수를 포함하는 함수를 외부 함수라고 한다.
• 함수는 중첩될 수 있으므로 함수의 지역 스코프도 중첩될 수 있다. 이는 스코프가 함수의 중첩에 의해 계층적 구조를 갖는다는 것을 의미한다.

 

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

 

함수 레벨 스코프

---

• 지역은 코드 블록이 아닌 함수에 의해서만 지역 스코프가 생성된다.
• 대부분의 프로그래밍 언어는 함수 몸체 만이 아니라 모든 코드 블록 (`if`, `for`, `while`, `try/catch`) 이 지역 스코프를 만든다. -> 이러한 특성을 블록 레벨 스코프라 한다.
• `var` 키워드로 선언된 변수는 오로지 함수의 코드 블록(함수 몸체)만을 지역 스코프로 인정한다.

var x = 1;

if(true) {
	// var 키워드로 선언된 변수는 함수의 코드 블록만을 지역 스코프로 인정한다
	// 코드 블록 내에서 선언되어도 전역 변수다
	var x = 10;
}

console.log(x); // 10

-> `var` 키워드로 선언된 변수는 함수 레벨 스코프만 인정하기 때문에 함수 밖에서 `var` 키워드로 선언된 변수는 코드 블록 내에서 선언되었다 할지라도 모두 전역 변수다.

 

렉시컬 스코프

---

• 함수 정의가 평가되는 시점에 상위 스코프가 정적으로 결정되는 방식이다.

var x = 1;

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

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

foo()
bar()

-> 실행 결과는 `bar` 함수의 상위 스코프가 무언인지에 따라 결정된다.

① 함수를 어디서 호출했는지에 따라 함수의 상위 스코프를 결정한다.

• 이 방식을 동적 스코프라고 한다.
• 함수를 정의하는 시점에는 함수가 어디서 호출될지 알 수 없다.
• 함수가 호출되는 시점에 동적으로 상위 스코프를 결정한다.

② 함수를 어디서 정의했는지에 따라 함수의 상위 스코프를 결정한다.

• 이 방식을 렉시컬 스코프 또는 정적 스코프라고 한다.
• 상위 스코프가 동적으로 변하지 않고 함수 정의가 평가되는 시점에 상위 스코프가 정적으로 결정된다.
• 대부분의 프로그래밍 언어는 렉시컬 스코프를 따른다.

함수가 호출된 위치는 상위 스코프 결정에 어떠한 영향도 주지 않는다.

함수의 상위 스코프는 언제나 자신이 정의된 스코프다.

 

참고

---

모던 자바스크립트 Deep Dive : 네이버 도서