🪄 러닝 타입스크립트 CH4 - 객체

📌 객체 타입 선언

객체 타입은 객체 리터럴과 유사하게 보이지만 필드 값 대신 타입을 사용한다.

let poetLater: {
    born: number;
    name: string;
}

poetLater = {
    born: 1935,
    name: "Mary Oliver"
}

---

📌 별칭 객체 타입

각 객체 타입을 계속 작성하지 않고, 각 객체 타입에 타입 별칭을 할당하는 방법이 더 일반적이다.

type Poet = {
    born: number;
    name: string;
}

let poetLater: Poet;

poetLater = {
    born: 1935,
    name: "Mary Oliver"
}

구조적 타이핑

타입을 충족하는 모든 값을 해당 값으로 사용할 수 있다 ?

hasBoth 멤버는 명시적으로 선언되지 않았음에도 두 개의 별칭 객체 타입을 모두 가지므로 두 개의 별칭 객체 타입 내에 선언된 변수를 모두 제공할 수 있습니다.

초과 속성 검사

이해 안됨 => 나중에 다시 읽어보기

---

📌 객체 타입 유니언

유추된 객체 타입 유니언

변수에 여러 객체 타입 중 하나가 될 수 있는 초깃값이 주어지면 TS는 해당 타입을 객체 타입 유니언으로 유추한다.

const poem = Math.random > 0.5 
	? { name: "MinwooP", pages: 7 }
	: { name: "MinwooP", rhymes: true };

위의 poem 변수는 아래와 같은 객체 타입 유니언으로 유추된다.

{
    name: string,
    pages: number,
    ryhmes?: undefined
}
| 
{
    name: string,
    pages?: undefined,
    ryhmes: boolean
}

명시된 객체 타입 유니언

type PoemWithPages = {
    name: string,
    pages: number
}

type PoemWithRhymes = {
    name: string,
    ryhmes: boolean
}

type Poem = PoemWithPages | PoemWithRhymes;

const poem: Poem = Math.random > 0.5 
	? { name: "MinwooP", pages: 7 }
	: { name: "MinwooP", rhymes: true };

poem.name; // ok

poem.pages // error
poem.rhymes // error

poem.pages나 poem.rhymes 처럼 잠재적으로 존재하지 않는 객체의 멤버에 대한 접근을 제한한다. pages나 rhymes는 항상 존재한다는 보장이 없기 때문.

if문을 통해 객체 타입 내로잉을 할 수 있고, 이를 통해 특정 속성에 접근할 수 있다.

if("pages" in poem){ // poem은 PoemWithPages로 좁혀짐
    poem.pages; 
}else{ // poem은 PoemWithRhymes로 좁혀짐
    poem.rhymes;
}

판별된 유니언

유니온 타입을 구성하는 타입들의 공통된 "리터럴 타입" 필드를 통해서 구분하는것

type PoemWithPages = {
    type: 'pages'; // 리터럴 타입 ? 
}

다음과 같이 객체의 속성에 type 필드를 추가하고 그 속성 값에 type명을 나타낼 수 있다.

type PomeWithPages = {
    name: string;
    number: number
    type: 'pages';
}

type PoemWithRhymes = {
    name: string;
    rhymes: boolean;
    type: 'rhymes';
}

type Poem = PoemWithPages | PoemWithRhymes;

const poem: Poem = Math.random > 0.5 
	? { name: "MinwooP", pages: 7, type: "pages" }
	: { name: "MinwooP", rhymes: true, type: "rhymes" };

if(poem.type === "pages"){
   // pages 타입
}else{
   // rhymes 타입  
}

switch case 문을 통해서도 각 type을 구분할 수 있다.

switch(poem.type){
    case "pages": 
        // ~ 
        break;	
    case "rhymes": 
        // ~ 
        break;
}

---

📌 교차 타입

여러 기존 객체 타입을 별칭 객체 타입으로 결합해 새로운 타입을 생성할 수 있다.

유니언 타입과 결합해 사용할 수도 있다.

type ShortPoem = { author: string } & (
	| { kigo: string; type: "haiku"; }
	| { metor: number; type: "villanelle"; }
);

위의 ShortPoem 타입은 항상 author 속성을 가지며 하나의 type 속성으로 판별된 유니언 타입이다.

ts가 해당 이름을 출력하도록(할당 가능성 오류 때 타입 검사기가 출력하는 메시지) 타입을 일련의 별칭으로 된 객체 타입으로 분할하면 읽기가 훨씬 쉬워진다.

type ShortPoemBase = { author: string };
type Haiku = ShortPoemBase & { kigo: string; type: "haiku"; }
type Villanelle = { metor: number; type: "villanelle"};
type ShortPoem = Haiku | Villanelle;

두 개의 원시 타입을 교차 시도하면 never 키워드로 표시되는 never 타입이 된다.