- 13.1 스코프란?
- 13.2 스코프의 종류
- 13.3 스코프 체인
- 13.3.1 스코프 체인의 의한 변수 검색
- 13.3.2 스코프 체인에 의한 함수 검색
- 13.4 함수 레벨 스코프
- 13.5 렉시컬 스코프
- 모든 식별자(변수 이름, 함수 이름, 클래스 이름 등)는 자신이 선언된 위치에 의해 다른 코드가 식별자 자신을 참조할 수 있는 유효 범위가 결정된다. → 식별자가 유효한 범위
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- 함수의 매개변수는 함수 몸체 내부에서만 참조할 수 있고 함수 몸체 외부에서는 참조할 수 없다.
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- 변수는 코드의 바깥 영역 뿐만 아니라 코드 블록이나 함수 몸체 내에서도 선언할 수 있다.
var x = 'global';
function foo() {
var x = 'local';
console.log(x); // ①
}
foo();
console.log(x); // ②- 이때 자바스크립트 엔진은 이름이 같은 두 개의 변수 중에서 어떤 변수를 참조해야 할 것인지 결정한다 → 식별자 결정
- 자바스크립트는 스코프를 통해 어떤 변수를 참조해야 할 것인지 결정 → 따라서 스코프란 자바스크립트 엔진이 식별자를 검색할 때 사용하는 규칙
- 스코프 내에서 식별자는 유일해야 하지만 다른 스코프에는 같은 이름의 식별자는 사용할 수 있다. → 네임스페이스
| 구분 | 설명 | 스코프 | 변수 |
|---|---|---|---|
| 전역 | 코드의 가장 바깥 영역 | 전역 스코프 | 전역 변수 |
| 지역 | 함수 몸체 내부 | 지역 스코프 | 지역 변수 |
- 변수는 자신이 선언된 위치에 의해 자신이 유효한 범위인 스코프를 결정
- 전역에서 선언된 변수는 전역 스코프를 갖는 전역 변수이고, 지역에서 선언된 변수는 지역 스코프를 갖는 지역 변수이다.
- 전역 변수는 어디서든지 참조할 수 있다.
- 지역이란 함수 몸체 내부를 말한다. 지역변수는 자신의 지역 스코프와 하위 지역 스코프에서 유효하다.
"💡 스코프가 계층적으로 연결된 것 = 스코프 체인"
- 함수는 중첩될 수 있으므로 함수의 지역 스코프도 중첩될 수 있다 → 스코프가 함수의 중첩에 의해 계층적 구조를 갖는다
- 모든 스코프는 하나의 계층적 구조로 연결, 모든 지역 스코프의 최상위 스코프는 전역 스코프이다.
- 변수를 참조할 때 자바스크립트 엔진은 스코프 체인을 통해 변수를 참조하는 코드의 스코프에서 시작하여 상위 스코프 방향으로 이동하며 선언된 변수를 검색한다.
→ 상위 스코프에서 선언한 변수를 하위 스코프에서도 참조할 수 있다.
- 상위 스코프에서 유효한 변수는 하위 스코프를 자유롭게 참조할 수 있지만 하위 스코프에서 유효한 변수는 상위 스코프에서 참조할 수 없다
// 전역 함수
function foo() {
console.log('global function foo');
}
function bar() {
// 중첩 함수
function foo() {
console.log('local function foo');
}
foo(); // ①
}
bar();- 함수도 식별자에 할당되기 때문에 스코프를 갖는다.
- 스코프를 “변수를 검색할 때 사용하는 규칙” 이라고 표현했지만
“식별자를 검색하는 규칙”이라고 표현하는 것이 더 적합
- 지역 = 함수 몸체 내부 → 코드 블록이 아닌 함수에 의해서만 지역 스코프가 생성된다 는 의미
var x = 1;
if (true) {
// var 키워드로 선언된 변수는 함수의 코드 블록(함수 몸체)만을 지역 스코프로 인정한다.
// 함수 밖에서 var 키워드로 선언된 변수는 코드 블록 내에서 선언되었다 할지라도 모두 전역 변수다.
// 따라서 x는 전역 변수다. 이미 선언된 전역 변수 x가 있으므로 x 변수는 중복 선언된다.
// 이는 의도치 않게 변수 값이 변경되는 부작용을 발생시킨다.
var x = 10;
}
console.log(x); // 10-
코드 블록(if, for, while, try/catch ..)이 지역 스코프를 만든다. → 블록 레벨 스코프
단, var 키워드로 선언된 변수는 오로지 함수의 코드 블록(함수 몸체)만을 지역 스코프로 인정한다. → 함수 레벨 스코프
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- i 변수는 전역 변수이기 때문에 중복 선언이 되어 전역 변수의 값이 재할당된다.
var x = 1;
function foo() {
var x = 10;
bar();
}
function bar() {
console.log(x);
}
foo(); // ?
bar(); // ?- 실행결과를 알기 위해서는 두 가지 패턴으로 예측할 수 있다
함수를 어디서 호출했는지에 따라 함수의 상위 스코프를 결정한다 함수를 어디서 정의했는지에 따라 함수의 상위 스코프를 결정한다.
① 함수를 어디서 호출했는지에 따라 함수의 상위 스코프를 결정한다
- bar 함수의 상위 스코프는 foo 함수의 지역 스코프와 전역 스코프일 것이다.
- 동적 스코프 : 함수가 호출되는 시점에 동적으로 상위 스코프를 결정하는 것
② 함수를 어디서 정의했는지에 따라 함수의 상위 스코프를 결정한다.
-
bar 함수의 상위 스코프는 전역 스코프일 것이다.
-
렉시컬 스코프, 정적 스코프 : 함수 정의가 평가되는 시점에 상위 스코프가 정적으로 결정되는 것
-
대부분의 프로그래밍 언어는 렉시컬 스코프를 따른다.
-
자바스크립트는 렉시컬 스코프를 따르므로 함수를 어디서 호출했는지가 아니라 함수를 어디서 정의했는지에 따라 상위 스코프를 결정한다. → 그래서 둘다 결과값이 ‘1’이다.
-
함수 정의가 실행되어 생성된 함수 객체는 이렇게 결정된 상위 스코프를 기억한다. 함수가 호출될 때마다 함수의 상위 스코프를 참조할 필요가 있기 때문이다.