[JS] 표현식과 문의 개념

김춘삼씨의 고양이 2023. 3. 1. 12:31

📌 값과 리터럴

값(Variable)은 식(표현식)이 평가되어 생성된 결과를 말한다. 변수에 할당되는 것이 값이다.

모든 값은 데이터 타입을 가지며, 메모리에 2진수, 즉 비트의 나열로 저장된다.

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

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

자바스크립트 엔진은 코드가 실행되는 시점인 런타임에 리터럴을 평가해 값을 생성한다.

// 숫자 리터럴 3을 평가해 숫자 값 3을 생성한다.
3

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

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

📌 표현식

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

표현식은 리터럴, 식별자(변수, 함수 등의 이름), 연산자, 함수 호출 등의 조합으로 이뤄질 수 있다. 즉, 값으로 평가될 수 있는 문은 모두 표현식이다.

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

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

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

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

표현식과 표현식이 평가된 값은 동등한 관계(동치, equivalent)이므로 표현식을 값처럼 사용할 수 있다. 문법적으로 값이 위치할 수 있는 자리에는 표현식도 위치할 수 있다는 것이다.

표현식은 다른 표현식의 일부가 되어 새로운 값을 만들어낼 수도 있다.

var x = 1 + 2;

// 식별자 표현식 x는 3으로 평가된다.
// 숫자 값으로 평가될 수 있는 표현식 x를 숫자 값 대신 사용할 수 있다.
x + 3; // 6

📌 문

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

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

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

// 변수 선언문
var x;

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

// 할당문
x = 5;

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

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

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

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

0개 이상의 문을 중괄호로 묶은 코드 블록({ ... })은 문의 종료를 의미하는 자체 종결성(Self Closing)을 갖기 때문에 세미콜론이 붙지 않는다.

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

그러나 세미코론 자동 삽입 기능의 동작과 개발자의 예측이 일치하지 않는 경우가 간혹 있기 때문에 세미콜론 사용을 권장하고 있다.

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

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

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

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

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

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

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

참고문헌 및 출처 : 모던 자바스크립트 Deep Dive (이웅모)