5.1 값

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

아래의 예시를 보자.

var sum = 10 + 20;	// 30

10 + 20이라는 식이 평가되어 값 30을 생성한다. 즉, 변수 sum에 할당되는 것은 10 + 20이라는 식이 아니라 식이 평가된 결과인 값 30이다. 이때 식은 할당 이전에 평가되어 값을 생성해야 한다.

5.2 리터럴

값은 다양한 방법으로 생성될 수 있다. 가장 기본적인 방법이 리터럴을 사용하는 것이다.

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

3	// 숫자 리터럴 3

위의 3은 단순한 아라비아 숫자가 아닌 숫자 리터럴이다. 숫자 리터럴 3을 코드에 입력하면 자바스크립트 엔진은 이를 평가해 숫자 값 3을 생성한다.

이처럼 리터럴은 사람이 이해할 수 있는 문자를 약속된 기호로 표기한 코드다. 자바스크립트 엔진은 코드가 실행되는 런타임에 이를 평가해 값을 생성한다. 다음은 자바스크립트에서 사용되는 다양한 종류의 리터럴이다.

5.3 표현식

표현식(expression)은 값으로 평가될 수 있는 문(statement)이다.

표현식이 평가되면 새로운 값을 생성하거나, 기존의 값을 참조한다. 위에서 알아본 리터럴 역시 값으로 평가되기 때문에 표현식이라고 할 수 있다.

var score = 100;

var score = 50 + 50;

score;	// 100

위의 예시와 같이 표현식은 리터럴, 식별자, 연산자, 함수 호출 등의 조합으로 이루어질 수 있다. 형식은 다양하지만 모두 값으로 평가된다는 점에서 동일하다.

// 리터럴 표현식
10
'Hello'

// 식별자 표현식(선언이 이미 존재한다고 가정)
sum
person.name
arr[1]

// 연산자 표현식
10 + 20
sum = 10
sum !== 10

// 함수/메서드 호출 표현식(선언이 이미 존재한다고 가정)
square()
person.getName()

표현식과 표현식이 평가된 값은 항상 동등한 관계, 즉 동치(equivalent)다. 이것은 문법적으로 값이 위치할 수 있는 자리에는 표현식도 위치할 수 있다는 것을 의미한다.

5.4 문

문(statement)은 프로그램을 구성하는 기본 단위이자 최소 실행 단위이다.

문은 여러 토큰(token)으로 구성된다. 토큰이란 문법적인 의미를 가지는 최소한의 코드 요소이다. 즉, 키워드, 식별자, 연산자, 리터럴, 세미콜론(;)이나 마침표(.) 등의 특수기호는 문법적인 의미를 가지며, 더 이상 쪼갤 수 없는 코드의 기본 요소이기 때문에 모두 토큰이다.

문은 명령문이라고도 부르며 선언문, 할당문, 조건문, 반복문 등으로 구분할 수 있다.

// 변수 선언문
var x;

// 할당문
x = 5;

// 함수 선언문
function foo () {}

// 조건문
if (x > 1) {
	console.log(x);
}

// 반복문
for (var i = 0; i < 5; i++) {
	console.log(i);
}

5.5 세미콜론과 세미콜론 자동 삽입 기능

세미콜론(;)은 문의 종료를 나타낸다. 자바스크립트 엔진은 세미콜론으로 문의 종료를 파악하고 순차적으로 문을 실행한다. 따라서 모든 문의 끝에는 세미콜론을 붙여야 한다.

하지만 0개 이상의 문을 묶은 코드 블록({...}) 뒤에는 세미콜론이 붙지 않는다. 코드 블록은 문의 종료를 의미하는 자체 종결성(self closing)을 갖기 때문이다. 조건문, 반복문, 함수 등의 코드 블록 뒤에는 세미콜론을 붙이지 않도록 하자.

C언어의 경우에는 모든 문의 뒤에 세미콜론을 신경 써서 넣어주어야 하지만, 자바스크립트 엔진은 소스코드를 해석할 때 문의 끝이라고 예측되는 지점에 알아서 세미콜론을 붙여주는 세미콜론 자동 삽입 기능(ASI automatic semicolon insertion)이 암묵적으로 실행되기 때문에 세미콜론을 생략해도 된다. 그렇지만 ASI가 개발자의 의도를 예측하지 못할 수 있으니 웬만하면 세미콜론 사용을 권장한다고 한다.

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

자바스크립트 엔진의 입장에서 코드를 읽고 실행 결과를 예측하기 위해서는 문과 표현식을 구별하고 해석할 수 있어야 한다. 표현식은 문의 일부일 수도 있고, 그 자체로 문이 될 수도 있다.

var x;		// 변수 선언문은 값으로 평가될 수 없기 때문에 표현식이 아니다.

x = 1 + 2;	// 표현식인 동시에 완전한 문이기도 하다.

둘을 구분하는 가장 쉬운 방법은 변수에 할당해 보는 것이다. 표현식인 문은 값으로 평가되므로 변수에 할당할 수 있다. 하지만 표현식이 아닌 문은 값으로 평가할 수 없으므로 변수에 할당하면 에러가 발생한다.

크롬 개발자 도구에서 표현식이 아닌 문을 실행하면 항상 undefined가 출력된다. 이를 완료 값(completion value)이라고 한다. 완료 값은 표현식의 평가 결과가 아니다. 따라서 변수에 할당하거나 참조할 수 없다.