[Modern Javascript Deep Dive] #5 표현식과 문

 들어가기 앞서, 본 포스팅에서 언급되는 값, 표현식, 평가, 문 등의 용어를 제대로 이해한다면 자바스크립트 엔진 입장에서 생각할 수 있고 실행결과를 쉽게 예측할 수 있다. 이 용어들을 잘 구분하고 이해해보자. 

5.1 값

값(value): 표현식(expression)이 평가(evaluate)되어 생성된 결과. 모든 값은 데이터 타입을 가진다. 

평가: 식을 해석해서 값을 생성하거나 참조하는 것

10+20;

 위 표현식은 평가되어 값 30을 가진다. 

 변수는 '값을 저장하기 위한' 메모리 공간(또는 메모리 공간을 식별하기 위한 이름)이라 했다. 여기서 변수에는 값이 할당된다는 것을 알 수 있다. 10+20이라는 표현식이 할당되기 전에 이것이 평가된 값인 30이 할당되어야 한다는 뜻이다. 

 

5.2 리터럴

리터럴(literal): 값을 생성하기 위해 미리 약속한 표기법

자바스크립트 엔진은 런타임에 리터럴을 평가해 값을 생성한다. 리터럴에는 여러 종류가 있다. 

리터럴	예시
정수 리터럴	100
문자열 리터럴	'Hello world'
불리언 리터럴	true
객체 리터럴	{ name: 'KimAeYong' }

 

5.3 표현식

 표현식(expression): 값으로 평가될 수 있는 문(statement)

 표현식이 평가되면 값을 생성하거나 기존 값을 참조한다. 위에서 언급한 리터럴은 값으로 평가된다. 따라서 값으로 평가되는 모든 문은 모두 표현식이다. 리터럴은 그 자체로 표현식이라 할 수 있다(예를 들어, 리터럴 100은 정수값 100으로 평가되므로 그 자체가 리터럴이자 표현식이다). 

 표현식은 값으로 평가된다. 여기서 표현식과 값은 동치(equivalent, 동등한 관계)이다. 표현식은 값으로 사용될 수 있으며, 값이 있는 자리는 표현식으로 대체할 수 있다. 표현식은 다른 표현식의 일부가 되어 새로운 값을 만들어낼 수 있다. '표현식'과 '값' 두 단어를 대치하여 생각하면 쉽게 이해될 것이다. 

 

5.4 문

 문(satement): 프로그램을 구성하는 기본 단위이자 최소 실행 단위. 여러 토큰으로 구성됨.

 토큰(token): 문법적 의미를 가지며, 문법적으로 더 이상 나눌 수 없는 코드의 기본 요소

 문을 명령문이라고도 한다. 문은 컴퓨터에 내리는 명령이라는 뜻이다. 문은 선언문, 할당문, 조건문, 반복문 등으로 구별할 수 있다. 선언과 할당에 대해서는 이전에 언급하였고, 조건문과 반복문은 이후에 자세히 다루도록 하겠다. 

 

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

 우리는 개발할 때 문장 끝에 세미콜론을 사용해왔다. 적어도 필자는 그렇다. 써야한다고 배워왔으니 아무 의심도 않고 사용해왔다. 세미콜론은 문의 종료를 의미한다. n개의 문을 중괄호로 묶은 코드블록에는 세미콜론을 사용하지 않는다(조건문, 반복문 등). 코드블록은 문의 종료를 의미하는 자체종결성(self closing)을 갖기 때문이다. 

 C, JAVA 코드를 작성할 때는 세미콜론을 필수적으로 사용해야했지만 JS에서는 생략가능하다. 세미콜론 자동 삽입 기능(ASI, Automatic Semicolon Insertion)이 문의 종료라고 예측되는 시점에 세미콜론을 자동으로 붙여주기 때문이다. 하지만 개발자의 의도와 다르게 수행하는 경우가 간혹 있어 세미콜론 작성의 여부에 대해서는 개발자마다 의견이 엇갈린다(필자는 세미콜론을 사용한다). 

 

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

 문은 '표현식인 문'과 '표현식이 아닌 문'이 있다. 표현식은 값으로 평가되므로, 전자는 값으로 평가될 수 있는 문, 후자는 값으로 평가될 수 없는 문이다. 이 둘을 구분하는 가장 쉬운 방법은 변수에 할당해 보는 것이다. 

// 문이 있다. 
var x;
// 표현식인지 알기 위해 변수 foo에 할당해보았다. 
var foo = var x;

 실행해보면 문법 오류가 생긴다. 값으로 평가될 수 없는 '표현식이 아닌 문'이기 때문이다. 

// 변수 x를 선언하였다. 이는 표현식이 아닌 문이다. 
var x;
// x에 100을 할당했다. 
x = 100;
// x = 100이 표현식인지 알기 위해 변수 foo에 할당하였다. 
var foo = x = 100;

 할당문은 표현식인 문이기 때문에 값처럼 사용될 수 있다. 

 

 다른 방법이 하나 더 있는데, chrome 개발자 도구 console에서 실행해보는 것이다. 

 

 

 

 

'표현식이 아닌 문'을 실행하면 undefined가 출력된다. 이는 완료값으로, 표현식의 평가 결과가 아닌 것에 주의하자. 반면 '표현식인 문'을 실행하면 평가 결과가 출력된다.