TypeScriptのあるある部分型の型制約と条件分岐
TypeScriptで型定義する際のextends周りのあるあるを集めておく
型定義の=の
左辺に出てくるextendsは、TypeScriptのGenericsの型制約の話
引数に取る型の制約を設ける
他の型システムならkindとか型クラスで制約を設けるが、TSでは部分型 (subtype)でやる
右辺に出てくるextendsは、Conditional Typesの条件分岐の話
であることに注意する
両方とも、部分型で同じ話をしているので同じページに書いているmrsekut.icon
これを使いこなすためには、型の階層を把握していないといけないので難易度高いと思うmrsekut.icon
ref TypeScriptの型の階層
TypeScriptのobject型である
T extends object
record, array, functionを含むことに注意mrsekut.icon
配列である
TS extends unknown[]
tupleは許容しない
TypeScriptのTuple型である
TS extends readonly unknown[]
ただの配列は許容しない
関数である
T extends (...args: unknown[]) => unkwnon>
T extends Fucntion
どう違うのかはよくわからん #??
後者のほうが簡潔なので後者で書いているmrsekut.icon
record型の判定
TypeScriptのrecord型である
T extends { [K in string]: unknown }
T extends Record<string, unknown>
Record<K, T>
これは、{2: boolean, [symbol]: boolean}のように、keyがnumberやsymbolのものも許容するので、直観通り「record」の条件として使える
なんで、numberやsymbolも行けるのかわからん #??
ちなみに、[K in string]を[K in number]に変えても同じになる
なんでかは知らん #??
never型の判定
T[] extends never[]
[T] extends [never]
string literalの判定
K extends ${any}
常にtrueを返す
U extends U
T extends unknown
T exrends any
わざわざこれが必要になるケースは、U extends Uを参照
引数の配列の要素数が1個以上かどうか
いっぱい書き方があるmrsekut.icon
T extends [unknown, ...unknown[]]
code:例.ts
type Head<T extends unknown[]> =
T extends [unknown, ...unknown[]] ? T0 : never;
T[0] extends T[number]
code:例.ts
type Head<T extends unknown[]> =
T0 extends Tnumber ? T0 : never
T extends [infer H, ...any[]]
code:例.ts
type Head<T extends unknown[]> =
T extends [infer E, ...any[]] ? E : never;
T extends []
code:ts
type Head<T extends unknown[]> =
T extends [] ? never : T0;
T['length'] extends 0
code:ts
type Head<T extends unknown[]> =
T'length' extends 0 ? never : T0;
共通で持っているpropertyの値を見て絞り込む
code:ts
type Ts = { kind: 'ts'; hasTypeClass: false };
type Hs = { kind: 'hs'; hasTypeClass: true };
type Purs = { kind: 'purs'; hasTypeClass: true };
type Langs = Ts | Hs | Purs;
type HasTypeClass<Lang> =
Lang extends { hasTypeClass: true } ? Lang : never;
type HasTypeClassLangs = HasTypeClass<Langs>; // Hs | Purs