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

13.1 스코프란?

• 스코프: 식별자가 유효한 범위
  • 식별자: 변수 이름, 함수 이름, 클래스 이름 등
  • 유효한 범위: 식별자 자신을 참조할 수 있는 범위
  • 스코프 내에서 식별자는 유일해야 하지만 다른 스코프 내의 식별자 이름과는 같아도 된다.
    • 스코프는 네임스페이스다.
• 식별자 결정(identifier resolution): 이름이 같은 두 변수 중 어떤 변수를 참조할지 결정하는 과정
  • 스코프는 자바스크립트 엔진이 식별자를 결정할 때 사용하는 규칙이다.
• 렉시컬 환경(lexical environment): 코드가 어디서 실행되며 주변에 어떤 코드가 있는지
• 코드의 문맥(context): 렉시컬 환경으로 이루어짐

function foo() {
  var x = 1;
  // var 키워드로 선언된 변수는 같은 스코프 내에서 중복 선언을 허용한다.
  // 아래 변수 선언문은 자바스크립트 엔진에 의해 var 키워드가 없는 것처럼 동작한다.
  var x = 2;
  console.log(x); // 2
}
foo();

function bar() {
  let x = 1;
  // let이나 const 키워드로 선언된 변수는 같은 스코프 내에서 중복 선언을 허용하지 않는다.
  let x = 2; // SyntaxError: Identifier 'x' has already been declared
}
bar();

13.2 스코프의 종류

13.2.1 전역과 전역 스코프

• 전역: 코드의 가장 바깥 영역
• 전역 변수는 어디서든지 참조할 수 있다.

13.2.2 지역과 지역 스코프

• 지역: 함수 몸체 내부
• 지역 변수는 자신의 지역 스코프와 하위 지역 스코프에서 참조할 수 있다.

13.3 스코프 체인

• 스코프 체인: 스코프가 함수의 중첩 때문에 갖는 계층적 구조
• 변수를 참조할 때 자바스크립트 엔진은 스코프 체인을 통해 상위 스코프 방향으로 변수를 검색한다.
• 자바스크립트 엔진은 코드 실행 전 렉시컬 환경(자료 구조)을 생성
  • 변수 선언이 실행되면 변수 식별자가 렉시컬 환경에 키로 등록
  • 변수 검색은 렉시컬 환경에서 이루어짐
  • 스코프 체인은 실행 컨텍스트의 렉시컬 환경을 단방향으로 연결한 것

13.4 함수 레벨 스코프

• 블록 레벨 스코프: 모든 코드 블록이 지역 스코프를 생성
  • 코드 블록: 함수, if, for, while, try/catch 등
  • C나 자바 등

• 함수 레벨 스코프: 함수의 코드 블록만이 지역 스코프를 생성

  • var 키워드로 선언한 변수

  var x = 1;
  
  if (true) {
    // 이미 선언된 전역 변수 x가 있으므로 x 변수는 중복으로 선언된다.
    // 이는 의도치 않게 변수 값이 변경되는 부작용을 발생시킨다.
    var x = 10;
  }
  
  console.log(x); // 10
  

  var i = 10;
  
  // for 문에서 선언한 i는 전역 변수다.
  // 이미 선언된 전역 변수 i가 있으므로 중복으로 선언된다.
  for (var i = 0; i < 5; i++) {
    console.log(i); // 0 1 2 3 4
  }
  
  // 의도치 않게 변수의 값이 변경되었다.
  console.log(i); // 5
  

13.5 렉시컬 스코프

• 동적 스코프: 함수를 어디서 호출했는지에 따라 상위 스코프 결정

• 렉시컬 스코프 또는 정적 스코프: 함수를 어디서 정의했는지에 따라 상위 스코프 결정

  var x = 1;
  
  function foo() {
    var x = 10;
    bar();
  }
  
  function bar() {
    console.log(x);
  }
  
  foo(); // 1
  bar(); // 1
  

  • 함수의 상위 스코프는 언제나 자신이 정의된 스코프
  • 자바스크립트를 포함한 대부분의 프로그래밍 언어가 따름
• 자바스크립트 함수는 함수 정의가 실행되어 함수 객체를 생성할 때 렉시컬 스코프로 결정된 상위 스코프를 기억
  • 함수가 호출될 때마다 상위 스코프를 참조할 수 있게 됨