타입을 활용한 유창한 인터페이스

설정된 항목 추적하기

상태 타입 매개변수

class Builder<S> {
  // S is a record of keys set so far, e.g. {} or { url: string }
  private data: Record<string, unknown> = {};
}

각 메서드가 키를 추가합니다

  set<K extends string, V>(key: K, value: V): Builder<S & Record<K, V>> {
    this.data[key] = value;
    return this as unknown as Builder<S & Record<K, V>>;
  }

교차 타입 기법

type Empty = {};
type AfterUrl = Empty & Record<"url", string>;
type AfterBoth = AfterUrl & Record<"method", string>;
// AfterBoth = { url: string; method: string }

구체적인 연쇄형 빌더

class Req<S> {
  private d: Record<string, unknown> = {};
  url(u: string): Req<S & { url: string }> {
    this.d.url = u; return this as any;
  }
  method(m: string): Req<S & { method: string }> {
    this.d.method = m; return this as any;
  }
}

연쇄 호출에 따라 타입이 확장됩니다

const partial = new Req<{}>().url("/x");
// type: Req<{ url: string }>
const full = partial.method("POST");
// type: Req<{ url: string; method: string }>

상태를 추적하는 이유

누적된 구조 읽기

type StateOf<T> = T extends Req<infer S> ? S : never;
type S1 = StateOf<Req<{ url: string }>>; // { url: string }

실행 시점은 단순하게 유지됩니다

const r = new Req<{}>().url("/users").method("GET");
console.log("configured url and method");

원장으로서의 제네릭 상태

절충점

간단히 확인하기

복습