[모던 자바스크립트] 표현식과 문

값

식(표현식)이 평가되어 생성된 결과를 말합니다. 평가란 식을 해석해서 값을 생성하거나 참조하는 것을 의미합니다.

모든 값은 데이터 타입을 가지며 메모리에 이진수, 즉 비트의 나열로 저장됩니다. 메모리에 저장된 값은 데이터 타입에 따라 다르게 해석될 수 있습니다.

변수는 하나의 값을 저장하기 위해 확보한 메모리 공간 자체 또는 그 메모리 공간을 식별하기 위해 붙인 이름입니다. 따라서 변수에 할당되는 것은 값입니다.

값은 다양한 방법으로 생성할 수 있습니다.

리터럴

사람이 이해할 수 있는 문자 또는 약속된 기호를 사용해 값을 생성하는 표기법을 말합니다.

리터럴은 사람이 이해할 수 있는 문자(아라비아 숫자, 알파벳, 한글 등) 또는 미리 약속된 기호(’’, “”, [], {}, // 등)로 표기한 코드입니다. 자바스크립트 엔진은 코드가 실행되는 시점인 런타임에 리터럴을 평가해 값을 생성합니다. 즉, 리터럴은 값을 생성하기 위해 미리 약속된 표기법이라고 할 수 있습니다.

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

리터럴	예시	비고
정수 리터럴	100
부동소수점 리터럴	10.5
이진수 리터럴	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

표현식

값으로 평가될 수 있는 문입니다. 즉, 표현식이 평가되면 새로운 값을 생성하거나 기존값을 참조합니다.

표현식은 리터럴, 식별자(변수, 함수 등의 이름), 연산자, 함수 호출 등의 조합으로 이루어질 수 있습니다. 다음과 같이 다양한 표현식이 있지만 값으로 평가된다는 점에서 모두 동일합니다. 즉, 값으로 평가될 수 있는 문은 모두 표현식입니다.

표현식은 값으로 평가됩니다. 이 떄 표현식과 표현식이 평가된 값은 동등한 관계, 즉 동치입니다. 따라서 표현식은 값처럼 사용할 수 있습니다. 문법적으로 값이 위치할 수 있는 자리에는 표현식도 위치할 수 있다는 것을 의미합니다.

문

문과 표현식을 구별하고 해석할 수 있다면 자바스크립트 엔진의 입장에서 코드를 읽을 수 있고 실행 결과를 예측하는 데 도움이 됩니다. 이는 버그를 줄이고 코드의 품질을 높여줍니다.

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

문은 여러 토큰으로 구성됩니다. 토큰이란 문법적인 의미를 가지며, 문법적으로 더 이상 나눌 수 없는 코드의 기본 요소를 의미합니다.

문을 명령문이라고도 부릅니다. 즉 문은 컴퓨터에 내리는 명령입니다. 문이 실행되면 명령이 실행됩니다.

선언문, 할당문, 조건문, 반복문 등으로 구분할 수 있으며 변수 선언문을 실행하면 변수가 선언되고, 할당문을 실행하면 값이 할당되며 조건문을 실행하면 조건에 따라 실행할 코드 블록이 결정되어 실행되고 반복문을 실행하면 특정 코드 블록이 반복 실행됩니다.

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

세미콜론(;)은 문의 종료를 나타냅니다. 즉, 자바스크립트 엔진은 세미콜론으로 문이 종료한 위치를 파악하고 순차적으로 하나씩 문을 실행합니다. 따라서 문을 끝낼 때는 세미콜론을 붙여하 합니다. 단, 0개 이상의 문을 중괄호로 묶은 코드 블록 뒤에는 세미콜론을 붙이지 않습니다. 코드 블록은 언제나 문의 종료를 의미하는 자체 종결성을 갖기 때문입니다.

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

하지만 세미콜론 자동 삽입 기능의 동작과 개발자의 예측이 일치하지 않는 경우가 있습니다.

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

표현식은 문의 일부일 수도 있고 그 자체로 문이 될 수도 있습니다.

때문에 표현식과 문은 비슷해서 구별하기 어렵다고 느낄 수 있습니다. 하지만 표현식과 문을 구별하는 방법은 의외로 간단합니다.

문에는 표현식인 문과 표현식이 아닌 문이 있습니다. 표현식인 문은 값으로 평가될 수 있는 문이며, 표현식이 아닌 문은 값으로 평가될 수 없는 문입니다.

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