[typescript - 2.3] Async Iteration

[sangwook-kim]

Async iterators

interface AsyncIterator<T> {
  next(value?: any): Promise<IteratorResult<T>>;
  return?(value?: any): Promise<IteratorResult<T>>;
  throw?(e?: any): Promise<IteratorResult<T>>;
}

일반 Iterator와 달리 IteratorResult의 Promise를 반환하는 메소드들을 제공하는 것이 차이점. AsyncIterator 객체를 반환하는 Symbol. asyncIterator 메서드를 가지고 있으면 Iterable 하다 할 수 있다.

Async Generator

비동기 방식의 Generator. yield* 호출을 사용.

async function* g() {
  yield 1;
  await sleep(100);
  yield* [2, 3];
  yield* (async function *() {
    await sleep(100);
    yield 4;
  })();
}

일반 Generator와 마찬가지로 Async Generators는 Arrow function으로 만들 수 없다.

for-await-of

비동기 Iterator와 generator에대해서 for...of에 해당하는 for...await...of 문이 도입됨.

Generic parameter defaults

Generic에 심지어 default 인자를 사용할 수 있게 됨.

declare function create(): Container<HTMLDivElement, HTMLDivElement[]>;
declare function create<T extends HTMLElement>(element: T): Container<T, T[]>;
declare function create<T extends HTMLElement, U extends HTMLElement>(element: T, children: U[]): Container<T, U[]>;

위의 내용을 default인자를 사용하면

declare function create<T extends HTMLElement = HTMLDivElement, U = T[]>(element?: T, children?: U): Container<T, U>;

와 같이 쓸 수 있음. 이러한 Generic의 default 인자는 다음의 규칙을 따른다.

• 디폴트가 있는 경우, 타입 인자는 옵셔널하다.
• 필수 타입 매개 변수는 선택적 유형 매개 변수 다음에 오면 안된다.
• 타입 매개 변수에 대한 제약 조건이 있는 경우, 타입 매개 변수의 기본 타입은 이를 충족해야 한다.
• 정의되지 않은 타입 매개 변수는 디폴트 유형으로 해석되기 때문에, 타입 인자를 정의할 때 필요한 타입 인자에대한 타입만 지정하면 된다.
• 기본 타입이 정의되어있는 경우, 컴파일러가 어떤 타입을 사용할지 결정하기 어려운경우, 기본타입을 사용한다.
• 클래스/인터페이스 선언이 기존 클래스 또는 인터페이스 선언과 병합될 때, 추가로 디폴트 타입 인자를 도입할 수도, 기존의 디폴트 타입 인자를 사용할 수도 있다.