5장 표현식과 문

5.1 값

값은 식이 평가되어 생성된 결과를 말한다.

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

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

메모리에 저장된 값은 타입에 따라 다르게 해석될 수 있다. ex) 0100 0001 ⇒ 65 || ‘A’

변수에 할당되는 것은 값이다.

// 변수에는 10+20이 평가된 값 30이 할당된다.
var sum = 10 + 20;

5.2 리터럴

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

JS 엔진은 코드가 실행되는 시점 런타임에 리터럴을 평가해 값을 생성한다. 즉, 리터럴은 값을 생성하기 위해 미리 약속한 표기법이다.

정수 / 부동소수점 / 2진수 / 8진수 / 16진수 / 문자열 / 불리언 / null / undefined / 객체 / 배열 / 함수 / 정규표현식 등

5.3 표현식

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

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

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

// 식별자 표현식(선언된 후)
sum
person.name
arr[1]

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

// 함수/메서드 호출 표현식(선언된 후)
square()
person.getName()

표현식은 값으로 평가된다. 표현식과 표현식이 평가된 값은 동치 관계이다. 예를들어 수학에서 1+2=3 에서 1+2와 3은 동치인 것처럼 자바스크립트의 표현식 1+2와 3은 동치이다. 따라서 표현식은 값처럼 사용할 수 있고, 문법적으로 값이 위치할 수 있는 자리에 표현식도 위치할 수 있다.

5.4 문

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

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

문은 명령문이라고도 부르며, 문이 실행되면 명령이 실행되고 어떤 일이 발생한다.

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

// 변수 선언문
const x;

// 할당문
x = 5;

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

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

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

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

세미콜론(;)은 문의 종료를 나타낸다. JS 엔진은 세미콜론으로 문의 종료 위치를 파악하고, 순차적으로 문을 실행한다. 문을 묶은 코드 블록 {} 에는 자체 종결성이 있어 세미콜론을 붙이지 않는다.

JS에서 세미 콜론은 옵션이다. 이는 JS 엔진이 소스코드를 해석할 때 문의 끝에 세미콜론을 자동으로 붙여주는 세미콜론 자동 삽입 기능(ASI automatic semicolon insection)이 암묵적으로 수행되기 때문이다.

하지만 개발자의 생각과 자동 삽입 기능이 일치하지 않을 수 있기에 완벽하지는 않다.

알아서 판단하자

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

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

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

// 1, 2, 1+2, x=1+2 모두 표현식이다.
// x=1+2는 표현식이면서 완전한 문이다.
x = 1 + 2;

표현식인 문과 표현식이 아닌 문을 구별하는 가장 명료한 방법은 변수에 할당해 보는 것이다.

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

크롬 콘솔창에서 표현식이 아닌 문을 실행하면 언제나 완료 값 undefined를 출력한다. 표현식인 문은 평가된 값을 반환한다.