TypeScriptで type Foo<T extends Bar = Bar>とした時の挙動がわかりません。

Question

以下のソース（SWR）を読んでいた際に、タイトルのようなソースがありました。

https://github.com/vercel/swr/blob/master/src/types.ts#L6

export type Fetcher<Data = unknown, SWRKey extends Key = Key> =
  /**
   * () => [{ foo: string }, { bar: number }] | null
   * () => ( [{ foo: string }, { bar: number } ] as const | null )
   */
  SWRKey extends (() => readonly [...infer Args] | null)
    ? ((...args: [...Args]) => FetcherResponse<Data>)
      /**
       * [{ foo: string }, { bar: number } ] | null
       * [{ foo: string }, { bar: number } ] as const | null
       */
    : SWRKey extends (readonly [...infer Args])
    ? ((...args: [...Args]) => FetcherResponse<Data>)
      /**
       * () => string | null
       * () => Record<any, any> | null
       */
    : SWRKey extends (() => infer Arg | null)
    ? (...args: [Arg]) => FetcherResponse<Data>
      /**
       *  string | null | Record<any,any>
       */
    : SWRKey extends null
    ? never
    : SWRKey extends (infer Arg)
    ? (...args: [Arg]) => FetcherResponse<Data>
    : never

細かい内容は置いておいて、上記ソースの1行目のようにextendsの後に同じものを=で繋いで記述している意味がわかりません。

type Bar = string
type Foo<T extends Bar = Bar>

これはextendsにどのような挙動を期待しているのでしょうか。
ご教示いただけると幸いです。

Answer 1

これはextendsにどのような挙動を期待しているのでしょうか。

意味を区切る位置が違います。SWRKey extends Keyのデフォルト値がKeyというだけです。

Comments

[tanana_m]

理解しました！ありがとうございます。