[6장] 데이터 타입

데이터 타입

타입, 값의 종류

• 자바스크립트의 모든 값은 데이터 타입을 갖는다
• 원시 타입
  • 숫자(number), 문자열(string), 불리언(boolean), undefined, null, 심벌(symbol)
• 객체 타입
  • 객체, 함수, 배열 등

숫자 타입

• 배정밀도 64비트 부동소수점 형식 따름
• 모든 수를 실수로 처리
• 자바스크립트는 2진수, 8진수, 16진수를 표현하기 위한 데이터 타입을 제공하지 않으므로 모두 10진수로 해석됨
• 세 가지 특별한 값 : Infinity -Infinity NaN

// 표기법만 다를 뿐 모두 같은 값
var binary = 0b01000001; // 2진수
var octal = 0o101; // 8진수
var hex = 0x41; // 16진수

console.log(binary); // 65
console.log(octal); // 65
console.log(hex); // 65
console.log(binary === octal); // true
console.log(octal === hex); // true

// 숫자 타입은 모두 실수 처리
console.log(1 === 1.0); // true
console.log(0 === -0); // true
console.log(Object.is(0, -0)); // false

// 특별 값
console.log(10 / 0); // Infinity
console.log(10 / -0); // -Infinity
console.log(1 * 'String'); // NaN

// BigInt
console.log(BigInt(1234567564567) === 1234567564567n); // true

문자열 타입

텍스트 데이터 표현

• 0개 이상의 16비트 유니코드 문자(UTF-16)의 집합으로 전 세계 대부분 문자 표현 가능
• '' "" 백틱(``)으로 감싼다
• 문자열을 따옴표로 감싸지 않으면 JS엔진은 키워드나 식별자 같은 토큰으로 인식 --> 에러 발생 가능
• 일반 문자열 내에서 줄바꿈 등 공백을 표현하려면 백슬래시(\)로 시작하는 이스케이프 시퀀스(escape sequence)를 사용해야 함

템플릿 리터럴(template literal)

멀티라인 문자열, 표현식 삽입, 태그드 템플릿 등 편리한 문자열 처리 기능을 제공하는 새로운 문자열 표기법

• 백틱 사용
• 표현식 삽입 시 ${} 이용

불리언 타입

true false로 구분되는 조건에 의해 프로그램 흐름을 제어하는 조건문에서 자주 사용

undefined 타입

var 키워드로 선언한 변수는 암묵적으로 JS엔진이 undefined로 초기화

• 따라서 JS 엔진이 초기화할 때 이용하는 이 값을 개발자가 의도적으로 변수에 할당한다면, 본래 취지에 어긋나며 혼란을 줄 수 있으므로 권장되지 않음

선언(declaration) : 식별자의 존재만 알리는 것
정의(definition) : 컴파일러가 변수를 생성해서 식별자와 메모리 주소가 연결되는 것

자바스크립트의 경우, 변수를 선언하면 암묵적으로 정의가 이루어지므로 그 구분이 모호하다

ECMAScript 사양에서 변수는 선언 / 함수는 정의로 표현한다

null 타입

변수에 값이 없다는 것을 의도적으로 명시(의도적 부재, intentional absence)할 때 사용

• 이전에 할당되어 있던 값에 대한 참조를 명시적으로 제거하는 것을 의미하여, JS엔진은 참조하지 않는 메모리 공간에 대해 가비지 콜렉션을 수행할 것
  • 하지만 변수 스코프를 좁게 만들어 빠르게 소멸시키는 편이 더 좋음
• 함수가 유효한 값을 반환할 수 없는 경우, 명시적으로 null 반환하기도 함

심벌 타입

ES6에서 추가된 7번째 타입으로, 변경 불가능한 원시 타입의 값

• 다른 값과 중복되지 않는 유일무이한 값
• 외부에 노출되지 않음
• 주로 이름이 충돌할 위험이 없는 객체의 유일한 프로퍼티 키를 만들기 위해 사용
• Symbol 함수 호출로 생성

객체 타입

원시 타입 6가지를 제외한 모든 값은 객체 타입

데이터 타입의 필요성

① 값을 저장할 때 확보해야 하는 메모리 공간의 크기를 결정하기 위해

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

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

값은 메모리에 저장하고 참조할 수 있어야 하고, 메모리에 값을 저장하려면 먼저 확보해야 할 메모리 공간의 크기를 결정해야 함

불변값은 하나의 주소에 저장되어, 식별자가 그 주소를 가리키는 형식으로 사용됨

동적 타이핑(dynamic typing)

정적 타입 언어와 다르게 변수 선언이 아닌 할당 시 타입이 결정 (타입 추론, type inference)되고, 어떠한 데이터 타입 값이라도 자유롭게 할당 가능한 특징

• typeof는 엄밀하게 변수의 데이터 타입이 아니라, 변수에 할당된 값의 데이터 타입을 반환
  • 기본적으로 변수는 타입을 가지지 않는다
  • 하지만 값은 타입을 가진다
  • 따라서 현재 변수에 할당된 값에 따라 변수의 타입이 동적으로 결정된다

동적 타입 언어의 구조적인 단점

• 값을 확인하기 전에는 타입을 확신할 수 없다
  • 복잡한 프로그램에서는 변화하는 변수 값을 추적하기 어려울 수 있음
• 특히 자바스크립트는 엔진에 의해 암묵적으로 타입이 자동으로 변환되기도 함
• 즉, 유연성은 높지만 신뢰성은 떨어진다

변수 사용 시 주의할 점

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

② 변수의 유효 범위(스코프)는 최대한 좁게 만들어 부작용 억제

③ 전역 변수 사용 최소화

④ 변수보다는 상수를 사용해 값의 변경 억제

⑤ 변수 이름은 목적/의미를 파악할 수 있도록 네이밍

[7장] 연산자

연산자(operator)

하나 이상의 표현식을 대상으로 산술, 할당 비교, 논리, 타입, 지수 연산 등을 수행해 하나의 값을 만듦

• 피연산자(operand) : 연산의 대상
  • 값으로 평가될 수 있는 표현식이어야 함
• 피연산자 & 연산자로 이루어진 연산자 표현식도 값으로 평가될 수 있는 표현식

// 산술 연산자
5 * 4 // 20

// 문자열 연결 연산자
'My name is ' + 'Lee' // 'My name is Lee'

// 할당 연산자
color = 'red' // 'red'

// 비교 연산자
3 > 5 // false (boolean으로 평가)

// 논리 연산자
true && false // false

// 타입 연산자
typeof 'Hi' // string (문자열이 반환)

산술 연산자(arithmetic operator)

피연산자를 대상으로 수학적 계산을 수행해 새로운 숫자 값 만듦

• 산술 연산이 불가능하면 NaN 반환

이항 산술 연산자

• 2개의 피연산자
• + - * / %
• 부수효과 없음

단항 산술 연산자

• 1개의 피연산자

• 부수효과
  O	++ --	값 증가/감소
  X	+ -	숫자 타입으로 변환한 값 생성 및 반환 OR 문자열 연결(+)

• + 연산자는 피연산자 중 하나 이상이 문자열인 경우 문자열 연결 연산자로 동작

할당 연산자(assignment operator)

우항에 있는 피연산자의 평가 결과를 좌항에 있는 변수에 할당

• = += -= *= /= %=
• 부수효과 있음
• 할당문은 표현식인 문

비교 연산자(comparison operator)

좌항과 우항의 피연산자를 비교한 다음 그 결과를 불리언 값으로 반환

동등(loose equality) / 일치(strict equality) 비교 연산자

좌항과 우항의 피연산자가 같은 값으로 평가되는지 비교해 불리언 값 반환

• 부수효과 없음

• 비교 연산자	의미	설명
  ==	동등 비교	값이 같음
  !=	부동등 비교	값이 다름
  ===	일치 비교	값과 타입이 같음
  !==	불일치 비교	값과 타입이 다름

• (부)동등 비교는 암묵적 타입 변환으로 타입을 일치시킨 뒤 값 비교
• NaN은 자신과 일치하지 않는 유일한 값
  • Number.isNaN() 이용
• 양의 0과 음의 0도 일치
  • Object.is() 이용

대소관계 비교 연산자

피연산자의 크기를 비교하여 불리언 값 반환

• > < >= <=
• 부수효과 없음

삼항 조건 연산자(ternary operator)

조건식의 평가 결과에 따라 반환할 값 결정

• 조건식 ? 참일 시 평가 후 반환 : 거짓일 시 평가 후 반환
• 값으로 평가할 수 있는 표현식인 문
• 부수효과 없음
• 조건식의 평가 결과가 불리언 값이 아니면 암묵적 타입 변환
• 조건에 따라 수행할 문이 여러 개라면 if ... else문의 가독성이 더 좋음

논리 연산자(logical operator)

우항과 좌항의 피연산자를 논리 연산함

• || && !
• A || B : A 아니면 B
• 논리합(||)과 논리곱(&&)의 평가 결과는 불리언 값이 아닐 수도 있다
• 드 모르간 법칙

!(x || y) === (!x && !y)
!(x && y) === (!x || !y)

쉼표(,) 연산자

왼쪽 피연산자부터 차례로 평가하고, 마지막 피연산자의 평가가 끝나면 마지막 피연산자의 평가 결과를 반환

그룹 연산자

소괄호()로 피연산자를 감싸는 형태이고, 자신의 피연산자인 표현식을 가장 먼저 평가

typeof 연산자

데이터 타입을 문자열로 반환

• NaN -> "number"
• null [] -> "object"
  • null의 타입은 ===로 확인하자

지수 연산자

좌항의 피연산자를 밑(base)으로, 우항의 피연산자를 지수(exponent)로 거듭제곱하여 숫자 값 반환

• **
• 도입 이전에는 Math.pow() 사용했다
• 음수를 밑으로 사용하려면 괄호로 묶어야 함
• 할당 연산자와 함께 사용 가능 (**=)

그외 연산자

• 옵셔널 체이닝 연산자 ?.
• null 병합 연산자 ??
• 프로퍼티 삭제 delete
• 생성자 함수 호출할 때 사용하여 인스턴스 생성 new
• 좌변의 객체가 우변의 생성자 함수와 연결된 인스턴스인지 판별 instanceof
• 프로퍼티 존재 확인 in

연산자의 부수효과

• 할당 연산자(=), 증감 연산자(++/--), delete 연산자

연산자 결합 순서

연산자의 어느 쪽부터 평가를 수행할 것인지를 나타내는 순서