모던 자바스크립트 : 데이터 타입과 연산자

개념 정리/모던 자바스크립트 딥다이브

모던 자바스크립트 : 데이터 타입과 연산자

매진2 2023. 10. 17. 20:06

728x90

💡 데이터 타입에 대해서

1. 데이터 타입이란?

데이터 타입 = 값의 종류
자바스크립트의 모든 값은 데이터 타입을 가짐
크게 원시타입과 객체 타입으로 분류

2. 데이터 타입의 필요성

값을 저장할 때 확보해야하는 메모리 공간의 크기 결정 위해
값을 참조할 때 한번에 읽어 들여야할 메모리 공간의 크기를 결정하기 위해
모든 값은 데이터 타입을 가지며 메모리에 2진수(비트의 나열)로 저장되며 그 값은 데이터 타입에 따라 다르게 해석되기 때문에

3. 데이터 타입의 종류

a. 숫자 타입

자바스크립트는 모든 수를 소수점이 있는 실수로 처리 -> 정수처럼 보이는 수기리 나눠도 실수가 나올 수 있음

숫자 타입은 3가지의 특별한 값도 표현 가능 -> Infinity(양의 무한대), -Infinity(음의 무한대), NaN(산술 연산 불가)

b. 문자열 타입

b-1. 문자열이란?

0개 이상의16비트 유니코드 문자(UTF-16)의 집합으로 전세계 대부분 문자 표현 가능
키워드나 식별자로 인식하지 않도록 작은따옴표, 큰따옴표, 백틱으로 텍스트를 감싸줘야함
문자열은 원시타입이며 변경 불가능한 값

b-2. 템플릿 리터럴

b-2-1. 템플릿 리터럴이란?

템플릿 리터럴은 멀티라인 문자열, 표현식 삽입, 테그드 템플릿 등 편리한 문자열 처리 기능 제공
런타임에 일반 문자열로 변환
백틱을 사용해 표현

b-2-1. 멀티라인 문자열

일반 문자열

줄바꿈이 허용되지 않아서 백슬래시로 시작하는 이스케이프 시퀀스 사용

템플릿 리터럴

줄바꿈, 공백 그대로 적용

b-2-2. 표현식 삽입

일반 문자열

문자열 연산자 +를 사용해 연결할 수 있음
+ 연산자는 피연산자 중 하나 이상이 문자열인 경우 문자열 연결 연산자로 동작, 그 외의 경우 덧셈 연산자로 동작

템플릿 리터럴

표현식 삽입을 통해 간단히 문자열 삽입 가능-> 가독성, 간편성 ↑
표현식 삽입하려면 ${}으로 표현식 감싸서 사용
결과는 문자열 타입으로 강제 변환

c. boolean 타입

true, false로 이루어짐

d. undefined 타입

변수 선언하면 변수는 undefined 값으로 초기화 됨 -> 값 할당하지 않은 변수 참조 시 undefined 반환
변수 선언 후 값 할당 해주지 않았을 때 나타나는 값

e. null 타입

변수에 값이 없다는 것을 의도적으로 명시할 때 사용

함수가 유효한 값을 반환할 수 없는 경우 명시적으로 null 반환

f. symbol 타입

symbol이란?

변경 불가능한 원시 타입 값
다른값과 중복되지 않는 유일무이한 값
주로 이름이 충돌할 위험이 없는 객체의 유일한 프로퍼티 키를 만들기 위해 사용

symbol 생성 방법

심벌은 Symbol 함수를 호출해 생성
이 때 생성된 심벌값은 외부에 노출되지 않으며 다른 값과 절대 중복되지 않는 유일무이한 값

g. 객체 타입

자바스크립트는 객체 기반 언어이며 자바스크립트를 이루고 잇는 거의 모든 것이 객체
앞의 6가지 데이터 타입 외의 값은 모두 객체

3. 동적 타이핑

a. 동적 타입 언어와 정적 타입 언어

정적 타입 언어

변수 선언 시점에 변수 타입 결정되고 변수 타입 변경 안됨

동적 타입 언어

자바스크립트는 값 할당 시점에 변수 타입이 동적으로 결정되고 변수의 타입을 언제든지 변경 가능

동적 타이핑의 특징

할당에 의해 타입이 결정 =타입 추론
재할당에 의해 텬수의 타입은 언제든지 동적으로 변경 가능

b. 동적 타입 언어와 변수

동적 타임 언어의 위험성

변수 값은 언제든지 변경될 수 있기 때문에 복잡한 프로그램에서는 변화하는 변수 값을 추적하기 어려움
자바스크립트는 자바스크립트 엔진에 의해 암묵적으로 타입이 자동 변환되기도 함

변수 사용시 주의 사항

변수는 꼭 필요한 경우에 제한적으로 사용
변수 유효범위(스코프) 최대한 좁게 만들기
전역변수는 최대한 지양
const를 통해 변수보다는 상수를 사용해 값 변경을 최소화
변수의 목적이나 의미 파악하도록 네이밍

💡 연산자에 대해서

1. 연산자란?

연산자란?

하나 이상의 표현식을 대상으로 산술, 할당, 비교, 논리 타입, 지수 연산 등을 수행해 하나의 값을 만든다.
값으로 평가된 피연산자를 연산해 새로운 값 생성

피연산사란?

연산의 대상
값으로 평가될 수 있는 표현식만 가능

2. 연산자의 종류

a. 산술 연산자

산술연산자란?

피연산자를 대상으로 수학적 계산을 수행해 새로운 숫자 값 생성
산술 연산이 불가능한 경우 NaN 반환
피연산자의 개수에 따라 이항 산술 연산자와 단항 산술 연산자로 구분

a-1. 이항 산술 연산자

2개의 피연산자를 산술 연산하여 숫자 값 생성
모든 이항 산술 연산자는 피연산자의 값을 변경하는 부수효과가 없음
어떤 산술 연산을 해도 피연산자의 값이 바뀌는 경우는 없고 언제나 새로운 값 생성

a-2. 단항 산술 연산자

1개의 피연산자를 산술 연산하여 숫자 값 생성

증가/감소 연산자

피연산자의 값을 변경하는 부수효과가 있음 => 피연산자의 값을 변경하는 암묵적 할당이 이루어짐
피연산자 앞에 위치한 전위 증가/감소 연산자는 먼저 피연산자 값 변경 후 다른 연산 수행
피연산자 뒤에 위치한 후위 증가/감소 연산자는 먼저 다른 연산 수행 후 피연산자 값 변경

+ 단항 연산자

피연산자에 어떠한 효과도 없음
음수를 양수로 반전하지도 않음
숫자 타입이 아닌 피연산자에 사용 시 피연산자를 숫자 타입으로 변환해 반환
피연산자를 변경하는 것이 아니라 숫자타입으로 변환된 값을 생성해서 반환하기 때문에 부수효과는 없다.

- 단항 연산자

피연산자의 부호를 반전한 값 반환
숫자타입이 아닌 피연산자에 사용하면 피연산자를 숫자 타입으로 변환하여 반환
피연산자를 변경하는 것이 아니라 숫자타입으로 변환된 값을 생성해서 반환하기 때문에 부수효과는 없다.

a-3. 문자열 연결 연산자

+ 연산자는 피연산자 중 하나 이상이 문자열인 경우 문자열 연결 연산자로 동작
자바스크립트 엔진에 의해 암묵적으로 타입이 자동 변환되기도 함

b. 할당 연산자

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

c.비교 연산자

비교연산자란?

좌항과 우항 피연산자를 비교한 다음 그 결과를 불리언 값을 반환
if문이나 for문과 같은 제어문의 조건식에서 주로 사용

c-1. 동등/일치 비교 연산자

좌항과 우항의 피연산자가 같은 값으로 평가되는지 비교해 불리언 값 반환
동등 비교 연산자는 느슨한 비교, 일치 비교 연산자는 엄격한 비교

주의해야할 NaN과 양의0, 음의0

NaN은 자신과 일치하지 않는 유일한 값 -> Number.isNaN 사용해 확인
양의 0과 음의 0을 비교하면 동등/일치 연산자는 true 반환

ES6에서 도입된 Object.is 메소드를 사용하면 예측 가능한 정확한 비교 결과 반환

동등 비교 연산자(==)

좌항과 우항의 피연산자를 비교할 때 먼저 암묵적 타입 변환을 통해 타입을 일치시킨 후 같은 값인지 비교
좌항과 우항의 타입은 다르더라도 암묵적 타입 변환 후 같은 값일 수 있다면 true 반환
편리하긴 하지만 결과 예측하기 어렵고 실수하기 쉬움 -> 사용 지양

일치 비교 연산자(===)

좌항과 우항의 피연산자가 타입도 같고 값도 같은 경우에 한하여 true 반환

암묵적 타입 변환 하지 않고 값 비교 -> 예측 쉬움

c-2. 대소 관계 비교 연산자

피연산자 크기 비교해 불리언 값 반환

d. 삼항 조건 연산자

조건식의 평가 결과에 따라 반환할 값 결정
자바스크립트의 유일한 삼항 연산자
부수효과 없음
조건식의 형가 결과가 boolean 값이 아니면 boolean값으로 암묵적 타입 변환
삼항 조건 연산자 표현식은 값처럼 사용할 수 있지만 if문은 표현식이 아닌 문이기때문에 값처럼 사용할 수 없음

e. 논리 연산자

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

논리합, 논리곱 표현식의 평가 결과는 피연산자 중 어느 한쪽으로 평가
논리 부정 연산자는 암묵적 타입 변환을 통해 언제나 boolean 값을 반환

복잡한 표현식은 가독성이 좋지 않아 이해하기 어려우면 드 모르간 법칙을 활용해 가독성 ↑

f. 쉼표 연산자

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

g. 그룹 연산자

소괄호로 피연산자를 감싸 우선순위 조절
그룹연산자가 우선순위 제일 높음

h. typeof 연산자

데이터 타입을 문자열로 반환 -> string, number, boolean, undefined, symbol, object, function 중 하나 반환
null은 object로 반환 -> 값이 null 타입인지 확인할 땐 일치연산자(===) 사용
선언하지 않은 식별자를 typeof 연산자로 확인하면 ReferenceError가 아닌 undifined 반환