🔎 [ 딥다이브 #6-1 ] 데이터 타입 보러가기
심벌 타입
심벌은 ES6에서 추가된 7번째 타입으로, 변경 불가능한 원시 타입의 값이다.
심벌 값은 다른 값과 중복되지 않는 유일무이한 값이다.
따라서 주로 이름이 충돌할 위험이 없는 객체의 유일한 프로퍼티 키를 만들기 위해 사용한다.
심벌 이외의 원시 값은 리터럴을 통해 생성하지만 심벌은 Symbol 함수를 호출해 생성한다.
- 이때 생성된 심벌값은 외부에 노출되지 않으며, 다른 값과 절대 중복되지 않는 유일무이한 값이다.
// 심벌 값 생성
var key = Symbol('key');
consol.log(typeof key); // sybol
// 객체 생성
var obj = {};
// 이름이 충돌할 위험이 없는 유일무이한 값인 심벌을 프로퍼티 키로 사용한다.
obj[key] = 'value';
consol.log(obj[key]); // value객체 타입
자바스크립트를 이루고 있는 거의 모든 것이 객체
- 앞에 살펴본 6가지 데이터 타입 이외의 값은 모두 객체 타입이다.
이후 11장 "원시 값과 객체의 비교"에서 자세히 살펴볼 예정.
데이터 타입의 필요성
테이터 타입은 왜 필요한 것일까?
데이터 타입에 의한 메모리 공간의 확보와 참조
값은 메모리에 저장하고 참조할 수 있어야 한다.
메모리에 값을 저장하려면 먼저 확보해야 할 메모리 공간의 크기를 결정해야 한다.
- 몇 바이트의 메모리 공간을 사용해야 낭비와 손실 없이 값을 저장 할 수 있는지 알아야 한다.
- 몇 바이트의 메모리 공간을 사용해야 낭비와 손실 없이 값을 저장할 수 있는지 알아야한다.
// 변수를 선언하고 숫자 값을 할당해 보자.
var score = 100;- 코드가 실행되면 컴퓨터는 숫자 값 100을 저장하기 위해 메모리 공간을 확보한 다음, 확보된 메모리에 숫자 값 100을 2진수로 저장한다.
- 이러한 처리를 하려면 숫자 값을 저장할 때 확보해야 할 메모리 공간의 크기를 알아야 한다.
- 자바스크립트 엔진은 데이터 타입, 즉 값의 종류에 따라 정해진 크기의 메모리 공간을 확보한다.
- 변수에 할당되는 값의 데이터 타임에 따라 확보해야 할 메모리 공간의 크기가 결정된다.
- 식별자 score를 통해 숫자 타입의 값 100이 저장되어 있는 메모리 공간의 주소를 찾아갈 수 있다.
- 정확히 말하면 숫자 값 100이 저장되어 있는 메모리 공간의 선두 메모리셀의 주소를 찾아갈 수 있다.
- 이때 값을 참조하려면 한 번에 읽어 들여야 할 메모리 공간의 크기 즉, 메모리 셀의 개수를 알아야 한다.
- score에는 숫자 타입의 값이 할당되어 있으므로 자바스크립트 엔진은 score 변수를 숫자 타입으로 인식한다.
- 숫자 타입은 8바이트 단위로 저장되므로 score 변수를 참조하면 8바이트 단위로 메모리공간에 저장된 값을 읽는다.
데이터 타입에 의한 값의 해석
모든 값은 데이터 타입을 가지며, 메모리에 2진수, 즉 비트의 나열로 저장된다.
데이터 타입이 필요한 이유
- 값을 저장할 때 확보해야 하는 메모리 공간의 크기를 결정하기 위해
- 값을 참조할 때 한 번에 읽어 들여야 할 메모리 공간의 크기를 결정하기 위해
- 메모리에서 읽어 들인 2진수를 어떻게 해석할지 결정하기 위해
동적 타이핑
동적 타입 언어와 정적 타입 언어
정적 타입 언어는 변수의 타입을 젼경할 수 없으며, 변수에 선언한 타입에 맞는 값만 할당할 수 있다.
- 정정 타입 언어는 컴파일 시점에 타입 체크(선언한 데이터 타입에 맞는 값을 할당했는지 검사하는 처리)를 수행한다.
- 만약 타입 체크를 통과하지 못했다면 에러를 발생시키고 프로그램의 실행자체를 막는다.
- 이를 통해 타입의 일관성을 강제함으로써 더욱 안정적인 코드의 구현을 통해 런타임에 발생하는 에러를 줄인다.
자바스크립트는 정적 타입 언어와 다르게 변수를 선언할 깨 타입을 선언하지 않는다.
- 다만
var,let,const키워드를 사용해 변수를 선언할 뿐이다.- 자바스크립트의 변수는 정적 타입 언어와 같이 미리 선언한 데이터 타입의 값만 할당할 수 있는 것이 아니다.
- 어떠한 데이터 타입의 값이라도 자유롭게 할당할 수 있다.
var foo;
consol.log(typeof foo); //undefined
foo = 3;
consol.log(typeof foo); // number
foo = 'Hello';
consol.log(typeof foo); // string
foo = true;
consol.log(typeof foo); // boolean
foo = null;
consol.log(typeof foo); // object
foo = Symbol(); // 심벌
consol.log(typeof foo); // symbol
foo = {}; // 객체
consol.log(typeof foo); // object
foo = []; // 배열
consol.log(typeof foo); // object
foo = function () {}; // 함수
consol.log(typeof foo); // function자바스크립트의 변수는 선언이 아닌 할당에 의해 타입이 결정(타입추론)된다. 그리고 재할당에 의해 변수의 타입은 언제든지 동적으로 변할 수 있다.
동적 타입 언어와 변수
- 동적 타입 언어는 변수에 어떤 데이터 타입의 값이라도 자유롭게 할당할 수 있다.
- 변수 값은 언제든지 변경될 수 있기 때문에 복잡한 프로그램에서는 변화하는 변수 값을 추측하기 어려울 수 있다.
- 변수의 타입이 고정되어 있지 않고 동적으로 변하는 동적 타입의 언어의 변수는 값의 변경에 의해 타입도 언제든지 변경될 수 있다.
- 따라서 동적 타입 언어의 변수는 값을 확인하기 전에는 타입을 확신할 수 없다.
- 더욱이 자바스크립트는 개발자의 의도와는 상관없이 자바스크립트 엔진에 의해 암묵적으로 타입이 자동으로 변환되기도 한다.
- 즉, 숫자 타입의 변수일 것이라고 예측했지만 사실은 문자열 타입의 변수일 수고 있다.
코드는 오해하지 않도록 작성해야한다.
- 코드는 동작하는 것만이 존재 목적은 아니다.
- 코드는 개발자를 위한 문서이기도 하다.
- 따라서 사람이 이해할 수 있는 코드, 즉 가독성이 좋은 코드가 좋은 코드다.
Drop the Bit!