자바스크립트 변수와 표현식과 문

변수

변수(variable)는 하나의 값을 저장하기 위해 확보한 메모리 공간 자체 또는 그 메모리 공간을 식별하기 위해 붙인 이름이다.

메모리

메모리(memory)는 데이터를 저장할 수 있는 메모리 셀(memory cell)의 집합체다. 메모리 셀 하나의 크기는 1바이트(8비트)이며, 컴퓨터는 메모리 셀의 크기, 즉 1바이트 단위로 데이터를 저장(write)하거나 읽어(read)들인다.

각 셀은 고유의 메모리 주소(memory address)를 갖는다. 4GB 메모리는 0부터 4,294,967,295(0x00000000~0xFFFFFFFF)까지의 메모리 주소를 갖는다.

var result = 10 + 20;

메모리 공간에 저장된 값을 식별할 수 있는 고유한 이름(result)을 변수이름이라하고 변수에 저장된 값(30)을 변수 값이라 한다.
변수에 값을 저장하는 것을 할당assignment(대입, 저장)이라 하고 변수에 저장된 값을 읽어 들이는 것을 참조(reference)라고 한다.

식별자

식별자는 어떤 값을 구별해서 식별할 수 있는 고유한 이름을 말한다.
식별자는 값이 아니라 메모리 주소를 기억하고 있다.
result(변수이름 식별자) ---> 0x0669F913(메모리 주소) 30(메모리)

변수 선언

변수를 사용할려면 반드시 선언이 필요하다. 변수를 선언할 때는 var, let, const 키워드를 사용한다.

var score // 변수 선언(변수 선언문)

초기화(initialization)란 변수가 선언된 이후 최초로 값을 할당하는 것을 말한다. var 키워드로 선언한 변수는 undefined로 암묵적인 초기화가 자동 수행된다. 따라서 var 키워드로 선언한 변수는 어떠한 값도 할당하지 않아도 undefined라는 값을 갖는다.

선언하지 않는 식별자에 접근하면 ReferenceError(참조 에러)가 발생한다.

ReferenceError는 식별자를 통해 값을 참조하러 했지만 자바스크립트 엔진이 등록된 식별자를 찾을 수 없을 때 발생하는 에러다.

console.log(score); // undefined
var score; // 변수 선언문

console.log(score)가 먼저 실행되고 순차적으로 다음 줄에 있는 코드를 실행한다. 여기서 var score가 인식되어 있는 상태로 score 변수를 찾는데 값이 없으므로 undefined가 출력이 된다.
그 이유는 변수 선언이 소스코드가 한 줄씩 순차적으로 실행되는 시점, 즉 런타임(runtime)이 아니라 그 이전 단계에서 먼저 실행되기 때문이다.

변수 호이스팅

변수 선언문이 코드의 선두로 끌어 올려진 것처럼 동작하는 자바스크립트 고유의 특징을 변수 호이스팅(variable hoisting)이라 한다.
사실 변수 선언뿐 아니라 var, let, const, function, function*, class 키워드를 사용해서 선언하는 모든 식별자(변수, 함수, 클래스 등)는 호이스팅된다.

값의 할당

변수에 값을 할당assignment(대입, 저장)할 때는 할당 연산자 =를 사용한다.
할당 연산자는 우변의 값을 좌변의 변수에 할당한다.

var score; // 변수 선언
score = 80; // 값의 할당

변수 선언과 값의 할당을 다음과 같이 하나의 문(statement)으로 단축 표현할 수도 있다.

var score = 80; // 변수 선언과 값의 할당

변수 선언은 소스코드가 순차적으로 실행되는 시점인 런타임 이전에 먼저 실행되지만 값의 할당은 소스코드가 순차적으로 실행되는 시점인 런타임에 실행된다.

console.log(score); // undefined
var score; // 1.변수 선언
score = 80; // 2.값의 할당
console.log(score); // 80

변수 선언(1)은 런타임 이전에 먼저 실행되고 값의 할당(2)은 런타임에 실행된다. 따라서 score 변수에 값을 할당하는 시점(2)에는 이미 변수 선언이 완료된 상태이며, 이미 undefined로 초기화되어 있다. 따라서 score 변수에 값을 할당하면 score 변수의 값은 undefined에서 새롭게 할당한 숫자 값 80으로 변견(재할당)된다.

값의 재할당

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

표현식과 문

값

값(value)은 식(표현식:expression)이 평가(evaluate)되어 생성된 결과를 말한다.

// 변수에는 10 + 20이 평가되어 생성된 숫자 값 30이 할당된다.
var sum = 10 + 20;

위 예제의 sum 변수에 할당되는 것은 10 + 20이 아닌 평가된 결과인 숫자 30이된다.

리터럴

리터럴(literal)은 사람이 이해할 수 있는 문자 또는 약속된 기호를 사용해 값을 생성하는 표기법(notation)을 말한다.

3 // 숫자 리터럴 3
a // 문자 리터럴 a

표현식

표현식(expression)은 값으로 평가될 수 있는 문(statement)이다. 즉 표현식이 평가되면 새로운 값을 생성하거나 기존 값을 참조한다.
값으로 평가될 수 있는 문은 모두 표현식이다.

// 리터럴 표현식
10
'Hello'
// 식별자 표현식(선언이 이미 존재한다고 가정)
sum
person.name
arr[1]
// 연산자 표현식
10 + 20
sum = 10
sum !== 10
// 함수/메서드 호출 표현식(선언이 이미 존재한다고 가정)
square()
person.getName()

표현식은 값으로 평가된다. 이때 표현식과 표현식이 평가된 값은 동등한 관계 즉 동치(equivalent)다. 예를 들어 1+2=3에서 1+2는 3과 동치다.

문

문(statement)은 프로그램을 구성하는 기본 단위이자 최소 실행 단위다.
문은 여러 토큰으로 구성된다. 토큰(token)이란 문법적인 의미를 가지며, 문법적으로 더 이상 나눌 수 없는 코드의 기본 요소를 의미한다.

var sum = 1 + 2;

var, sum, =, 1, +, 2는 토큰이고 var sum = 1 + 2;는 문이다.

표현식인 문과 표현식이 아닌 문

표현식인 문과 표현식이 아닌 문을 구별하는 가장 간단하고 명료한 방법은 변수에 할당해 보는 것이다.

// 표현식이 아닌 문은 값처럼 사용할 수 없다.
var foo = var x; // SyntaxError

위 예제의 변수 선언문은 표현식이 아닌 문이다. 다시 말해 값으로 평가될 수 없다. 따라서 변수 선언문은 값처럼 사용할 수 없다.