seeyoujeong blog

프로그래밍 언어에서 스코프는 변수와 함수의 유효 범위를 의미합니다.

변수와 함수는 자신이 선언되는 위치에 의해 스코프가 결정되며 위치에 따라 전역 혹은 지역 스코프를 갖습니다.

변수와 함수의 상위 스코프가 결정되는 방식에는 렉시컬 스코프와 동적 스코프가 있습니다.

렉시컬 스코프 (정적 스코프)

변수와 함수의 유효 범위가 코드를 작성할 때 결정되며 어디서 정의했는지에 따라 상위 스코프가 정해집니다.

동적 스코프

변수의 유효 범위가 함수를 호출하는 시점에 따라 동적으로 결정됩니다.

자바스크립트는 스크립트 언어로 분류되며 위에서 아래로 한줄씩 처리된다고 알려져 있습니다.

실제로 최신 자바스크립트 엔진은 프로그램을 처리할 때 수많은 종류의 컴파일러와 인터프리터를 사용합니다.

컴파일러가 소스 코드를 평가하는 과정에서 변수, 함수 등의 선언문만 먼저 실행하고 스코프 매니저를 통해 스코프에 식별자를 등록합니다. 이때 스코프가 정해지게 됩니다.

그러나 언제나 예외는 존재한다…

전역 스코프는 런타임에 프로그램을 구성하는 코드 조각들이 어디에 있는지, 그리고 각 코드 조각이 어떤 방식으로 다른 코드 조각에 접근해 협력하는지 관여합니다.

기본 자바스크립트 내장 기능 혹은 호스트 환경의 내장 기능을 사용할 때 전역 스코프를 사용합니다.

특징

ES 모듈의 최상위 레벨 스코프에서 선언된 변수는 전역 변수가 되지 않고 모듈 스코프의 변수가 됩니다.

모듈에서는 최상위 레벨의 선언을 프로퍼티로 추가할 수 있는 모듈 스코프 객체를 지원하지 않습니다. 이 말은 모듈 내 최상위 레벨에서 변수를 선언하면 전역 변수가 생성되지 않는다는 의미입니다.

var, function으로 선언한 변수 혹은 함수는 함수 선언식, 화살표 함수 블록을 지역 스코프로 인정하는 함수 스코프를 따릅니다.

let, const로 선언한 변수는 모든 코드 블록(함수, if 문, for 문, while 문, try/catch 문 등)을 지역 스코프로 인정하는 블록 스코프를 따릅니다.

모든 중괄호 쌍이 항상 블록 스코프를 생성하는 건 아닙니다.

명시적으로 블록을 만들어도 내부에 선언이 없으면 스코프를 만들지 않습니다.

단순한 매개변수일 경우 함수 스코프에 속합니다.

단순하지 않은 매개변수일 경우 자체 스코프를 형성하고 함수 스코프는 매개변수 스코프에 중첩됩니다.

단순하지 않은 매개변수의 예로 기본값이 있는 매개변수, 나머지 매개변수, 비구조화 매개변수가 있습니다.

기본값이 있는 매개변수

기본값이 있는 매개변수(함수 표현식)

비구조화 매개변수

funcName 식별자(함수명, 변수)가 서로 다른 스코프에 있기 때문에 재선언이 섀도잉으로 처리됩니다.