모던 자바스크립트 Deep Dive 스터디

13. 스코프

13.1 스코프란?

💡 다른 코드가 식별자 자신을 참조할 수 있는 유효 범위

let x = "global x";

function foo() {
  let x = "local x";
  console.log(x); //local x
}

foo();

위 예시에서, 전역 변수 x와 지역 변수 x가 있다.
자바스크립트 엔진은 스코프를 통해 어떤 변수를 참조해야 할 것인지 결정하는데, 이를 식별자 결정이라 한다.
따라서 스코프란 자바스크립트 엔진이 식별자를 검색할 때 사용하는 규칙이라고도 할 수 있다.

13.2 스코프의 종류

코드는 전역과 지역으로 구분할 수 있다.
이때 변수는 자신이 선언된 위치에 의해 스코프가 결정된다.

let x = "global x";

function foo() {
  let y = "local y";
  
  function bar() {
    let z = "local z";
  }
}

console.log(x); // global x
console.log(y); // ReferenceError
console.log(z); // ReferenceError

13.2.1 전역과 전역 스코프

위 예시에서 x는 전역 변수로, 어디서든지 참조할 수 있는 변수이다.

13.2.2 지역과 지역 스코프

위 예시에서 y와 z는 지역 변수로, 자신의 지역 스코프와 하위 지역 스코프에서 유효하다.

13.3 스코프 체인

함수는 전역에서 정의할 수도 있고 함수 몸체 내부에서 정의할 수도 있다.
함수 몸체 내부에서 정의한 함수를 중첩 함수, 중첩 함수를 포함하는 함수를 외부 함수라고 한다.

let x = "global x";

// 외부 함수
function foo() {
  let y = "local y";
  
  // 중첩 함수
  function bar() { 
    let z = "local z";
  }
}

console.log(x); // global x
console.log(y); // ReferenceError
console.log(z); // ReferenceError

함수가 중첩될 수 있다는 뜻은 스코프도 중첩될 수 있다는 뜻.
스코프는 함수의 중첩에 의해 계층적 구조를 갖는다. 스코프가 계층적으로 연결된 것을 스코프 체인이라 한다.

변수를 참조할 때 자바스크립트 엔진은 스코프 체인을 통해 변수를 참조하는 코드의 스코프에서 시작하여 상위 스코프 방향으로 이동하며 선언된 변수를 검색한다.

스코프 체인은 물리적인 실체로 존재한다.
자바스크립트 엔진은 코드를 실행하기에 앞서 렉시컬 환경을 실제로 생성한다.
변수 선언이 실행되면 변수 식별자가 렉시컬 환경에 키로 등록되고, 할당이 일어나면 해당 변수 식별자의 값을 변경한다.

13.3.1 스코프 체인에 의한 변수 검색

상위 스코프에서 유효한 변수는 하위 스코프에서 자유롭게 참조할 수 있지만, 하위 스코프에서 유효한 변수를 상위 스코프에서 참조할 수 없다.

13.3.2 스코프 체인에 의한 함수 검색

함수도 식별자에 할당되기 때문에 일반 변수와 다를 바 없다.

13.4 함수 레벨 스코프

💡 코드 블록이 아닌 함수에 의해서만 지역 스코프가 생성된다는 뜻.

var 키워드로 선언된 변수는 오로지 함수의 코드 블록만을 지역 스코프로 인정한다.
(let const를 사용하면 블록 레벨 스코프를 지원한다.)

for문에서 var를 사용하면 의도치 않은 변수 값 변경이 일어날 수 있다.

var i = 0;

for (var i = 0; i < 5; i++) {
  console.log(i);
}

console.log(i); // 5

13.5 렉시컬 스코프

💡 함수를 어디서 정의했는지에 따라 상위 스코프가 결정되는 방식을 렉시컬 스코프, 또는 정적 스코프라 한다.

let x = 1;

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

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

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

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