05. 표현식과 문
5.1 값
값(value)은 식(표현식 expression)이 평가(evaluate)되어 생성된 결과를 말한다.
평가란, 식을 해석해서 값을 저장하거나 참조하는 것을 말한다.
예제 05-01
10 + 20; // 3010 + 20은 평가되어 숫자 값 30을 생성한다.
모든 값은 데이터 타입을 가지며, 메모리에 2진수, 즉 비트(bit)의 나열로 저장된다.
메모리에 저장된 값은 데이터 타입에 따라 다르게 해석될 수 있다.
0100 0001 -> 숫자인 경우 65
-> 문자인 경우 A변수는 하나의 값을 저장하기 위해 확보한 메모리 공간 자체 또는 그 메모리 공간을 식별하기 위해 붙인 이름이다
따라서 변수에 할당되는 것은 값이다.
예제 05-02
var sum = 10 + 20;변수에는 10 + 20이 평가되어 생성된 숫자 값 30이 할당된다.
위 예제의 sum 변수에 할당되는 것은 10+20이 아니라 10+20이 평가된 값 30이다.
즉, 변수 이름 sum이 기억하는 메모리 공간에 저장된 것은 평가 결과값인 30이다.
따라서 10 + 20은 할당 이전에 평가되어 값을 생성하여야 한다.
값은 다양한 방법으로 생성할 수 있다.
위 예제처럼 식으로 생성할 수도 있지만 가장 기본적인 방법은 리터럴을 사용하는 것이다.
5.2 리터럴 (literal)
리터럴(literal)은 사람이 이해할 수 있는 문자 또는 약속된 기호를 사용해 값을 생성하는 표기법(notation)을 말한다.
예제 05-03
//숫자 리터럴 3
3;위 예제의 3은 단순한 아라비아 숫자가 아니라 숫자 리터럴이다.
사람이 이해할 수 있는 아라비아 숫자를 사용해 숫자 리터럴 3을 코드에 기술하면 자바스크립트 엔진은 이를 평가하여 숫자값 3을 생성한다.
즉, 리터럴은 평가되어 값을 생성한다.
이처럼 리터럴은 사람이 이해할 수 있는 문자 (아라비아 숫자, 알파벳, 한글 등) 또는 미리 약속된 기호('', "", [], {}, //, . 등)로 표기한 코드다.
자바스크립트 엔진은 코드가 실행되는 시점인 런타임에 리터럴을 평가해 값을 생성한다.
즉, 리터럴 값을 생성하기 위해 미리 약속한 표기법이라고 할 수 있다.
리터럴을 사용하면 다음과 같이 다양한 종류(data type)의 값을 생성할 수 있다.
정수 리터럴
(ex. 100)
부동소수점 리터럴
(ex. 10.5)
2진수 리터럴
(ex. 0b01000001) -> 0b로 시작
8진수 리터럴
(ex. 0o101) -> ES6에서 도입됨, 0o로 시작
16진수 리터럴
(ex. 0x41) -> ES6에서 도입됨, 0x로 시작
문자열 리터럴
(ex. 'Hello' "World")
불리언 리터럴
(ex. true false)
null 리터럴
(ex. null)
undefined 리터럴
(ex. undefined)
객체 리터럴
(ex. { name: 'Lee', address: 'Seoul' })
배열 리터럴
(ex. [1, 2, 3])
함수 리터럴
(ex. function() {})
정규 표현식 리터럴
(ex. /[A-Z]+/g)5.3 표현식 (expression)
표현식(expression)은 값으로 평가될 수 있는 문(statement)이다.
즉, 표현식이 평가되면 새로운 값을 생성하거나 기존 값을 참조한다.
앞서 살펴본 리터럴은 값으로 평가된다.
따라서 리터럴도 표현식이다.
예제 05-04
var score = 100;위 예제의 100은 리터럴이다. 리터럴 100은 자바스크립트 엔진에 의해 평가되어 값을 생성하므로 리터럴은 그 자체로 표현식이다.
예제 05-05
var score = 50 + 50;50 + 50은 리터럴과 연산자로 이루어져 있다.
하지만, 50 + 50도 평가되어 숫자 값 100을 생성하므로 표현식이다.
이번에는 score 변수를 참조해보자.
예제 05-06
score; // 100변수 식별자를 참조하면 변수 값으로 평가된다.
식별자 참조는 값을 생성하지는 않지만 값으로 평가되므로 표현식이다.
이처럼 표현식은 리터럴, 식별자(변수, 함수 등의 이름), 연산자, 함수 호출 등의 조합으로 이뤄질 수 있다.
다름과 같이 다양한 표현식이 있지만 값으로 평가된다는 점에서 모두 동일하다.
즉, 값으로 평가될 수 있는 문은 모두 표현식이다.
예제 05-07
//리터럴 표현식
10;
('hello');
// 식별자 표현식(선언이 이미 존재한다고 가정)
sum;
person.name;
arr[1];
// 연산자 표현식
10 + 20;
sum = 10;
sum !== 10;
// 함수 / 메서드 호출 표현식 (선언이 이미 존재한다고 가정)
square();
person.getName();표현식은 값으로 평가된다.
이때 표현식이 평가된 값은 동등한 관계, 즉 동치이다.
자바스크립트 표현식 1 + 2는 평가되어 값 3을 생성하므로 표현식 1 + 2와 값 3은 동치이다.
따라서 표현식은 값처럼 사용할 수 있다.
이것은 문법적으로 값이 위치할 수 있는 자리에는 표현식도 위치할 수 있다는 것을 의미한다.
예제 05-08
var x = 1 + 2;
// 식별자 표현식 x는 3으로 평가된다
x + 3; // 6위 예제의 x + 3은 표현식이다.
- 연산자는 좌항과 우항의 값을 산술 연산하는 연산자이므로 좌항과 우항에는 숫자 값이 위치해야 한다.
이 때 좌항 x는 식별자 표현식이다.
즉 x는 할당되어 있는 숫자 값 3으로 평가된다.
따라서 숫자 값이 위치해야할 자리에 표현식 x를 사용할 수 있다.
이처럼 표현식은 다른 표현식의 일부가 되어 새로운 값을 만들어낼 수 있다.
5.4 문 (statement)
문 (statement)
: 프로그램을 구성하는 기본 단위이자 최소 실행 단위
문은 여러 토큰으로 구성된다.
여기서 토큰 (Token)이란 문법적인 의미를 가지며, 문법적으로 더 이상 나눌 수 없는 코드의 기본 요소를 의미한다.
문(statement)의 종류
- 선언문
- 할당문
- 조건문
- 반복문
- etc..
예제 05-09
// 변수 선언문
var x;
// 할당문
x = 5;
// 함수 선언문
function foo() {}
// 조건문
if (x > 1) {
console.log(x);
}
// 반복문
for (var i = 0; i < 2; i++) {
console.log(i);
}5.5 세미콜론과 세미콜론 자동 삽입 기능
세미콜론(;)은 문의 종료를 나타낸다.
따라서 문을 끝낼 때는 세미콜론을 붙여야 한다.
단, 0개 이상의 문을 중괄호로 묶은 코드 블록 뒤에는 세미콜론을 붙이지 않는다.
왜냐하면 코드블록 자체가 문의 종료를 의미하는 자체 종결성을 갖기 때문이다.
세미콜론 자동 삽입 기능 (ASI)
세미콜론은 생략이 가능하다.
자바스크립트 엔진이 소스코드를 해석할 때 문의 끝이라고 예측되는 지점에 세미콜론을 자동으로 붙여주기 때문이다.
하지만 간혹 ASI 동작이 개발자의 예측과 일치하지 않는 경우가 있다.
예제 05-10
function foo() {
return;
{
}
// ASI의 동작 결과 => return; {};
// 개발자의 예측 => return {};
}
console.log(foo()); // undefined
var bar = (function () {})(function () {})();
// ASI의 동작 결과 => var bar = function () {}(function() {})();
// 개발자의 예측 => var bar = function () {}; (function() {})();
// TypeError: (intermediate value)(...) is not a function5.6 표현식인 문과 표현식이 아닌 문
문에는 표현식인 문과 표현식이 아닌 문이 있다.
그 구별 방법에 대해 배워보자.
예제 05-11
// 변수 선언문은 값으로 평가될 수 없으므로 표현식이 아니다
var x;
// 1, 2, 1 + 2, x = 1 + 2는 모두 표현식이다
// x = 1 + 2는 표현식이면서 완전한 문이기도 하다
x = 1 + 2;표현식과 문을 구별하는 방법
표현식인 문과 표현식이 아닌 문을 구별하는 가장 간단하고 명료한 방법은 변수에 할당하여 보는 것이다.
예제 05-12
// 표현식이 아닌 문은 값처럼 사용할 수 없다
var foo = var x; // SyntaxError: Unexpected token var위 예제의 변수 선언문은 표현식이 아닌 문이다. 다시 말해 값으로 평가될 수 없다.
따라서 변수 선언문은 값처럼 사용할 수 없다.
예제 05-13
// 변수 선언문은 표현식이 아닌 문이다.
var x;
// 할당문은 그 자체가 표현식이지만 완전한 문이기도 하다.
// 즉, 할당문은 표현식인 문이다.
x = 100;위의 x = 100은 그 자체가 표현식이다.
즉, 할당문은 표현식인 문이기 때문에 값처럼 사용할 수 있다.
예제 05-14
// 표현식인 문은 값처럼 사용할 수 있다
var foo = (x = 100);
console.log(foo); // 100할당문을 값처럼 변수에 할당했다.
표현식인 문은 할당문은 할당한 값으로 평가된다.
따라서 foo 변수에는 100이 할당된다. (foo와 x를 동치로 보기 때문이다)
❗ 완료 값 (Completion Value)
표현식이 아닌 문을 실행하면 언제나 undefined를 출력하며 이를 완료 값이라고 한다.
완료값은 표현식의 평가 결과가 아니다.
따라서 다른 값과 같이 변수에 할당할 수 없고 참조할 수도 없다.
