05장 표현식과 문, 06장 데이터 타입

05장 표현식과 문

5.1 값

  값이란 표현식이 평가되어 생성된 결과를 말한다. 평가란 식을 해석해서 값을 생성하거나 참조하는 것을 의미한다.

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

변수는 하나의 값을 저장하기 위해 확보한 메모리 공간 자체 또는 그 메모리 공간을 식별하기 위해 붙인 이름이라고 했는데, 따라서 변수에 할당되는 것은 '값'이다. 값은 다양한 방법으로 생성할 수 있다. 위 예제처럼 식으로 생성할 수도 있지만 가장 기본적인 방법은 '리터럴'을 사용하는 것이다.

 

5.2 리터럴

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

//숫자 리터럴 3
var num = 3;
//숫자 리터럴 3이 평가되어 숫자 값 3을 생성하고, num 변수에 숫자 값 3을 할당한다.

자바스크립트 엔진은 코드가 실행되는 시점인 런타임에 리터럴을 평가해 값을 생성한다. 즉, 리터럴은 값을 생성하기 위해 미리 약속한 표기법이라고 할 수 있다. 리터럴을 사용하면 다양한 종류(data type)의 값을 생성할 수 있다.

 

5.3 표현식

  표현식이란 값으로 평가될 수 있는 문이다. 즉, 표현식이 평가되면 새로운 값을 생성하거나 기존 값을 참조한다. 위에 정리한 리터럴은 값으로 평가된다. 그러므로 리터럴도 표현식이다.(리터럴은 그 자체로 표현식이다.)

var score = 50 + 50;
//50 + 50은 숫자 리터럴과 연사자로 이뤄져 있다. 50 + 50은 자바스크립트 엔진에 의해 평가되어
//값 100을 생성하므로 표현식이다.

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

표현식은 값으로 평가된다. 이때 표현식과 표현식이 평가된 값은 동등한 관계, 동치다. 그러므로 표현식은 값처럼 사용할 수 있다.

 

5.4 문 == 명령문

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

토큰이란, 문법적인 의미를 가지며, 문법적으로 더 이상 나눌 수 없는 코드의 기본 요소를 의미한다. ex)키워드, 식별자, 연산자, 리터럴 등

 

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

  세미콘론(;)은 문의 종료를 나타낸다. 즉, 자바스크립트 엔진은 세미콜론으로 문이 종료한 위치를 파악하고 순차적으로 하나씩 문을 실행한다. 따라서 문을 끝낼 때는 세미콜론을 붙여야 한다. 단, 0개 이상의 문을 중괄호를 묶은 코드블록( {...} )뒤에는 세미콜론을 붙이지 않는다. 코드 블록은 언제나 문의 종료를 의미하는 자체 종결성을 갖기 때문이다. 하지만 자바스크립트에서 세미콜론은 생략 가능하다. 이는 자바스크립트 엔진이 세미콜론 자동 삽입 기능을 암묵적으로 수행하기 때문이다. 그러나 개발자의 예측과 일치하지 않는 경우가 간혹 있으므로, 세미콜론을 붙이는게 좋다.

 

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

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

var x = 3; //그 자체로 문이 되는 표현식
var i = x + 4; //x는 문의 일부분인 표현식(i도 값으로 평가되므로 표현식임)

문에는 표현식인 문과 표현식이 아닌 문이 있다. 표현식인 문은 값으로 평가될 수 있는 문이며, 표현식이 아닌 문은 값으로 평가될 수 없는 문을 말한다. 변수 선언문은 값으로 평가될 수 없으므로, 표현식이 아닌 문이며, 할당문은 값으로 평가될 수 있으므로, 표현식인 문이다.

표현식인 문과 표현식이 아닌 문을 구별하는 가장 간단하고 명료한 방법은 변수에 할당해 보는 것이다. 표현식인 문은 값으로 평가 될 수 있으므로 변수에 할당할 수 있다. 하지만 표현식이 아닌 문은 값으로 평가될 수 없으므로 변수에 할당하면 에러가 발생한다. 

var x; //변수 x선언
var i; //변수 i선언
i = var x; //변수 x 선언문은 변수 i에 할당할 수 없다.(SyntaxError발생)
//그러므로 var x;는 표현식이 아닌 문이다.

var y; //변수 선언
y = 100; //값의 할당
i = y = 100; // 변수 y는 값으로 평가되므로 i에 할당할 수 있다.
//그러므로 y = 100;은 표현식인 문이다.

표현식인 문인 할당문은 할당한 값으로 평가된다. 즉, y = 100은 y변수에 할당한 값 100으로 평가된다. 

 

@기초개념 

-완료 값 : 크롬 개발자 도구에서 표현식이 아닌 문을 실행하면 언제나 undefined를 출력한다. 이를 완료 값이라 한다. 완료 값은 표현식의 평가 결과가 아니므로, 다른 값과 같이 변수에 할당할 수 없고 참조할 수도 없다. 참고로 개발자 도구에서 표현식인 문을 실행하면 언제나 평가된 값을 반환한다.

 

06장 데이터 타입 == 타입 == '값'의 종류

  자바스크립트는 7개의 데이터 타입을 제공한다. 

구분	데이터 타입	설명
원시 타입	숫자 타입	숫자(정수,실수 구분없음)
	문자열 타입	문자열
	불리언 타입	true, false
	undefined 타입	var키워드 변수에 초기화 되는 값
	null 타입	값이 없다는 것을 명시 할 때의 값
	symbol 타입	ES6에 추가된 7번째 타입
객체 타입		객체,배열,함수 등

6.1 숫자 타입(number)

  자바스크립트는 'C'나 'Java'와 다르게 하나의 숫자 타입만 존재한다. ECMAScript 사양에 따르면 숫자 타입의 값은 배정밀도 64비트 

부동소수점 형식을 따른다. 즉, 모든 수를 실수로 처리하며, 정수만 표현하기 위한 데이터 타입은 별도로 존재하지 않는다. 이는 정수로 표시 된다 해도 사실은 실수라는 것을 의미한다. 따라서 정수로 표시되는 수끼리 나누더라도 실수가 나올 수 있다. 

정수, 실수, 2진수, 8진수, 16진수 리터럴은 모두 메모리에 배정밀도 64비트 부동소수점 형식의 2진수로 저장되고, 자바스크립트는 2진수, 8진수, 16진수를 표현하기 위한 데이터 타입을 제공하지 않기 때문에 이들 값을 참조하면 모두 10진수로 해석된다.

console.log(3/2); // 1.5

숫자 데이터 타입의 추가적인 세 가지 특별한 값

1. Infinity : 양의 무한대

2. -Infinity : 음의 무한대

3. NaN : 산술 연산 불가(자바스크립트는 대/소문자를 구별하기 때문에 주의해야 함 ex)자바스크립트는 Nan은 식별자로 해석함)

 

6.2 문자열 타입(string)

  문자열 타입은 텍스트 데이터를 나타내는 데 사용한다. 문자열은 16비트 유니코드 문자의 집합으로 전 세계 대부분의 문자를 표현 할 수 있다. 문자열은 작은따옴표, 큰따옴표, 백틱으로 텍스트를 감싸서 표현한다. (가장 일반적인 표기법은 작은따옴표를 사용하는 것이다.)

var string;
string = '문자열'
string = "문자열"
string = `문자열`

다른 타입과 다르게 문자열에 따옴표를 감싸는 이유는 키워드나 식별자 같은 토큰과 구분하기 위해서다. 

자바스크립트의 문자열은 원시 타입이며, 변경 불가능한 값이다.(자세한 내용은 후술)

 

6.3 템플릿 리터럴(template literal)

  ES6부터 템플릿 리터럴이라고 하는 새로운 문자열 표기법이 도입되었다. 템플릿 리터럴은 편리한 문자열 처리 기능을 제공한다.

텔플릿 리터럴은 런타임에 일반 문자열로 변환되어 처리된다. 템플릿 리터럴은 백틱(` `)을 사용해 표현한다.

var string = `Template literal`

 

6.3.1 멀티라인 문자열

  일반 문자열 내에서는 줄바꿈(개행)이 허용되지 않는다. 따라서 일반 문자열 내에서는 이스케이프 시퀀스를 사용해야 한다.

이스케이프 시퀀스	의미	이스케이프 시퀀스	의미
\0	Null	\v	탭(수직)
\b	백스페이스	\uXXXX	유니코드
\f	폼피드	\'	작은따옴표
\n	개행(Line Feed)	\"	큰따옴표
\r	개행(Carrige Return)	\\	백슬래시
\t	탭(수평)

문자열 내에서 개행을 할 때는 일반적으로 (\n)을 사용해 개행한다. 

var string = 'hello\nworld';
console.log(string);
/*
hello
world
*/

일반 문자열과 달리 템플릿 리터럴 내에서는 이스케이프 시퀀스를 사용하지 않고도 줄바꿈이 허용되며, 모든 공백도 있는 그대로 적용된다.

var string = `  hello
world`;
console.log(string);
/*
  hello
world
*/

 

6.3.2 표현식 삽입

  문자열은 문자열 연결 연산자 +를 사용해 연결할 수 있다. 문자열 연결 연산자 +는 피연산자 중 하나 이상이 문자열인 경우 문자열 연결 연사자로 동작한다.(암묵적 타입 강제 변환이 발생함). 그 외의 경우는 이항 산술 연산자로 동작한다.

var first = 'heung-min';
var last = 'Son';
console.log('My name is' + first + '' + last + '.');
// My name is heung-min Son.

템플릿 리터럴을 사용하면 보다 가독성 좋고 간편하게 문자열을 조합 할 수 있다. 표현식을 삽입하려면 ${ }을 사용하여 표현한다.

var first = 'heung-min';
var last = 'Son';
console.log(`My name is ${first} ${last}.`);
// My name is heung-min Son.

표현식 삽입은 반드시 템플릿 리터럴 내에서 사용해야 한다. 템플릿 리터럴이 아닌 일반 문자열에서의 표현식 삽입은 문자열로 취급된다.

var first = 'heung-min';
var last = 'Son';
console.log('My name is ${first} ${last}.');
// My name is ${first} ${last}.

 

6.4 불리언 타입

  불리언 타입의 값은 논리적 참, 거짓을 나타내는 true와 false뿐이다.

불리언 타입의 값인 true와 false는 제어문인 조건문에서 자주 사용한다.

 

6.5 undefined 타입

  undefined 타입의 값은 undefined가 유일하다.  var 키워드로 선언한 변수는 암묵적으로 자바스크립트 엔진에 의해 undefined로 초기화된다. 따라서 변수 선언 이후 값을 할당하지 않으면 변수 참조시,  undefined 값을 반환한다. 따라서 변수 참조시 undefined 값이 반환되면 변수 선언 이후 값이 할당된 적이 없는 변수라는 것을 간파 할 수 있다.

 

6.6 null 타입

  null 타입의 값은 null이 유일하다.(자바스크립트는 대/소문자를 구별하므로 주의해야 한다.) 프로그래밍 언어에서 null은 변수에 값이 없다는 것을 의도적으로 명시 할 때 사용한다. 변수에 null을 할당하는 것은 변수가 이전에 참조하던 값을 더 이상 참조하지 않겠다는 의미다. 

추가적으로, 함수가 유효한 값을 반환할 수 없는 경우 명시적으로 null을 반환하기도 한다.

 

6.7 Symbol 타입

  심벌 타입은 변경 불가능한 원시 타입의 값이다. 심벌 값은 다른 값과 중복되지 않는 유일무이한 값이다. 심벌 이외의 원시 값은 리터럴을 통해 생성하지만 심벌은 Symbol 함수를 호출해 생성한다. (자세한 내용은 후술, 함수 호출시 대/소문자 주의해야 한다.)

 

6.8 객체 타입

  자바스크립트의 데이터 타입은 크게 원시 타입과 객체 타입으로 분류된다. 위에서 정리한 6가지 원시 타입 이외의 값은 모두 객체 타입이다.(자세한 내용은 후술)

 

6.9 데이터 타입의 필요성

var num = 100;

  위 코드가 실행되면 함수가 선언되고, 숫자 리터럴 100이 평가되어, 숫자 값 100을 저장하기 위해 메모리 공간을 확보한 다음, 확보된 메모리에 숫자 값 100을 2진수로 저장한다. 이러한 처리를 하려면 숫자 값을 저장할 때 확보해야 할 메모리 공간의 크기를 알아야 한다. 자바스크립트 엔진은 데이터 타입에 따라 정해진 크기의 메모리 공간을 확보한다. 즉 변수에 할당되는 값의 데이터 타입에 따라 확보해야 할 메모리 공간의 크기가 결정된다. (참고로, 배정밀도 64비트 부동소수점 형식은 8바이트를 숫자로 표현함, 즉 메모리 셀 8개가 필요함)

 

값을 참조하는 경우에는, 식별자 num을 통해 숫자 타입의 값 100이 저장되어 있는 메모리 공간의 선두 메모리 셀의 주소를 찾아 갈 수 있다. 이때 값을 참조하려면 한 번에 읽어 들여야 할 메모리 공간의 크기, 즉 메모리 셀의 개수를 알아야 한다. 위 코드의 변수에는 숫자 타입의 값이 할당되어 있으므로 자바스크립트 엔진은 num변수를 숫자 타입으로 인식하고, 숫자 타입은 8바이트 단위로 저장되므로 num 변수를 참조하면 8바이트 단위로 메모리 공간에 저장된 값을 읽어 들인다.

 

마지막으로, 참조를 통해 읽어 들인 숫자 값 100의 2진수를 어떻게 해석해야 하는지가 문제된다. 메모리에 저장된 값은 데이터 타입에 따라 다르게 해석될 수 있다.( ex) 0100 0001은 숫자로 해석하면 65, 문자열로 해석하면 'A'다. ) 

 

위 내용을 간단하게 정리해 보면, 데이터 타입이 필요한 이유는

첫째, 값을 저장할 때 확보해야 하는 메모리 공간의 크기를 결정하기 위해서다.

둘째, 값을 참조할 때 한 번에 읽어 들여야 할 메모리 공간의 크기를 결정하기 위해서다.

셋째, 메모리에서 읽어 들인 2진수를 어떻게 해석할지 결정하기 위해서다.

 

6.10 동적 타이핑

6.10.1 동적 타입 언어와 정적 타입 언어(변수 타입의 문제)

  C나 Java와 같은 정적 타입 언어는 변수를 선언할 때 변수에 할당할 수 있는 데이터 타입을 사전에 선언해야 한다. 즉 명시적 타입 선언이 필요하다. 정적 타입 언어는 변수의 타입을 변경할 수 없고, 변수에 선언한 타입에 맞는 값만 할당할 수 있다.(정적 타입 언어)

 

반대로, 자바스크립트는 정적 타입 언어와 다르게 변수를 선언할 때 타입을 선언하지 않는다. 자바스크립트의 변수는 정적 타입 언어와 같이 미리 선언한 데이터 타입의 값만 할당할 수 있는게 아니라 어떠한 데이터 타입의 값이라도 자유롭게 할당 할  수 있다. (동적 타입 언어)

 

다시 정리해 보자면, 정적 타입 언어는 변수를 선언하는 시점에 변수의 타입이 결정되고, 동적 타입 언어는 변수를 할당하는 시점에 변수의 타입이 동적으로 결정되고 변수의 타입은 재할당을 통해 언제든지 변경할 수 있다. 동적 타입 언어는 굉장히 편리하고 유연하지만, 반대로 언제든지 변경될 수 있으므로 신뢰성은 떨어질 수 있다는 단점을 가지고 있다. 그러므로 변수를 사용할 때 주의를 요한다.

 

※주의사항

1. 변수는 꼭 필요한 경우에 한해 제한적으로 사용한다.

2. 변수의 유효 범위를 최대한 좁게 만들어 변수의 부작용을 억제한다.

3. 전역 변수는 최대한 사용하지 않도록 한다.

4. 변수보다는 상수를 사용해 값의 변경을 언제한다. (const 키워드 : 동일한 변수명으로 변수 재선언 불가능, 값의 재할당 불가능)

5. 변수의 목적이나 의미를 파악할 수 있도록 네이밍한다.