
변수 선언 variable declaration이란 변수를 생성하는 것을 말한다. 값을 저장하기 위한 메모리 공간을 확보allocate하고 변수 이름과 확보된 메모리 공간의 주소를 연결name binding해서 값을 저장할 수 있게 준비하는 것이다. 변수 선언에 의해 확보된 메모리 공간은 확보가 해제release되기 전까지는 누구도 확보된 메모리 공간을 사용할 수 없도록 보호되므로 안전하게 사용할 수 있다.
자바스크립트 엔진은 변수 선언을 다음과 같은 2단계에 거쳐 수행한다.
선언 단계: 변수 이름을 등록해서 자바스크립트 엔진에 변수의 존재를 알린다.
초기화 단계: 값을 저장하기 위한 메모리 공간을 확보하고 암묵적으로 undefined를 할당해 초기화한다.
변수 이름은 어디에 등록되는가?
변수 이름을 비롯한 모든 식별자는 실행 컨텍스트에 등록된다. 실행 컨텍스트excution context는 자바스크립트 엔진이 소스코드를 평가하고 실행하기 위해 필요한 환경을 제공하고 코드의 실행 결과를 실제로 관리하는 영역이다. 자바스크립트 엔진은 실행 컨테스트를 통해 식별자와 스코프를 관리한다.
변수 이름과 변수 값은 실행 컨텍스트 내에 키key/값value 형식인 객체로 등록되어 관리된다.
var키워드를 사용한 변수 선언은 선언 단계와 초기화 단계가 동시에 진행된다.
초기화 initialization란 변수가 선언된 이후 최초로 값을 항당하는 것을 말한다. 만약 초기화 단계를 거치지 않으면 확보된 메모리 공간에는 이전에 다른 애플리케이션이 사용했던 값이 남아 있을 수 있다. 이러한 값을 쓰레기 값garvage value이라 한다. 자바스크립트의 var키워드는 암묵적으로 초기화를 수행하므로 이러한 위험으로부터 안전하다.
변수뿐만 아니라 모든 식별자를 사용하기 위해선 반드시 선언이 필요하다. 만약 선언하지 않은 식별자에 접근하면 ReferenceError(참조 에러 : " " is not defined)가 발생한다.
자바스크립트 코드는 인터프리터에 의해 한 줄씩 순차적으로 실행된다.
console.log(score); //undefined
var score; // 변수 선언문
→ 참조 에러가 발생하지 않고 undefined가 출력된다.
변수 선언이 소스코드가 한 줄씩 순차적으로 실행되는 시점, 즉 런타임runtime이 아니라 그 이전 단계에서 먼저 실행되기 때문이다.
자바스크립트 엔진은 소스코드를 한 줄 씩 순차적으로 실행하기에 앞서 먼저 소스코드의 평가 과정을 거치면서 소스코드를 실행하기 위한 준비를 한다. 이때 소스코드 실행을 위한 준비 단계인 소스코드의 평가 과정에서 자바스크립트 엔진은 변수 선언을 포함한 모든 선언문을 소스코드에서 찾아내 먼저 실행한다.
이처럼 변수 선언문이 코드의 선두로 끌어 올려진 것처럼 동작하는 자바스크립트 고유의 특징을 변수 호이스팅variable hoisting이라 한다.
변수 선언뿐 아니라 var,let, const, function, function*, class 키워드를 사용해서 선언하는 모든 식별자는 호이스팅된다. 모든 선언문은 런타임 이전 단계에서 먼저 실행되기 때문이다.
var scroe; //변수 선언
score = 80; // 값의 할당
var score = 80; //변수 선언과 값의 할당
변수 선언과 값의 할당을 2개의 문으로 나누어 표현한 코드와 변수 선언과 값의 할당을 하나의 문으로 단축 표현한 코드는 정확히 동일하게 동작한다. 즉, 자바스크립트 엔진은 변수 선언과 값의 할당을 하나의 문으로 단축 표현해도 변수 선언과 값의 할당을 2개의 문으로 나누어 각각 실행한다.
변수 선언은 런타임 이전에 먼저 실행되지만 값의 할당은 소스코드가 순차적으로 실행되는 시점인 런타임에 실행된다.
변수에 값을 할당할 때는 이전 값 undefined가 저장되어 있던 메모리 공간을 지우고 그 메모리 공간에 할당 값 80을 새롭게 저장하는 것이 아니라 새로운 메모리 공간을 확보하고 그곳에 할당 값 80을 저장한다는 점에 주의하자.
아래 예제의 실행 결과는 무엇일지 생각해보기
console.log(score);
score = 80;
var score;
console.log(score);
→ // undefined , 80 : 선언(+초기화)는 런타임 이전에 먼저 실행되므로 할당 이후에 작성되었다 하더라도 런타임에서 할당된 값에 영향을 미치진 않는다. 그렇기 때문에 할당되기 전의 값과 할당된 이후의 값이 출력된다.
var 키워드로 선언한 변수는 값을 재할당할 수 있다. 재할당은 현재 변수에 저장된 값을 버리고 새로운 값을 저장하는 것이다. var 키워드로 선언한 변수는 선언과 동시에 undefined로 초기화되기 때문에 엄밀히 말하자면 변수에 처음으로 값을 할당하는 것도 사실은 재할당이다.
재할당은 변수에 저장된 값을 다른 값으로 변경한다. 그래서 변수라고 하는 것이다. 만약 값을 재할당할 수 없어서 변수에 저장된 값을 변경할 수 없다면 변수가 아니라 상수constant라 한다.
재할당 역시 새로운 메모리 공간을 확보하고 그 메모리 공간에 새로운 값을 저장하는 방식으로 작동한다.
값의 재할당에 의해 더 이상 필요하지 않게된 값들은 가비지 콜렉터에 의해 메모리에서 자동 해제된다. 단, 메모리에서 언제 해제될지는 예측할 수 없다.
변수 이름은 변수의 존재 목적을 쉽게 이해할 수 있도록 의미를 명확히 표현해야한다. 변수 선언에 별도의 주석이 필요하다면 변수의 존재 목적을 명확히 드러내지 못하는 것이다.