🪄 러닝 타입스크립트 CH3 - 유니언과 리터럴

• 유니언 : 값에 허용된 타입을 두 개 이상의 가능한 타입으로 확장하는 것

• 내로잉 : 값에 허용된 타입이 하나 이상의 가능한 타입이 되지 않도록 좁히는 것

=> 코드 정보에 입각한 추론

---

📌 유니언

• 여러 개의 타입을 가질 수 있을 때

  쉽게 말해서 이거 아님 저거

값이 유니언 타입일 때, 유니언으로 선언한 모든 타입에 존재하는 멤버 속성에만 접근할 수 있다.

ex) 다음 코드에서 physicist는 string | number 타입이므로 두 개의 타입에 모두 존재하는 toString() 메서드는 사용할 수 있지만 toUpperCase()는 string 타입에만 존재하기 때문에 사용할 수 없다.

let physicist = Math.random() > 0.5 
	? "Marie Curie"
	: 84; // string | number

physicist.toString(); // ok

physicist.toUpperCase(); // error! 

이를 해결하려면 코드에서 값이 보다 구체적인 타입 중 하나라는 것을 TS에게 알리는 내로잉이 필요하다.

---

📌 내로잉

값이 정의, 선언 혹은 이전에 유추된 것보다 더 구체적인 타입임을 코드에서 유추하는 것이다.

타입을 좁히는 데 사용할 수 있는 논리적 검사를 타입 가드라고 한다.

값 할당을 통한 내로잉

변수에 직접 값을 할당하면 TS는 변수의 타입을 할당된 값이 타입으로 좁힌다.

let person: number | string;

person = "MinwooP";

person.toUpperCase(); // ok

if문 조건 검사를 통한 내로잉

let person = Math.random() > 0.5
	? "MinwooP"
	: 51;

if(person === "MinwooP"){
    person.toUpperCase(); // ok => string으로 좁혀졌기 때문
}

person.toUpperCase(); // error

typeof 검사를 통한 내로잉

let person = Math.random() > 0.5
	? "MinwooP"
	: 51;

if(typeof person === string){
    person.toUpperCase(); // ok => string으로 좁혀졌기 때문
}

person.toUpperCase(); // error

---

📌 리터럴 타입

const philosopher = "MinwooP";

• 위 변수의 타입은, string 타입이지만 단지 string 타입이 아닌 기술적으로 더 구체적인 "MinwooP"이다.

• 변수를 const로 선언하고 직접 리터럴 값을 할당하면 TS는 해당 변수를 할당된 리터럴 값으로 유추한다.

  const로 선언되어있으니 변경이 불가능하므로 리터럴 값으로 유추 !

  

let philosopher = "MinwooP"; 

그럼 이렇게 let으로 선언하면 변경가능하니 string 타입이고

const philosopher = "MinwooP";

const로 선언하면 리터럴 타입

• 리터럴 타입은 유니언 타입 애너테이션에서도 사용됨

  let lifespan: number | "ongoing" | "uncertain"

---

📌 엄격한 null 검사

TS 컴파일러 옵션 중, strictNullChecks를 비활성화하면, 코드의 모든 타입에 | null | undefined 를 추가해야 모든 변수가 null 또는 undefined를 할당할 수 있다.

strictNullChecks 를 활성화한 경우, string 타입인 value에 null을 할당하면 타입 오류가 발생합니다.

stringNullChecks를 비활성화해도, 무조건 null을 할당할 수 있는게 아니라 타입에 | null | undefined를 추가해야 이를 할당할 수 있는 것 ?

false, 0, "", null, undefined, NaN 처럼 falsy로 정의된 값을 제외한 모든 값은 모두 참이다.

---

📌 타입 별칭

재사용하는 타입에 더 쉬운 이름을 할당

type RawData = boolean | number | string ;

let rawDataFirst: RawData;
let rawDataSecond: RawData | null | undefined;

이러한 타입 별칭은 타입 애너테이션처럼 js로 컴파일되지 않는다. ts 타입 시스템에만 존재하는 것

=>

따라서 타입 별칭은 런타임 코드에서 참조할 수 없음

type someType = string | undefined;

console.log(SomeType); // Error