🪄 러닝 타입스크립트 CH2 - 타입 시스템

타입 오류 vs 구문 오류

• 구문 오류 : js로 변환이 안되는 문법적 오류
• 타입 오류 : 타입 검사기가 감지한 타입 오류

할당 가능성

해당 변수에 새로운 값이 할당되면, 새롭게 할당된 값의 타입이 변수의 타입과 동일한지, 즉 새로운 값이 기존 변수에 할당될 수 있는지

할당 가능성 오류

Type... is not assignable to type...

특정 변수에 특정 값을 할당하려고 할 때, 각 타입이 서로 일치하지 않을 때 발생

진화하는 any

초기값이 할당되지 않아 초기 타입을 유추할 수 없는 변수는 진화하는 any라고 부른다.

특정 타입을 강제하는 대신 새로운 값이 할당될 때마다 변수 타입에 대한 이해를 발전시킨다.

let rocker; // 진화하는 any

rocker = "MinwooP";
rocker.toUpperCase();

rocker = 20;
rocker.toPrecision(1);

rocker.toUpperCase(); // error !

하지만 이렇게 any 타입으로 진화하는 것을 허용하면 ts의 타입 검사 목적을 쓸모없게 만든다.

타입 애너테이션

=> 초기값을 할당하지 않고도 변수의 타입을 선언할 수 있음

let rocker: string; // 타입 애너테이션 
rocker = "MinwooP"

=> 이러한 타입 애너테이션은 ts에만 존재하며 런타임 코드에 영향을 주지 않고 유효한 js 구문도 아니다.

tsc 명령어를 실행해 ts => js로 컴파일하면 해당 코드가 삭제된다.

---

📌 추가 내용

String 래퍼 객체

String 객체는 원시 타입인 문자열을 다룰 때 유용한 프로퍼티와 메소드를 제공하는 레퍼(wrapper) 객체이다. 변수 또는 객체 프로퍼티가 문자열을 값으로 가지고 있다면 String 객체의 별도 생성없이 String 객체의 프로퍼티와 메소드를 사용할 수 있다.

원시 타입이 wrapper 객체의 메소드를 사용할 수 있는 이유는 원시 타입으로 프로퍼티나 메소드를 호출할 때 원시 타입과 연관된 wrapper 객체로 일시적으로 변환되어 프로토타입 객체를 공유하게 되기 때문이다.

const str = 'Hello world!';
console.log(str.toUpperCase()); // 'HELLO WORLD!'

위에서 원시 타입 문자열을 담고 있는 변수 str이 String.prototype.toUpperCase() 메소드를 호출할 수 있는 것은 변수 str의 값이 일시적으로 wrapper객체로 변환되었기 때문이다.