[1주차] 타입스크립트 딥다이브 모르는 내용 정리

자바스크립트때처럼 아직 이해도가 부족해서 (1)용어 익히기, (2)모르겠는 내용 정리를 위주로 해보겠습니다.

파일 선언

declare 라는 키워드르 변수의 타입 선언을 해줌.

인터페이스

새로운 멤버 추가가 쉽다.
클래스에 사용가능

lib.d.ts

자바스크립트 런타임에 쓰는 기본 변수들의 타입 저장해둔 파일 확장 가능하다.

함수

오버로딩해서 쓸 수 있다. (자바스크립트도 가능한지 몰랐네요.. JS에서 안써봄.)

콜러블

인터페이스 내에 () 붙은 멤버

예시

interface ReturnString {
(): string
}
declare const foo: ReturnString;
const bar = foo(); // bar는 문자열 타입인 것으로 추론됨

뉴어블

interface CallMeWithNewToGetString {
new(): string
}
// 사용법
declare const Foo: CallMeWithNewToGetString;
const bar = new Foo(); // bar는 string 타입의 변수로 추론됨

타입 표명(==단언 <-> 추론)

이 챕터가 하고싶은 말 잘 이해 못했음..

신선도

이 챕터도 아직 좀 난해..

이 예제가 뭔가 핵심 같은데.. 객체 리터럴일 때 타입 검사가 좀 빡세다?


function logIfHasName(something: { name?: string }) {
if (something.name) {
    console.log(something.name);
}
}
var person = { name: 'matt', job: 'being awesome' };
var animal = { name: 'cow', diet: 'vegan, but has milk of own species' };

logIfHasName(person); // 오케이 logIfHasName(animal); // 오케이 logIfHasName({neme: 'I just misspelled name to neme'}); // 오류: 객체 리터럴은 정의된 속성만 지정해야 함. 여기서 neme은 불필요.

- 리터럴인데 추가 속성을 허용하고 싶으면 
```javascript
var x: { foo: number, [x: string]: unknown };
x = { foo: 1, baz: 2 };  // 오케이, `baz`는 인덱스 서명 부분에 해당하게 됨

타입 가드

TypeScript는 JavaScript의 instanceof, typeof 연산자를 이해할 수 있습니다.
따라서 타입으로 분기문을 치면 타입에러를 방지할 수 있음

리터럴

primitive 한 값도 타입이 될 수 있다.

읽기 전용

readonly로 지정하면 불변성을 지원한다.

제네릭

이거 약간 씨언어 할때 나왔던것 같은데 타입을 변수처럼 씀. 예를들어 <

타입 인터페이스

특정 연산 상황에서는 어느정도 추론도 가능함

타입 호환성

변형성 : 자식은 부모의 타입을 가질 수 있다.

Never 타입

리턴하지 않는 함수나 예외를 던져야하는 경우 리턴 never로 선언가능

구별된 유니온

인터페이스들을 합집합해서 하나의 타입으로 쓸 수 있음
겹치는 멤버가 있으면 코드에서 분기처리하면 에러가 안남

인덱스 서명

타입 이동하기

값을 이동하면서 타입도 같이 복사해야함

변수같은 경우는 typeof 를 이용해서 복사가능

var foo = 123;
var bar: typeof foo; // `bar`는 `foo`와 같은 타입 (여기서는 `number`)
bar = 456; // 오케이

예외처리

왜 나왔는지 잘 이해못함.. 타입스크립트 문제맞나요?

믹스인

두개의 클래스 동시 상속을 지원하지 않기때문에, 믹스인을 이용해서 확장하는 형태로 활용가능

holdanddeepdive / typescript-study

[1주차] 타입스크립트 딥다이브 모르는 내용 정리 #1