날것 - let, const 키워드와 블록 레벨 스코프

개요

나는 var가 싫다
var를 패고싶다
왜 내가 var를 패고싶은지 지금부터 하나씩 알아보겠다

var 키워드로 선언한 변수의 문제점

변수 중복 선언 허용

이건 그럴수도 있다.
Python도 그렇고 허용되는 언어가 좀 있으니깐

var x = 1;
var y = 2;

var x = 100;
var y; // 초기화문이 없는 변수 선언문은 무시된다

console.log(x); // 100
console.log(y); // 2

초기화문이 없는 변수 선언문은 무시되는게 좀 골때리기는 하지만 그래도 뭐 이정도는 인정한다
아무든 var는 재할당이 가능하기 때문에 의도치않은 동작이 발생할 수 있어 조심해야한다.

왜 중복 선언이 허용되고 초기화문은 무시될까

var는 ES6 이전 자바스크립트의 오래된 변수 선언 방식이다.
초기 자바스크립트는 지금처럼 모듈 시스템이나 블록 스코프 개념이 정립되지 않았고,
브라우저 환경에서 여러 스크립트 파일을 느슨하게 이어 붙여 사용하는 경우가 많았다.

 

이때 동일한 변수를 여러 파일에서 선언하더라도 에러가 발생하면 기존 코드들이 쉽게 깨질 수 있었기 때문에,
하위 호환성을 위해 var의 중복 선언이 허용되었다.

 

또한 변수 선언(var x;) 자체는 호이스팅 과정에서 한 번만 처리되므로,
이미 존재하는 변수를 다시 선언할 때 초기화문이 없다면 아무 동작도 하지 않는다.

함수 레벨 스코프

var 키워드로 선언한 변수는 함수의 코드블록만을 지역 스코프로 인정한다.
따라서 글로벌 < 지역변수임 ㄷㄷ

var x = 1;

if (true) {
	var x = 10;
}

console.log(x); // 10

이건 또 왜 이모양일까

자바스크립트 엔진 입장에서 보면 if 블록은 새로운 스코프를 만들지 않는다.
따라서 엔진 입장에서는 이렇게 보임 ㅋㅋ

var x; // 호이스팅

x = 1;

if (true) {
	x = 10;
}

console.log(x);

이건 변수 호이스팅에서 더 설명하겠음

변수 호이스팅

호이스팅 ㅋㅋ 이건 보면볼수록 신기함

console.log(foo); // undefined

foo = 123;
console.log(foo); // 123

var foo;

근데 또 여기서 var foo 선언을 빼면 레퍼런스 에러가 발생함

console.log(foo); 
foo = 123;
// Uncaught ReferenceError: foo is not defined

원인은 var는 최초로 호이스팅 되며 undefined로 선언되기 때문임

let 키워드

변수 중복 선언 금지

얜 에러뜸 ㅋㅋ 굿굿

let x = 100;
let x = 200;
Uncaught SyntaxError: Identifier 'x' has already been declared

변수의 정상화 ㅋㅋ

블록 레벨 스코프

이것도 정상화된다.

let x = 1;

if (true) {
	let x = 10;
}

console.log(x); // 1

전역 스코프에서 선언된 let과 함수, 블록 레벨 스코프에서 선언된 함수가 엄격하게 구분된다

변수 호이스팅

그렇다고 let이 호이스팅을 안하는건 아니다.
하지만 이게 어떻게 가능하냐! 라고 하면 그건 바로 TDZ(Temporal Dead Zone)에 의해 안전장치가 설치된다.

var는 선언, 초기화가 한번에 진행된다.
선언단계에서 변수 식별자를 등록해 엔진에 변수의 존재를 알린다.
그리고 즉시 초기화 단계에서 undefined로 변수를 초기화 한다.
따라서 변수 선언문 이전에 변수에 접근해도 스코프에서는 undefined가 할당된 초기화된 변수를 가르킴으로 에러가 발생하지 않음.
그리고 변수 할당문에 도달하면 비로소 값이 할당된다.

하지만 let은 아님
선언단계와 초기화 단계가 분리되어 진행된다.
일단 선언은 했는데 초기화가 안되서 undefined가 할당되지 않았다는 뜻.

결국 아무 값도 가지고 있지 않은(할당되지 않은) 변수를 참조하려고 하면 레퍼런스 에러가 발생해버림.

선언은 해서 엔진에는 알리되, 초기화는 하지 않는 전략이란 뜻임.
이를 일시적 사각지대(TDZ) 라고 한다

전역 객체와 let

var 키워드로 선언한 전역 변수와 전역 함수, 그리고 선언하지 않은 변수에 값을 할당한 암묵적 전역은 전역 객체 window의 프로퍼티가 된다.

var x = 1; // 전역변수
y = 1; // 암묵적 전역
function foo() {}

console.log(window.x) // 1
console.log(window.y) // 1
console.log(window.foo) // foo() {}

하지만 이 또한 let은 안됨 ㅋㅋ 굿굿

왜 브라우저 모드는 암묵적 전역 선언이 가능할까?

초기 자바스크립트는 브라우저에서 간단한 스크립트를 빠르게 작성하기 위해 만들어졌다.
당시에는 지금처럼 모듈 시스템이나 strict mode 개념이 없었고,
HTML 파일 안에서 여러 <script> 태그를 느슨하게 이어 붙여 사용하는 방식이 일반적이었다.

이 환경에서는 변수 선언을 깜빡하더라도 코드가 최대한 동작하는 것이 중요했기 때문에,
선언되지 않은 식별자에 값을 할당하면 브라우저가 이를 전역 객체(window)의 프로퍼티로 자동 생성하도록 설계되었다.

하지만 ES6부터는 암묵적 전역 생성을 금지하고 ReferenceError를 발생시키도록 변경되었다.

const 키워드

선언과 초기화

const는 선언과 동시에 초기화해야한다
상수기때문에 추가로 값을 할당하는게 문법적으로 불가능하기 때문 ㅋㅋ

얘도 let과 마찬가지로 블록 레벨 스코프를 가지며 변수 호이스팅이 발생하지 않는 것 처럼 동작한다.

{
	console.log(foo); // ReferenceError
	const foo = 1;
	console.log(foo); // 1
}

console.log(foo); // ReferenceError 변수의 정상화 ㅋㅋ

재할당 금지

재할당 금지라서 상수처럼 씀

const 키워드와 객체

하지만 이것도 다른애들이랑 마찬가지로 객체에 할당된 값은 변경할 수 있다

const person = {
	name: 'jeon'
}

// 객체는 변경 가능한 값임
person.name = 'Kim';

console.log(person); // {name: "Kim"}

재할당이 금지됐을 뿐 불변을 의미하지는 않는다

var vs let vs const

앵간하면 const 쓰고 정 안되면 let 써라 이놈아@@@@@@@@@@@@@

참고 자료

• 모던 자바스크립트 Deep Dive 15장
• 전역 변수의 문제점 — 14장, var 전역 변수의 문제가 이어짐
• var let const — 세 키워드 요약 비교
• 호이스팅 — 키워드별 호이스팅 차이와 TDZ
• 스코프 — 함수 레벨 스코프 vs 블록 레벨 스코프