[JavaScript] 표현식과 문

값(value)

• 값: 식(표현식)이 평가(evaluate)되어 생성된 결과
• 평가: 식을 해석해서 값을 생성하거나 참조하는 것

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

 

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

메모리에 저장된 값은 데이터 타입에 따라 다르게 해석된다. 

ex) 메모리에 저장된 값 0100 0001 을 숫자로 해석하면 65지만 문자로 해석하면 'A'이다.

 

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

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

 

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

 

sum 변수에 할당되는 것

10 + 20 (X)

10 + 20이 평가된 결과인 숫자 값 30 = 메모리 공간에 저장된 것은 값 30이다.

 

값은 다양한 방법으로 생성할 수 있지만 가장 기본적인 방법은 리터럴을 사용하는 것이다.

 

리터럴

• 리터럴(literal): 사람이 이해할 수 있는 문자 또는 약속된 기호를 사용해 값을 생성하는 표기법(notation) = 값을 생성하기 위해 미리 약속한 표기법
• 리터럴은 그 자체로 표현식이다. (이유는 아래에서 설명)

// 숫자 리터럴 3
3

 

위 코드의 3은 숫자일까 아닐까?

위 코드의 3은 단순한 아라비아 숫자가 아니라 숫자 리터럴이다.

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

 

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

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

 

* 리터럴의 종류

출처: https://velog.io/@dltjq2323/%EB%A6%AC%ED%84%B0%EB%9F%B4

 

 

표현식(expression)

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

리터럴은 값으로 평가되므로 리터럴도 표현식이다.

 

var scroe = 100;

 

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

 

var score = 50 + 50;

score; // 100 (score변수를 참조) => 값으로 평가되므로 표현식이다.

 

변수 식별자를 참조하면 변수 값으로 평가된다. 식별자 참조는 값을 생성하지는 않지만 값을 평가되므로 표현식이다.
(식별자 참조도 표현식이다)

 

이처럼 표현식은 리터럴, 식별자(변수, 함수 등의 이름), 연산자, 함수 호출 등의 조합으로 이뤄질 수 있다. 다양한 표현식이 있지만 값으로 평가된다는 점에서 모두 동일하다

=> 값을 평가될 수 있는 문은 모두 표현식이다.

표현식이 값으로 평가된다 = 표현식은 값처럼 사용할 수 있다 = 값이 위치할 수 있는 자리에는 표현식도 위치할 수 있다.

 

 

문(statement)

• 문: 프로그램을 구성하는 기본 단위이자 최소 실행 단위 = 명령문 = 컴퓨터에 내리는 명령
• 문의 집합 = 프로그램
• 문을 작성하고 순서에 맞게 나열하는 것 = 프로그래밍
• 문은 여러 토큰으로 구성된다.
• 토큰(token): 문법적 의미를 가진다. 문법적으로 더 이상 나눌 수 없는 코드의 기본 요소이다.
  ex) 

여러 토큰이 모여 문이 되고 여러 문이 모여 프로그램이 된다.

여러 문을 순서에 맞게 나열하는 것이 프로그래밍이다.

 

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

 

 

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

• 세미콜론(;)은 문의 종료를 나타낸다.
• 0개 이상의 문을 중괄호로 묶은 코드 블록({ ... }) 뒤에는 세미콜론을 붙이지 않는다.
  ex) if문, for문, 함수 등의 코드 블록 뒤에는 세미콜론을 붙이지 않는다.
  => 코드 블록은 문의 종료를 의미하는 자체 종결성(self closing)을 갖기 때문!
• 세미콜론은 생략 가능하다
  • 자바스크립트 엔진이 소스코드를 해석할 때 문의 끝이라고 예측되는 지점에 세미콜론을 자동으로 붙여주는 세미콜론 자동 삽입 기능(ASI, automatic semicolon insertion)이 암묵적으로 수행되기 때문이다.
  • 세미콜론 자동 삽입 기능의 동작과 개발자의 예측이 일치하지 않는 경우가 있으니 주의하기

 

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

 

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

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

 

• 표현식인 문: 값으로 평가될 수 있는 문
• 표현식이 아닌 문: 값으로 평가될 수 없는 문

 

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

// 할당문은 그 자체가 표현식이면서 완전한 문이다. 
// 할당문 = 표현식인 문
x = 100;

 

 

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

 

var foo = x = 100;
console.log(foo); // 100

 

위의 예시는 할당문을 값처럼 변수에 할당했다. x = 100은 x 변수에 할당한 값 100으로 평가된다. 따라서 foo 변수에는 100이 할당 된다.

 

* 완료 값(completion value)

크롬 개발자 도구에서 표현식이 아닌 문을 실행하면 언제나 undefined를 출력한다. 이를 완료 값이라 한다.

완료 값은 표현식의 평가 결과가 아니므로 변수에 할당하거나 참조할 수 없다.

 

표현식이 아닌 문 실행

 

표현식인 문은 평가된 값을 반환한다.

 

 

퀴즈

- 자바스크립트 엔진은 코드가 실행되는 시점인 런타임(runtime) 이전에 리터럴을 평가해 값을 생성한다. (O, X)

정답: X

 

런타임에 리터럴을 평가해 값을 생성한다.

 

- (          )은 값으로 평가될수 있는 문(statement)이다.

 

정답: 표현식(expression)

- if문, for문, 함수 등의 코드 블록 뒤에는 세미콜론을 붙이지 않는다. (O, X)

정답: O

 

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

 

- 아래의 코드는 오류가 날까?

var foo = x = 50;
console.log(foo);

정답: 오류가 나지 않고 50 이 출력된다.

 

할당문은 표현식인 문이기 때문에 값처럼 사용할 수 있다.
위의 예시는 할당문(x = 50)을 값처럼 변수에 할당했다. x = 50은 x 변수에 할당한 값 50으로 평가된다. 따라서 foo 변수에는 50이 할당 된다.

(콘솔로그에 x = 50; 을 입력하면 50이 반환된다)

 

참고 서적: 모던 자바스크립트 Deep Dive