4.1 변수란 무엇인가? 왜 필요한가?

값을 재사용하거나 불러오고자 할 때, 메모리 주소를 통해 값이 저장된 메모리 공간에 직접 접근하는 방법은 옳지 않다.

  1. 만약 실수로 운영체제가 사용하고 있는 값을 변경하면 시스템을 멈추게 하는 치명적인 오류를 발생시킬 수 있다.
  2. 개발자의 직접적인 메모리 제어를 허용하더라도 값이 저장될 메모리 주소는 코드가 실행될 때 메모리의 상황에 따라 임의로 결정되므로 코드가 실행되기 전에는 값이 저장된 메모리 주소를 알 수 없다.

→ 기억하고 싶은 값을 메모리에 저장하고, 저장괸 값을 읽어 들여 재사용하기 위해 변수라는 매커니즘을 제공

<aside> <img src="/icons/chat_gray.svg" alt="/icons/chat_gray.svg" width="40px" /> 개발자의 명확한 의도 또는 변수에 저장된 값의 의미를 파악할 수 있는 변수 이름은 가독성을 높이고, 협업과 품질 향상에 도움을 준다. 만약, 변수 선언에 별도의 주석이 필요하다면 변수의 존재 목적을 명확히 드러내지 못하는 것이다.

</aside>

4.2 식별자

4.3 변수 선언

변수 선언이란, 값을 저장하기 위한 메모리 공간을 확보(allocate)하고 변수 이름과 확보된 메모리 공간의 주소를 연결(name binding)해서 값을 저장할 수 있도록 준비하는 것이다.

변수 선언에 의해 확보된 메모리 공간은 확보가 해제되기 전까지는 누구도 확보된 메모리 공간을 사용할 수 없도록 보호되므로 안전하게 사용할 수 있다.

변수를 선언할 때는 var, let, const 키워드를 사용한다.

자바스크립트 엔진은 변수 선언을 다음과 같은 2단계에 거쳐 수행한다.

  1. 선언 단계 : 변수 이름을 등록해서 자바스크립트 엔진에 변수의 존재를 알린다.
  2. 초기화 단계 : 값을 저장하기 위한 메모리 공간을 확보하고 암묵적으로 undefined를 할당해 초기화한다.

변수를 사용하려면 반드시 선언이 필요하다.

만약 선언하지 않은 식별자에 접근하면 ReferenceError(참조 에러)가 발생한다. ReferenceError는 식별자를 통해 값을 참조하려 했지만 자바스크립트 엔진이 등록된 식별자를 찾을 수 없을 때 발생하는 에러이다.

일반적으로 초기화란, 변수가 선언된 이후 최초로 값을 할당하는 것을 말한다.

만약 초기화 단계를 거치지 않으면 확보된 메모리 공간에는 이전에 다른 애플리케이션이 사용했던 값이 남아 있을 수도 있는데, 이를 garbage value(쓰레기 값)이라고 한다. 따라서 메모리 공간을 확보한 다음, 값을 할당하지 않은 상태에서 곧바로 변수 값을 참조하면 쓰레기 값이 나올 수 있는 위험이 있다. 자바스크립트의 var 키워드는 암묵적으로 초기화를 수행하므로 이러한 위험으로부터 안전하다.

var 변수명;  <- undefined 할당
var 변수명 = 변수값;

첫번째 줄의 코드는 변수를 선언한 이후, 아직 변수에 값을 할당하지 않았기 때문에 확보된 메모리 공간에는 자바스크립트 엔진에 의해 undefined라는 값이 암묵적으로 할당되어 초기화된다.

4.4 변수 선언의 실행 시점과 변수 호이스팅

변수 선언은 소스코드가 한 줄씩 순차적으로 실행되는 시점(런타임)이 아니라 그 이전 단계에서 먼저 실행된다.

<aside> <img src="/icons/chat_gray.svg" alt="/icons/chat_gray.svg" width="40px" /> 자바스크립트 엔진은 소스코드를 한 줄씩 순차적으로 실행하기에 앞서 먼저 소스코드의 평가 과정을 거치면서 소스코드를 실행하기 위한 준비를 한다. 소스코드의 평가 과정에서 자바스크립트 엔진은 변수 선언을 포함한 모든 선언문을 소스코드에서 찾아내 먼저 실행한다. 평가 과정이 끝나면 모든 선언문을 제외하고 소스코드를 한 줄씩 순차적으로 실행한다.

</aside>

자바스크립트 엔진은 변수 선언이 소스코드의 어디에 있든 상관없이 다른 코드보다 먼저 실행하기 때문에 변수 선언이 소스코드의 어디에 위치하는지와 상관없이 어디서든지 변수를 참조할 수 있다.

변수 선언문이 코드의 선두로 끌어 올려진 것처럼 동작하는 자바스크립트 고유의 특징을 변수 호이스팅(variable hosting)이라고 한다.

모든 선언문은 런타임 이전 단계에서 먼저 실행되기 때문에 변수 선언뿐 아니라 var, let, const, function, function*, class 키워드를 사용해서 선언하는 모든 식별자는 호이스팅된다.

4.5 값의 할당

변수에 값을 할당(assignment)할 때는 할당 연산자 =를 사용한다.

할당 연산자는 우변의 값을 좌변의 변수에 할당한다.

변수 선언과 값의 할당을 하나의 문(statement)으로 단축 표현할 수 있고, 자바스크립트 엔진은 변수 선언과 값의 할당을 하나의 문으로 단축 표현해도 변수 선언과 값의 할당을 2개의 문으로 나누어 각각 실행하기 때문에 동작의 차이는 없다.

변수 선언은 소스코드가 순차적으로 실행되는 시점인 런타임 이전에 먼저 실행되지만 값의 할당은 소스코드가 순차적으로 실행되는 시점인 런타임에 실행된다. 단축 표현한 경우에도 똑같이 동작한다.

변수의 선언과 값의 할당을 하나의 문장으로 단축 표현해도 변수에 undefined가 할당되어 초기화되는 점은 변함이 없다.

변수에 값을 할당할 때는 이전 값 undefined가 저장되어 있던 메모리 공간을 지우고 그 메모리 공간에 할당 값을 새롭게 저장하는 것이 아니라 새로운 메모리 공간을 확보하고 그곳에 할당 값을 저장한다.

4.6 값의 재할당

재할당이란, 이미 값이 할당되어 있는 변수에 새로운 값을 또다시 할당하는 것을 의미한다.

할당과 마찬가지로 이전 값이 저장되어 있던 메모리 공간을 지우고 그 메모리 공간에 재할당 값을 새롭게 저장하는 것이 아니라, 새로운 메모리 공간을 확보하고 그 메모리 공간에 값을 저장한다.

var키워드로 선언한 변수는 값을 재할당할 수 있다.

var 키워드로 선언한 변수는 선언과 동시에 undefined로 초기화되기 때문에 엄밀히 말하자면 변수에 처음으로 값을 할당하는 것도 사실은 재할당이다.

값을 재할당할 수 없어서 변수에 저장된 값을 변경할 수 없다면 상수(constant)라고 한다.

상수는 단 한 번만 할당할 수 있는 변수이며, const 키워드를 사용하여 상수를 표현할 수 있다.

<aside> <img src="/icons/chat_gray.svg" alt="/icons/chat_gray.svg" width="40px" /> 변수의 이전 값은 어떤 변수도 값으로 갖고 있지 않다. 즉, 어떤 식별자와도 연결되어 있지 않다. 이러한 불필요한 값들은 garbage collector에 의해 메모리에서 자동 해제된다. 자바스크립트는 garbage collector를 내장하고 있는 managed language로서, 이를 통해 메모리 누수(memory leak)를 방지한다.

</aside>