13장 스코프

13.1 스코프란?(13-01)

  • 스코프는 식별자가 유효한 범위를 의미

  • 스코프(유효범위)는 var키워드와 let, const키워드랑 차이가 있다는점을 먼저 인지하고 들어가겠다

  • 아래는 앞서 배운 매개변수의 스코프이다

function add(x, y) {
  // 매개변수는 함수 몸체 내부에서만 참조할 수 있다.
  // 즉, 매개변수의 스코프(유효범위)는 함수 몸체 내부다.
  console.log(x, y); // 2 5
  return x + y;
}

add(2, 5);

// 매개변수는 함수 몸체 내부에서만 참조할 수 있다.
console.log(x, y); // ReferenceError: x is not defined

13-02

var var1 = 1; // 코드의 가장 바깥 영역에서 선언한 변수

if (true) {
  var var2 = 2; // 코드 블록 내에서 선언한 변수
  if (true) {
    var var3 = 3; // 중첩된 코드 블록 내에서 선언한 변수
  }
}

function foo() {
  var var4 = 4; // 함수 내에서 선언한 변수

  function bar() {
    var var5 = 5; // 중첩된 함수 내에서 선언한 변수
  }
}

console.log(var1); // 1
console.log(var2); // 2
console.log(var3); // 3
console.log(var4); // ReferenceError: var4 is not defined
console.log(var5); // ReferenceError: var5 is not defined

13-03

  • 전역 스코프와 foo 함수 스코프로 따로 x가 생성돼서 이름이 동일한 식별자이지만 스코프가 다른 별개의 변수다
var x = 'global';

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

foo();

console.log(x); // ② global

13-04

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

13-05

  • let, const 키워드는 같은 스코프 내에서 중복 선언을 허용하지 않음
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.3.1 스코프 체인에 의한 변수 검색

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

  • 왜냐? 자신의 스코프에서 상위 스코프 방향으로 이동하며 검색하기 때문

13.3.2 스코프 체인에 의한 함수 검색(13-06)

  • 전역 스코프를 갖는 전역 변수는 어디서든지 참조가능

  • 지역 스코프를 갖는 지역 변수는 자신의 스코프와 하위 지역 스코프에서 유효

  • 엔진은 스코프 체인을 통해 참조함 변수를 검색(계층구조) 지역->전역으로 자신에서 상위로 검색함(상속과 유사)

  • 즉, 스코프 체인은 실행 컨텍스트의 렉시컬 환경을 단방향으로 연결한것

  • 함수도 식별자에 할당되므로 스코프를 갖는다

// 전역 함수
function foo() {
  console.log('global function foo');
}

function bar() {
  // 중첩 함수
  function foo() {
    console.log('local function foo');
  }

  foo(); // ① local function foo
}

bar();

13.4 함수 레벨 스코프(13-07)

  • 블록 레벨 스코프 : C, JAVA등 대부분 함수 몸체만이 아니라 모든 코드 블록을 지역 스코프로 만듬

  • 함수 레벨 스코프 : var키워드로 선언된 변수는 오로지 함수의 코드 블록만을 지역 스코프로 인정

var x = 1;

if (true) { // => 블록 레벨 스코프
  // var 키워드로 선언된 변수는 함수의 코드 블록(함수 몸체)만을 지역 스코프로 인정한다.
  // 함수 밖에서 var 키워드로 선언된 변수는 코드 블록 내에서 선언되었다 할지라도 모두 전역 변수다.
  // 따라서 x는 전역 변수다. 이미 선언된 전역 변수 x가 있으므로 x 변수는 중복 선언된다.
  // 이는 의도치 않게 변수 값이 변경되는 부작용을 발생시킨다.
  var x = 10;
}

console.log(x); // 10

13-08

  • var의 단점이 드러난다

  • 이를 해결한 15장 “let, const 키워드와 블록 레벨 스코프”에서 자세히 살펴보자

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 렉시컬 스코프(13-09)

  • 동적 스코프 : 함수 호출 위치 렉시컬 스코프(=정적 스코프) : 함수 정의 위치(대부분 언어들)

  • 동적은 bar()의 상위스코프는 지역foo() 전역 스코프 렉시컬은 bar()의 상위스코프는 전역 스코프

  • 렉시컬 스코프는 클로저와 깊은관계(24장 “클로저”)

var x = 1;

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

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

foo(); // ? 1 동적이라면 10
bar(); // ? 1            1

댓글남기기

참고