• typeof null === ‘object’

• null, undefined는 strictNullChecks 여부에 따라 달라짐.

• never 타입으로 선언된 변수의 범위는 공집합이기 때문에 아무런 값도 할당할 수 없음. ex) const x: never = 12; 는 불가능함.

• 교집합 시 모든 걸 포함함.

  interface Person {
    name: string;
  }
  interface Lifespan {
    birth: Date;
    death?: Date;
  }
  type PersonSpan = Person & Lifespan;
  
  const ps: PersonSpan = {
    name: 'Alan Turing',
    birth: new Date('1912/06/23'),
    death: new Date('1954/06/07'),
  };  // OK
  
  // 유니온은 앞의 교집합과 같이 동작하지 않음. 값의 key가 없기 때문.
  type K = keyof (Person | Lifespan);  // Type is never
  
  // 다음과 생각하면 편함
  keyof (A&B) = (keyof A) | (keyof B) // "name" | "birdh" | "death"
  keyof (A|B) = (keyof A) & (keyof B) // never
  
  // extends 키워드를 쓰는 것이 더 일반적임.
  

• 그림 2-7 그림 참고

  • 타입은 엄격한 상속 관계가 아니라 겹쳐지는 집합으로 표현함.

• extends K, T

  function getKey<K extends string>(val: any, key: K){
    //...
  }
  
  function sortBy<K extends keyof T, T>(vals: T[], key: K): T[]{
    //...
  }
  
  interface Point {
    x:number;
    y:number;
  }
  
  const pts: Point[] = [{x: 1, y: 1},{x: 2, y: 0}];
  sortBy(pts, 'x'); // 정상. 'x'는 'x'|'y'를 상속 (즉, keyof T)
  sortBy(pts, 'y'); // 정상. 'y'는 'x'|'y'를 상속
  sortBy(pts,Math.random() < 0.5 ? 'x' : 'y');
  // 정상, 'x'|'y' 는 'x'|'y'를 상속
  sortBy(pts,'z');
  // ~~~ "z" 형식의 인수는 "x' | 'y' 형식의 매개변수에 할당될 수 없습니다.
  

• ts는 길이도 체크함.

  const triple: [number,number,number] = [1,2,3];
  const double: [number,number] = triple;
  // ~~~~ [nunber,number,number] 형식은
  // [nunber,number] 형식에 할당할 수 없습니다.
  // 'length'속성의 형식이 호환되지 않습니다.
  // 3 형식은 2 형식에 할당할 수 없습니다.
  

  item 8

  • js 런타임의 typeof와 타입스크립트 타입은 다름. js 타입이 더 단순함.
  • class 키워드는 값과 타입 두 가지로 모두 사용됨. 따라서 클래스에 대한 typeof는 상황에 따라 다르게 동작함.

  interface Person {
   first: string;
   last: string;
  }
  
  const first: Person['first'] = p['first'];
  // 타입선언(:) 또는 단언문(as) 다음에 나오는 심벌은 타입인 반면, = 다음에 오는 모든 것은 값이다.
  
  type PersonEl = Person['first' | 'last']; // Type is string
  type Tuple = [string, number, Date];
  type TupleEl = Tuple[number]; // Type is string | number | Date
  

  • 구조분해 타입 추론 방법

  function email(
   {person, subject, body}: {person: Person, subject: string, body: string}
  ) {
   // ...
  }
  

  item 9

  • 타입 단언보다 안전성이 체크되는 타입 선언을 쓰자.

    • const a : Person (선언), as const (단언)
    • const a = <Person>{} → 이건 리액트 컴포넌트로 인식되어 잘 쓰지 않음.

  • 화살표 함수 타입 정의하기

    const people: Person[] = ['alice', 'bob', 'jan'].map(
     (name): Person => ({name})
    );
    

  • 타입 단언이 필요한 경우

    • DOM 엘리먼트 - ts는 dom에 접근할 수 없기 때문. ex) querySelector
    • ! - 접두사로 쓰이면 boolean의 부정문, 접미사로 쓰이면 null이 아니라는 단언문으로 쓰임.

    // !도 단언문임.
    const elNull = document.getElementById('foo'); // Type is HTMLElement | null
    const el = document.getElementById('foo')!; // Type is HTMLElement
    

  • 단언문은 A가 B의 부분 집합인 경우만 사용해 변환 가능. 임의의 타입 간 변환 x.

  • 단언문 무조건 성공하는 법 : unknown을 포함해 단언하기. 모든 타입은 unknown의 서브타입임.

    const el = document.body as unknown as Person; // OK
    

item10

• string의 경우 기본형이지만 메서드를 가지는 객체 타입으로 정의되어 있기도 함. String.prototype
• 예를 들어 기본형 string을 String 객체로 wrapping하고, 메서드를 호출하고, 마지막에 wrapping한 객체를 버림 (몽키 패치).
  • 몽키 패치란 런타임에 프로그램의 어떤 기능을 수정해서 사용하는 기법을 말함.
• 다른 기본형에도 동일하게 객체 래퍼 타입이 존재함. null, undifined 제외.
• 특징

// String은 자기 자신이 유일한 존재임.
> "hello" === new String("hello")
false
> new String("hello") === new String("hello") false

// 기본형에 할당하면 기존 속성이 사라짐.
> x = "hello"
> x.language = 'English' 'English'
> x.language
undefined

• 타입스크립트가 제공하는 타입 선언은 전부 기본형 타입으로 되어 있어 타입 정의 시 기본형을 사용하면 됨.
  • new 없이 BigInt를 쓰면 기본형을 생성하지만 그래도 헷갈리니 기본형 쓰자.

item11

interface Room { 
			numDoors: number; 
			ceilingHeightFt: number;
}

const r: Room = {
      numDoors: 1,
      ceilingHeightFt: 10,
      elephant: 'present',
    // ~~~~~~~~~~~~~~~~~~ Object literal may only specify known properties,
// and 'elephant' does not exist in type 'Room' };

const obj = { 
			numDoors: 1,
			ceilingHeightFt: 10,
      elephant: 'present',
    };

const r: Room = obj; // OK

• 잉여 속성 체크가 할당 가능 검사와는 별도의 과정이라는 것을 알아야 타입스크립트 타입 시스템에 대한 개념을 정확히 잡을 수 있음.
• 객체 리터럴을 변수에 할당하거나 함수에 매개변수로 전달할 때 잉여 속성 체크가 수행됨.
  • 객체 리터럴 - 잉여 속성 체크
  • 객체 리터럴 x - 잉여 속성 체크 x