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

개념을 이해한다는 것은 용어를 정확하게 이해하고 설명할 수 있다는 것 입니다. 용어에 대한 정확한 이해는 개념을 정립하는데 빠질 수 없는 필수 요소로 정확한 커뮤니케이션을 가능하게 합니다. 이번 5장 요약 글에서는 앞으로 자주 사용할 용어의 의미를 살펴보겠습니다.

📚 값 이란?

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

10 + 20; //30
'10 + 20 이라는 식이 평가되어 숫자 값 30을 생성'

모든 값은 데이터 타입을 가지며, 메모리에 저장된 값은 데이터 타입에 따라 다르게 해석될 수 있습니다.
ex) 메모리에 저장된 값 0100 0001 을 숫자로 해석하면 65, 문자로 해석하면 'A'가 됩니다.

📚 리터럴

리터럴은 사람이 이해할 수 있는 문자(아라비아 숫자, 알파벳, 한글 등) 또는 약속된 기호('', "", ., [], {}, // 등)를 사용해 값을 생성하는 표기법을 말합니다. 즉, 리터럴은 값을 생성하기 위해 미리 약속한 표기법이라고 할 수 있습니다.
값을 생성할 수 있는 가장 기본적인 방법은 리터럴을 사용하는 것입니다.

리터럴	예시	비고
정수 리터럴	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

📚 표현식

표현식은 값으로 평가될 수 있는 문(statement)입니다.
표현식이 평가되면 새로운 값을 생성하거나 기존 값을 참조합니다.
값으로 평가될 수 있는 리터럴도 표현식이라 할 수 있습니다.

let score = 100;
let score = 50 + 50;
score; //100
'모두 값 100을 생성하므로 표현식이라 할 수 있습니다.'

여기서 변수 식별자(score)를 참조하면 변수 값으로 평가됩니다. 식별자 참조는 값을 생성하지는 않지만 값으로 평가되므로 표현식이라 할 수 있습니다.
즉, 값으로 평가될 수 있는 문은 모두 표현식입니다.

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

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

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

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

표현식은 값처럼 사용할 수 있기 때문에 값이 위치할 수 있는 자리에 표현식이 위치할 수 있습니다.

📚 문(statement)

문과 표현식을 확실하게 구별하고 해석할 수 있다면 자바스크립트 엔진의 입장에서 코드를 읽을 수 있고 실행 결과를 예측하는데 도움이 될 수 있습니다. 버그를 줄이고 코드의 품질을 높이기 위해 확실한 이해가 필요합니다.

문(statement)은 프로그램을 구성하는 기본 단위이자 최소 실행 단위입니다.
문의 집합으로 이뤄진 것이 바로 프로그램입니다.

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

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

//변수 선언문
const x;

//할당문
x = 5;

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

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

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

📚 세미콜론 ;

세미콜론은 문의 종료를 나타냅니다. 문의 종료 위치를 파악하고 순차적으로 하나씩 문을 실행하기 때문에 문을 끝낼 때는 세미콜론을 붙여야 합니다.
단, 중괄호{}로 묶은 코드 블록(예를 들어 if문, for문, 함수 등) 뒤에는 세미콜론을 생략하는데 이러한 코드 블록은 언제나 문의 종료를 의미하는 자체 종결성을 갖기 때문입니다.

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

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

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

//변수 선언문은 값으로 평가될 수 없으므로 표현식이 아닌 문입니다.
let x;
//x = 1 + 2 는 표현식이면서 완전한 문이기도 합니다. 
x = 1 + 2

표현식인 문은 값으로 평가될 수 있는 문이며, 표현식이 아닌 문은 값으로 평가될 수 없는 문을 말합니다.

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

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