값(value)은 식(표현식, expression)이 평가(evaluate)되어 생성된 결과를 말한다.
평가란 식을 해석해서 값을 생성하거나 참조하는 것을 의미한다.
변수는 하나의 값을 저장하기 위해 확보한 메모리 공간 자체 또는 그 메모리 공간을 식별하기 위해 붙인 이름이다. 따라서 변수에 할당되는 것은 값이다.
// 10 + 20은 평가되어 숫자 값 30을 생성한다.
10 + 20; // 30
// 변수에는 10 + 20이 평가되어 생성된 숫자 값 30이 할당된다.
var sum = 10 + 20;
sum 변수에 할당되는 것은 10 + 10이 아니라 10 + 20이 평가된 결과인 숫자 값 30이다.
값은 다양한 방법으로 생성할 수 있는데 가장 기본적인 방법은 리터럴을 사용하는 것이다.
리터럴(literal)은 사람이 이해할 수 있는 문자(아라비아 숫자, 알파벳, 한글 등) 또는 약속된 기호(’’, “”, ., [], {}, // 등)를 사용해 값을 생성하는 표기법(notation)을 말한다.
JS 엔진은 코드가 실행되는 시점인 런타임에 리터럴을 평가해 값을 생성한다.
리터럴은 값을 생성하기 위해 미리 약속한 표기법이라고 할 수 있다.
| 리터럴 | 예시 | 비고 |
|---|---|---|
| 정수 리터럴 | 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)이다. 즉, 표현식이 평가되면 새로운 값을 생성하거나 기존값을 참조한다.
값으로 평가될 수 있는 문은 모두 표현식이다.
// 리터럴 표현식
10;
("Hello");
// 식별자 표현식(선언이 이미 존재한다고 가정)
sum;
person.name;
arr[1];
// 연산자 표현식
10 + 20;
sum = 10;
sum !== 100;
// 함수/메서드 호출 표현식(선언이 이미 존재한다고 가정)
square();
person.getName();
표현식은 값처럼 사용할 수 있다. 이것은 문법적으로 값이 위치할 수 있는 자리에는 표현식도 위치할 수 있다는 것을 의미한다.
var x = 1 + 2;
// 식별자 표현식 x는 3으로 평가된다.
x + 3;
statement와 expression을 구별하고 해석할 수 있어야 한다.
문(statement)은 프로그램을 구성하는 기본 단위이자 최소 실행 단위다.
문은 여러 토큰으로 구성된다. 토큰(token)이란 문법적인 의미를 가지며, 문법적으로 더 이상 나눌 수 없는 코드의 기본 요소를 의미한다.
// 변수 선언문
var x;
// 할당문
x = 5;
// 함수 선언문
function foo() {}
// 조건문
if (x > 1) {
console.log(x);
}
// 반복문
for (var i = 0; i < 2; i++) {
console.log(i);
}
세미콜론(;)은 문의 종료를 나타낸다.
JS 엔진은 소스코드를 해석할 때 문의 끝이라고 예측되는 지점에 세미콜론을 자동으로 붙여주는 세미콜론 자동 삽입 기능(ASI, automatic semicolon insertion)이 암묵적으로 수행한다.
하지만 세미콜론 자동 삽입 기능의 동작과 개발자의 예측이 일치하지 않는 경우가 간혹 있다. 정확히 말하면 다음 예제와 같이 개발자가 세미콜론 자동 삽입 기능의 동작을 제대로 예측하지 못해 제대로 활용하지 못하는 경우가 있다.
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 function
표현식은 문의 일부일 수도 있고 그 자체로 문이 될 수도 있다.
// 변수 선언문은 값으로 평가될 수 없으므로 표현식이 아니다.
var x;
// 1, 2, 1 + 2, x = 1 + 2는 모두 표현식이다.
// x = 1 + 2는 표현식이면서 완전한 문이기도 하다.
x = 1 + 2;
문에는 표현식인 문과 표현식이 아닌 문이 있다. 표현식인 문은 값으로 평가될 수 있는 문이며, 표현식이 아닌 문은 값으로 평가될 수 없는 문을 말한다. 예를 들어, 변수 선언문은 값으로 평가될 수 없다. 따라서 표현식이 아닌 문이다. 하지만 할당문은 값으로 평가될 수 있다. 따라서 표현식인 문이다.
표현식인 문과 표현식이 아닌 문을 구별하는 가장 간단하고 명료한 방법은 변수에 할당해 보는 것이다.
표현식인 문은 값으로 평가되므로 변수에 할당할 수 있다. 하지만 표현식이 아닌 문은 값으로 평가할 수 없으므로 변수에 할당하면 에러가 발생한다.
// 변수 선언문은 표현식이 아닌 문이다.
var x;
// 할당문은 그 자체가 표현식이지만 완전한 문이기도 하다. 즉, 할당문은 표현식인 문이다.
x = 100;
변수 선언문은 표현식이 아닌 문이다. 다시 말해 값으로 평가될 수 없다. 따라서 변수 선언문은 값처럼 사용할 수 없다.
// 표현식이 아닌 문은 값처럼 사용할 수 없다.
var foo = var x; // SyntaxError: Unexpected token var
이에 반해 위 예제 할당문 x = 100은 그 자체가 표현식이다. 즉, 할당문은 표현식인 문이기 때문에 값처럼 사용할 수 있다.
// 표현식인 문은 값처럼 사용할 수 있다.
var foo = (x = 100);
console.log(foo);
할당문을 값처럼 변수에 할당했다. 표현식인 문인 할당문은 할당한 값으로 평가된다. 즉 x = 100은 x 변수에 할당한 값 100으로 평가된다. 따라서 foo 변수에는 100이 할당된다.
표현식이 아닌 문을 실행하면 언제나 undefined를 출력하는 것을 완료 값이라 한다.
완료 값은 표현식의 평가 결과가 아니다. 따라서 다른 값과 같이 변수에 할당할 수 없고 참조할 수도 없다.
표현식인 문을 실행하면 언제나 평가된 값을 반환한다.