모던 자바스크립트 딥다이브 6장 정리

데이터 타입

• 원시 타입
  • 숫자 : 정수와 실수 구분 없이 하나의 숫자 타입만 존재
  • 문자열 
  • boolean : true / false
  • undefined : var 키워드로 선언된 변수에 암묵적으로 할당되는 값
  • null : 값이 없다는 것을 의도적으로 명시할 때 사용하는 값
  • symbol : ES6에 추가된 7번째 타입
  • Bigint : ES11에 추가된 8번째 타입. 2^53-1보다 큰 정수를 표현할 수 있는 새로운 원시값
• 객체 타입
  • 객체
  • 함수
  • 배열

 

숫자 타입

• 배정밀도 64비트 부동소수점 형식을 따름. 모든 수를 실수로 처리(정수를 위한 데이터 타입 별도 존재 X)
• Infinity(양의 무한대), -Infinity(음의 무한대), NaN(산술 연산 불가) 표현 가능

 

문자열 타입

• 텍스트 데이터를 나타내는 데 사용
• 문자열은 0개 이상의 16비트 유니코드 문자(UTF-16)의 집합
• 작은따옴표(' '), 큰따옴표(" "), 백틱으로 감싸서 표현(` `)
• 만약 따옴표로 감싸지 않으면 자바스크립트 엔진은 키워드나 식별자 같은 토큰으로 인식함
• 스페이스와 같은 공백 문자도 포함시킬 수 없음
• 문자열은 원시타입이며, 변경 불가능한 값임 (C는 문자열을 배열로 표현, Java는 문자열을 객체로 표현)
• 줄바꿈 등의 공백을 표현하려면 이스케이프 시퀀스(\)를 사용해야함
• 문자열 연산자 + 를 사용해 문자열들을 연결할 수 있음

 

개행 문자에는 라인 피드와 캐리지 리턴이 있음
라인 피드(\n)는 커서를 정지한 상태에서 종이를 한 줄 올리는 것
캐리지 리턴(\r)은 종이를 움직이지 않고 커서를 맨 앞줄로 이동시키는 것

 

 

템플릿 리터럴

• ES6부터 도입된 문자열 표기법
• 멀티라인 문자열 : 이스케이프 시퀀스를 사용하지 않고도 줄바꿈 허용됨, 모든 공백도 있는 그래도 적용
• 표현식 삽입 : ${}을 사용해 간단히 문자열을 삽입할 수 있음
• 태크드 템플릿 등 과같은 기능 제공
• 런타임에 일반 문자열로 변환되어 처리

 

ES6 이전 문자열	ES6 이후 문자열
줄바꿈, 공백 표현 X 이스케이프 시퀀스 사용 'hi\n\tnicetomeetyou'	템플릿 리터럴을 사용해 멀티라인 문자열 표현 가능 `hi nice to meet you `
문자열 연산자 + 사용하여 문자열 조합 console.log('My name is' + name);	${}를 사용해 간단하게 문자열 삽입 console.log(`My name is ${name}`);

 

 

Boolean 타입

• true
• false

 

undefined 타입

• 개발자가 의도적으로 할당하기 위한 값이 아니라 자바스크립트 엔진이 변수를 초기화할 때 사용하는 값
• 변수를 참조할 때 undefined가 반환된다면 초기화되지 않은 변수라는 것을 알 수 있음

 

null 타입

• 변수에 값이 없다는 것을 의도적으로 명시할 때 사용
• 변수가 이전에 참조하던 값을 더 이상 참조하지 않겠다는 의미
• 이전에 할당되어 있던 값에 대한 참조를 명시적으로 제거 => 자바스크립트 엔진은 누구도 참조하지 않는 메모리 공간에 대해 가비지 콜렉션 수행할 것
• 함수가 유효한 값을 반환할 수 없는 경우 명시적으로 null 반환

 

Symbol 타입

• ES6에 추가된 7번째 타입
• 변경 불가능한 원시 타입의 값
• 심벌 값은 다른 값과 중복되지 않는 유일무이한 값
• 이름이 충돌할 위험이 없는 객체의 유일한 프로퍼티 키를 만들기 위해 사용
• symbol 함수를 호출해 생성하고, 생성된 심법값은 외부에 노출되지 않는 유일무이한 값임

var key = Symbol('key'); // 심벌 값 생성
var obj = {}; // 객체 생성

obj[key] = 'value' //이름이 충돌할 위험이 없는 유일무이한 값인 심벌을 프로퍼티 키로 사용
console.log(obj[key]) // value

 

 

객체 타입

• 자바스크립트는 객체 기반의 언어
• 자바스크립트를 이루고 있는 거의 모든 것이 객체임

 

데이터 타입이 필요한 이유

• 값을 저장할 때 확보해야 하는 메모리 공간의 크기를 결정하기 위해
• 값을 참조할 때 한 번에 읽어 들여야 할 메모리 공간의 크기를 결정하기 위해
• 메모리에서 읽어 들인 2진수를 어떻게 해석할지 결정하기 위해

컴파일러 또는 인터프리터는 심벌 테이블이라는 자료 구조를 통해 식별자를 키로 바인딩된 값의 메모리 주소, 데이터 타입, 스코프 등을 관리함

 

정적 타입 언어

• C와 Java 같은 정적 타입 언어는 변수를 선언할 때 데이터 타입을 사전에 선언함 => 명시적 타입 선언
• 정적 타입 언어는 변수의 타입을 변경할 수 없음
• 변수에 선언한 타입에 맞는 값만 할당 가능
• 컴파일 시점에 타입 체크를 수행함 => 타입 체크를 통과하지 않으면 에러를 발생시켜 프로그램의 실행 자체를 막음
• 타입의 일관성을 강제, 더욱 안정적인 코드의 구현

 

동적 타이핑 & 동적 타입 언어

• 자바스크립트는 정적 타입 언어와 다르게 변수를 선언할 때 타입을 선언하지 않음
• 자바스크립트는 동적 타입 언어
• 자바스크립트의 변수는 선언이 아닌 할당에 의해 타입이 결정됨(타입이 추론됨)
• 재할당에 의해 변수의 타입은 언제든 동적으로 변경 가능 => 동적 타이핑
• 동적 타입 언어에는 자바스크립트, 파이썬, PHP, 루비 등이 있음
• 동적 타입 언어는 유연성은 높지만 신뢰성은 떨어짐

 

동적 타입 언어 변수 사용 시 주의 사항

• 변수는 꼭 필요한 경우에 한해 제한적으로 사용함 (변수의 개수가 많을수록 오류가 발생할 확률도 높아짐)
• 변수의 유효 범위는 최대한 좁게 만들어야 함
• 전역 변수는 최대한 사용하지 않아야 함
• 변수보다는 상수를 사용해 값의 변경을 억제한다
• 변수 이름은 변수의 목적이나 의미를 파악할 수 있도록 네이밍한다

---

6장 질문

 

Q. 문자열을 따옴표로 감싸는 이유에 대해 말씀해주세요

A. 문자열을 키워드나 식별자 같은 토큰과 구분하기 위해서입니다. 만약 문자열을 따옴표로 감싸지 않는다면 자바스크립트 엔진은 키워드나 식별자 같은 토큰으로 인식하게 됩니다. 또한, 스페이스와 같은 공백 문자를 포함시킬 수 없습니다.

 

Q. 템플릿 리터럴에 대해 ES6 이전 문자열 타입과 비교해 아는대로 설명해주세요

A. ES6 이전의 문자열은 공백과 개행을 포함하지 않습니다. 따라서 이를 표현하기 위해 이스케이프를 사용해 주어야 합니다. 템플릿 리터럴은 공백과 개행 등을 있는 그래도 표현합니다. 또한, ES6 이전의 문자열은 + 연산자로 문자열을 더해 새로운 문자열을 만들 수 있습니다. 템플릿 리터럴은 ${} 연산자를 사용해 간단하게 문자열을 표시할 수 있습니다. 또한 템플릿 리터럴은 런타임 시 일반 문자열로 변환되어 처리됩니다.

 

Q. 심볼 타입에 대해 설명해주세요

A. 심볼 타입은 중복되지 않는 유일무이한 값을 가지는 데이터 타입으로 변경 불가능하며 원시 타입의 값입니다.

 

Q. null 타입과 undefined 타입의 차이점에 대해 설명해주세요

null 타입은 사용자가 사용하지 않을 값을 처리하는데 사용합니다. undefined 타입은 var 키워드를 사용해 선언한 변수에 자바스크립트가 임의로 할당하는 값이며 undefined 값으로 해당 변수가 초기화되지 않았음을 알 수 있습니다. 반대로 함수의 리턴값이 null일 경우 해당 함수가 유효한 값을 반환하지 않음을 알 수 있습니다.

 

Q. 자바스크립트에서 데이터 타입이 필요한 이유에 대해 설명해주세요

자바스크립트에서 데이터 타입을 필요로 하는 이유는 다음과 같습니다. 먼저, 변수를 할당할 때 메모리 공간의 크기를 결정하기 위함입니다. 또한, 변수를 참조할 때 한번에 읽어드릴 메모리 공간의 크기를 결정하기 위함입니다. 마지막으로 메모리에서 읽어들인 2진수 값을 해석하기 위해 필요합니다.

 

Q. 정적 타입 언어와 동적 타입 언어의 차이점에 대해 설명해주세요

정적 타입 언어는 변수 선언 시 타입을 선언하는 언어입니다. 정적 타입 언어의 타입은 바뀌지 않고 타입이 다른 값은 할당할 수 없습니다. 또한 컴파일 시 타입 체크를 진행해 오류를 발생시켜 프로그램이 실행되지 않도록 막습니다. 동적 타입 언어는 변수의 타입이 값의 할당으로 동적으로 바뀌며 런타임시 타입을 추론해 타입을 결정합니다. 정적 타입 언어의 경우 안정성이 보장되고 동적 타입언어의 경우 유연성이 높습니다.