타스 - 타입 추론/호환

타입 추론  

타입스크립트가 코드를 해석해 나가면서 타입을 추론하는 것..

 

let x = 3; //number
let str = '나는야 문자' //string
let ary = [] // ary

문맥상의 타이핑

예제1)

타입스크립트가 window.onmousedown 의 타입을 검사하는데 문맥상 mouseEvnet 와 관련이 있다고 판단하여 타입이 추론되었다.

 

예제2)

이번에도 스크롤 이벤트에 e 의 추론으로 button element 맞지 않는 타입이라고 에러가 남

 

타입 호환

타입 호환이란 타입스크립트 코드에서 특정 타입이 다른 타입에 잘 맞는지를 의미합니다.

 

예제1)

인터페이스 Avengers 의 타입속성으로 name 만 string 으로 타입지정이 되있음에도 location 까지 추론되어 string 으로 타입지정이 되어있기 때문에 호환이라고 볼 수 있습니다.

 

주의사항

Enum 타입 호환 주의사항

enum 은 number 와는 호환이 되지만 다른 타입들과는 호환이 되지 않습니다.

 

class 타입 호환 주의사항

class Hulk {
  handSize: number;
  constructor(name: string, numHand: number) { }
}

class Captain {
  handSize: number;
  constructor(numHand: number) { }
}

let a: Hulk;
let s: Captain;

a = s;  // OK
s = a;  // OK

Generics

타입 간의 호환 여부를 판단 할 때 <T> 가 속성에 할당 되었는지를 기준으로 합니다.

interface Empty<T> {
}
let x: Empty<number>;
let y: Empty<string>;

x = y;  // OK, because y matches structure of x



interface NotEmpty<T> {
  data: T;
}
let x: NotEmpty<number>;
let y: NotEmpty<string>;

x = y;  // Error, because x and y are not compatible

1번의 경우 인터페이스에 속성이 없기 때문에 x,y 는 같은 타입으로 간주 될 수 있으나

2번의 경우에는 data 속성이 있기 때문에 각기 다른 타입으로 간주 됩니다.