[JavaScript] 표현식과 문

 

오늘은 표현식과 문에 대해 알아보자

어떻게 보면 당연할 수도 있다고 생각해 간과할 수 있는 내용이지만, 굉장히 중요하다고 생각한다. 

 

 

 

 

 

[ 값 ]

값(value)은 식(표현식 expression)이 평가(evaluation)되어 생성된 결과를 말한다.

평가란, 식을 해석해서 값을 생성하거나 참조하는 것을 의미한다.

 

다음 예제를 살펴보자.

10 + 20; // 30
// 10 + 20은 평가되어 숫자 값 30을 생성한다.

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

메모리에 저장된 값은 데이터 타입에 따라 달리 해석될 수 있다. 예를 들어, 메모리에 저장된 값 0100 0001을 숫자로 해석하면 65지만, 문자로 해석하면 'A'이다. 

변수는 하나의 값을 저장하기 위해 확보한 메모리 공간 자체, 또는 그 메모리 공간을 식별하기 위해 붙인 이름이다. 

따라서, 변수에 할당되는 것은 값이다.

 

 

 

var sum = 10 + 20; 
// sum이라는 이름으로 변수 선언된 문에는 (변수에는) 10 + 20이 평가되어 생성된 숫자 값 30이 할당된다.

위 예제에서 sum 변수에 할당되는 것은 10 + 20이 아니라 10 + 20이 평가된 결과인 숫자 값 30이다. 

즉, 변수 이름 sum이 기억하는 메모리 공간에 저장된 것은 10 + 20이 아니라 값 30이다.

따라서 10 + 20은 할당 이전에 평가되어 값을 생성해야 한다.

 

"값"이라는 용어를 알고 있다고 생각하겠지만, 막상 설명해보라고 하면 난감할 수 있다.

개념을 이해한다는 것은 바로 용어를 정확히 이해하고 설명할 수 있다는 것이다. 만약 용어의 의미를 정확히 설명할 수 없다면 개념을 제대로 이해하지 못한 경우가 많다.

 

 

값에 대해서 더 자세히 파고들어 보자

---

 

[ 리터럴 ]

리터럴(literal)은 사람이 이해할 수 있는 문자 또는 약속된 기호를 사용해 값을 생성하는 표기법(notation)을 말한다.

 

3
// 숫자 리터럴 3

위 예제의 3은 단순한 숫자가 아니라 숫자 리터럴이다. 

사람이 이해할 수 있는 아라비아 숫자를 사용해 숫자 리터럴 3을 코드에 기술하면 자바스크립트 엔진은 이를 평가해 숫자 값 3을 생성한다.

 

 

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

즉, 리터럴은 값을 생성하기 위해 미리 약속한 표기법이라고 할 수 있다.

 

 

리터럴을 사용하면 다양한 종류(data type)의 값을 생성할 수 있다. 

종류는 다음과 같다. 

 

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

위 예제의 10은 리터럴이다.

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

 

 

다음 예제를 살펴보자

var value = 5 + 5;

5 + 5는 리터럴과 연산자로 이루어져 있다. 하지만, 5 + 5도 평가되어 숫자 값 10을 생성하므로 표현식이다.

 

 

이번에는 value 변수를 참조해보자

value; // 10

변수 식별자를 참조하면 변수 값으로 평가된다. 

식별자 참조는 값을 생성하지는 않지만 값으로 평가되므로 표현식이다.

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

 

 

다음과 같이 다양한 표현식이 있지만 값으로 평가된다는 점에서 모두 동일하다.

즉, 값으로 평가될 수 있는 문은 모두 표현식이다.

// 리터럴 표현식
100
'JavaScript'

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

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

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

표현식은 값으로 평가된다. 이때 표현식과 표현식이 평가된 값을 동등한 관계, 즉 동치(equlvalent)다.

=> 1 + 2  = 3  여기서 1 + 2와 3은 동치다. 

 

따라서 표현식은 값처럼 사용할 수 있다.  

이것은 문법적으로 값이 위치할 수 있는 자리에는 표현식도 위치할 수 있다는 것을 의미한다.

 

 

예를 들어, 산술 연산자 +의 좌항과 우항에는 숫자 값이 위치해야 한다.

이때 숫자 값으로 평가될 수 있는 표현식이라면 숫자 값 대신 사용할 수 있다.

var x = 1 + 2; 

// 식별자 표현식 x는 3으로 평가된다. 

x + 3; // 6

x + 3; 에서 좌항 x는 식별자 표현식이다.

 

---

 

[ 문 ]

자바스크립트를 설명할 때 "문(statement)"과 "표현식(expression)"이라는 용어가 자주 등장한다.

문과 표현식을 구별하고 해석할 수 있다면 자바스크립트 엔진의 입장에서 코드를 읽을 수 있고, 실행 결과를 예측하는 데 도움이 된다. 

 

이는 버그를 줄이고 코드의 품질을 높여줄 것이다.

 

문은 프로그램을 구성하는 기본 단위이자 최소 실행 단위이다.

문의 집합으로 이뤄진 것이 바로 프로그램이며, 문을 작성하고 순서에 맞게 나열하는 것이 프로그래밍이다. 

 

문은 여러 토큰으로 구성된다. 

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

 

 

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

var sum = 1 + 2; 

// 토큰 : var, sum, =, 1, +, 2, ; 
// 키워드 : var
// 식별자 : sum
// 연산자 : =, +
// 리터럴 : 1, 2 
// 세미콜론 : ;

문은 명령문이라고도 부른다.

즉. 문은 컴퓨터에서 내리는 명령이다. 문이 실행되면 명령이 실행되고 무슨 일인가 일어나게 된다. 

 

 

문은 선언문, 할당문, 조건문, 반복문 등으로 구분할 수 있다.

// 변수 선언문
var x;

// 할당문
x = 5; 

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

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

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

 

 

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

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

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

// 1, 2, 1 + 2, x = 1 + 2는 모두 표현식이다.

// x = 1 + 2;는 표현식이면서 완전한 문이기도 하다.
x = 1 + 2;

이처럼 표현식과 문은 비슷해서 구별하기 어렵다고 느낄 수 있다.

하지만 표현식과 문을 구별하는 방법은 이외로 간단하다. 

바로 변수에 할당해 보는 것이다.

표현식인 문은 값으로 평가되므로 변수에 할당할 수 있다. 하지만 표현식이 아닌 문은 값으로 평가할 수 없으므로 변수에 할당하면 에러가 발생한다. 

 

 

다음 예제를 살펴보자

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

위 예제의 변수 선언문은 표현식이 아닌 문이다. 

다시 말해 값으로 평가될 수 없으므로, 변수 선언문은 값처럼 사용할 수 없다.

 

 

// 변수 선언문은 표현식이 아닌 문이다
var name;

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

name = 'zenghyun';

이에 반해 위 예제의 할당문 name = 'zenghyun'은 그 자체가 표현식이다. 

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