[모던 자바스크립트 Deep Dive] 5장 표현식과 문

값

값(value)은 식(표현식, expression)이 평가(evaluate)되어 생성된 결과를 말한다. 평가란 식을 해석해서 값을 생성하거나 참조하는 것을 의미한다. 예를 들어 '10 + 20'이라는 식은 평가되어 숫자 값 30을 생성한다.

모든 값은 데이터 타입을 가지며, 메모리에 2진수 즉 비트(bit)의 나열로 저장된다. 메모리에 저장된 값은 데이터 타입에 따라 다르게 해석될 수 있다. 예를 들어 메모리에 저장된 값 '0100 0001'을 숫자로 해석하면 65지만, 문자로 해석하면 'A'이다.
변수는 하나의 값을 저장하기 위해 확보한 메모리 공간 자체 또는 그 메모리 공간을 식별하기 위해 붙인 이름이다. 따라서 변수에 할당되는 것은 값이다.

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

위 예제에서 sum 변수에 할당된 것은 10+20이 아니라 10+20이 평가되어 생성된 숫자 값 30이다. 즉, sum이 기억하는 메모리 공간에는 식 10+20이 아니라 그 식이 평가된 결과인 값 30이 저장된 것이다.

값은 다양한 방법으로 생성할 수 있다. 위 예제처럼 표현식으로 생성할 수도 있지만, 가장 기본적인 값의 생성 방법은 리터럴(literal)을 사용하는 것이다. 자바스크립트에서 값을 생성하는 가장 쉬운 방법은 리터럴 표기법을 사용하는 것이다.

• 객체의 프로퍼티 값
• 배열의 요소
• 함수 호출의 인수
• 함수 반환문

또한 값은 변수에 할당될 뿐만 아니라 위와 같은 곳에서도 사용된다.

 

리터럴

리터럴(literal)은 사람이 이해할 수 있는 문자 또는 약속된 기호를 사용해 값을 생성하는 표기법(notation)을 말한다. 아라비아 숫자, 알파벳, 한글 등의 문자나 "", ., [], {}, // 등의 기호로 표기한 코드를 리터럴이라 한다.

예를 들어 아래와 같은 코드에서 3은 단순한 아라비아 숫자가 아니라 숫자 리터럴이다.

3 // 숫자 리터럴 3

이처럼 사람이 이해할 수 있는 문자를 사용해 숫자 3을 코드에 기술하면, 자바스크립트 엔진은 이를 평가해 숫자 값 3을 생성한다.

자바스크립트 엔진은 코드가 실행되는 시점인 런타임(runtime)에 리터럴을 평가해 값을 생성한다. 즉, 리터럴은 값을 생성하기 위해 미리 약속한 표기법이라고 할 수 있다.

리터럴을 사용하면 다양한 종류의 값을 생성할 수 있다. 리터럴로 생성할 수 있는 값의 종류는 다음과 같다.

리터럴	예시	비고
정수 리터럴	100
부동소수점 리터럴	10.5
2진수 리터럴	0b01000001	0b로 시작
8진수 리터럴	0o101	ES6에서 도입. 0o로 시작
16진수 리터럴	0x41	ES6에서 도입. 0x로 시작
문자열 리터럴	'Hello', "World"
불리언 리터럴	true, false
null 리터럴	null
undefined 리터럴	undefined
객체 리터럴	{ name: 'Lee', address: 'Seoul' }
배열 리터럴	[ 1, 2, 3 ]
함수 리터럴	function() {}
정규 표현식 리터럴	/[A-Z]+/g

이처럼 자바스크립트는 다양한 종류의 리터럴을 제공하며, 이를 사용해 값을 직접 생성할 수 있다. 리터럴은 값을 생성하는 가장 기본적이고 쉬운 방법이며, 자바스크립트 프로그래밍에서 매우 중요한 개념이다.

 

표현식

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

표현식은 리터럴, 식별자(변수, 함수 등의 이름), 연산자, 함수 호출 등의 조합으로 이루어질 수 있다.

var score = 100;

위 예제에서 100은 리터럴이다. 리터럴 100은 자바스크립트 엔진에 의해 평가되어 값을 생성하므로 리터럴 그 자체로 표현식이다.

 

var score = 50 + 50;

위 예제에서 50 + 50은 리터럴과 연산자로 이루어져 있다. 50 + 50도 평가되어 숫자 값 100을 생성하므로 표현식이다.

 

score; // 100

변수 식별자를 참조하면 변수 값으로 평가된다. 식별자 참조는 새로운 값을 생성하지는 않지만 변수에 저장된 값을 생성하므로 표현식이다.

아래는 다양한 표현식의 예시이다.

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

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

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

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

값으로 평가될 수 있는 문은 모두 표현식이며, 표현식은 값처럼 사용할 수 있다. 다시 말해, 표현식은 값이 위치할 수 있는 자리에 사용할 수 있다. 예를 들어 함수의 인수나 할당 연산자의 값으로 표현식을 사용할 수 있다.
또한 표현식과 표현식이 평가된 값은 동등한 관계, 즉 동치(equivalent)이다.

var x = 1 + 2;
// 식별자 표현식 x는 3으로 평가된다.
x + 3; // 3 + 3 = 6

이처럼 표현식 x는 값 3으로 평가되므로 x + 3은 6으로 평가된다.

 

문

문(statement)은 프로그램을 구성하는 기본 단위이자 최소 실행 단위다. 문의 집합으로 이루어진 것이 바로 프로그램이며, 문을 작성하고 순서에 맞게 나열하는 것이 프로그래밍이다.

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

문은 컴퓨터에 내리는 명령이므로 명령문이라고도 부른다. 문은 선언문, 할당문, 조건문, 반복문 등으로 구분할 수 있다.

// 변수 선언문
var x;
// 할당문
x = 5;
// 함수 선언문
function foo() {}
// 조건문
if (x > 1) { console.log(x); }
// 반복문
for (var i = 0; i < 2; i++) { console.log(i); }

표현식인 문과 표현식이 아닌 문을 구별하는 가장 간단하고 명료한 방법은 변수에 할당해 보는 것이다. 표현식인 문은 값으로 평가되어 변수에 할당할 수 있지만, 표현식이 아닌 문은 값으로 평가될 수 없으므로 변수에 할당하면 에러가 발생한다.
크롬 개발자 도구에서 표현식이 아닌 문을 실행하면 언제나 undefined를 출력하는데, 이를 완료 값(completion value)이라 한다.

이처럼 문은 자바스크립트 엔진에 의해 실행되어 명령을 수행하는 최소 단위이자 프로그램을 구성하는 기본 단위로서, 토큰들로 구성되어 있으며 선언, 할당, 조건, 반복 등 다양한 역할을 수행한다.

 

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

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

그러나 세미콜론은 생략이 가능하다. 자바스크립트 엔진이 소스코드를 해석할 때 문의 끝이라고 예측되는 지점에 세미콜론을 자동으로 붙여주는 세미콜론 자동 삽입 기능(ASI, Automatic Semicolon Insertion)이 암묵적으로 수행되기 때문이다.

단, 0개 이상의 문을 중괄호로 묶은 코드 블록({ ... }) 뒤에는 세미콜론을 붙이지 않는다. 예를 들어 if문, for문, 함수 등의 코드 블록 뒤에는 세미콜론을 붙이지 않는다. 이러한 코드 블록은 언제나 문의 종료를 의미하는 자체 종결성(self-closing)을 갖기 때문이다.

하지만 세미콜론 자동 삽입 기능의 동작과 개발자의 의도가 일치하지 않는 경우가 간혹 있기 때문에 세미콜론을 생략하는 것은 주의가 필요하다.

 

예를 들어 아래와 같은 경우이다.

function foo() {
  return
  {}
  // ASI의 동작 결과 => return; {};
  // 개발자의 예측 => return {};
}

console.log(foo()); // undefined



var bar = function() {}
(function() {})();

// ASI의 동작 결과 => var bar = function() {}(function() {})();
// 개발자의 예측 => var bar = function() {}; (function() {})();

// TypeError: (intermediate value)(...) is not a function

이처럼 의도치 않은 동작이 발생할 수 있으므로, 대부분의 자바스크립트 스타일 가이드에서는 문의 끝에는 세미콜론을 붙일 것을 권장한다. ESLint 같은 정적 분석 도구에서도 세미콜론 사용을 기본으로 설정하고 있고, TC39(ECMAScript 기술 위원회)에서도 세미콜론 사용이 권장되는 추세이다.

요약하면 세미콜론은 문의 종료를 나타내며 자바스크립트 엔진의 세미콜론 자동 삽입 기능으로 인해 생략이 가능하지만, 의도치 않은 오류를 방지하고 코드의 일관성을 유지하기 위해 문 끝에는 세미콜론을 붙이는 것이 좋다.

 

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

표현식은 문의 일부일 수도 있고 그 자체로 문이 될 수도 있다. 문에는 표현식인 문과 표현식이 아닌 문이 있다.

표현식인 문은 값으로 평가될 수 있는 문이다. 예를 들어 할당문은 표현식이면서 완전한 문이다. 반면 표현식이 아닌 문은 값으로 평가될 수 없는 문을 말한다.

 

대표적으로 변수 선언문이 있다.

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

// 할당문은 그 자체가 표현식이지만 완전한 문이기도 하다. 즉, 할당문은 표현식인 문이다. 
x = 100;

표현식인 문과 표현식이 아닌 문을 구별하는 가장 간단하고 명료한 방법은 변수에 할당해 보는 것이다. 표현식인 문은 값으로 평가되므로 변수에 할당할 수 있지만, 표현식이 아닌 문은 값으로 평가할 수 없으므로 변수에 할당하면 에러가 발생한다.

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

// 표현식인 문은 값처럼 사용할 수 있다.
var foo = x = 100; 
console.log(foo); // 100

표현식인 문인 할당문 x = 100은 x 변수에 할당한 값 100으로 평가된다. 따라서 foo 변수에도 100이 할당된다.

 

완료 값

크롬 개발자 도구에서 표현식이 아닌 문을 실행하면 언제나 undefined를 출력하는데 이를 완료 값(completion value)이라 한다. 완료 값은 표현식의 평가 결과가 아니기 때문에, 다른 값과 같이 변수에 할당할 수 없고 참조할 수도 없다.

 

반면 표현식인 문을 실행하면 언제나 평가된 값을 반환한다.

// 변수 선언문 
var num; // undefined

// 표현식인 문(할당문)
num = 10; // 10

다만 var foo = 10;과 같이 변수 선언과 할당을 하나의 문으로 단축 표현할 수 있는데, 이때는 변수 선언 부분만 떼어 var foo;를 실행한 것으로 간주되어 표현식이 아닌 문으로 취급된다. 엄밀히 말하면 var foo = 10;은 변수 선언문 var foo;와 할당문 foo = 10;이 단축된 것이기 때문이다.

이렇듯 표현식인 문과 표현식이 아닌 문은 값으로 평가될 수 있는지 여부에 따라 구분되며, 변수에 할당해보는 것이 가장 명확한 구분 방법이다. 또한 개발자 도구에서의 실행 결과도 두 문의 차이를 잘 보여준다.