<T, K extends keyof T> をちゃんと理解する

TL;DR TypeScriptでライブラリなどを覗いているとよく見かける<T, K extends keyof T>について、問題を分解してきちんと理解する試みです。 extends この場合のextendsの役割は継承ではなく、制約です。 例えば以下のようなイメージ。 type StringOrNumber<T extends string | number> = T type A = StringOrNumber<string> type B = StringOrNumber<number> // Type 'boolean' does not satisfy the constraint 'string | number' type C = StringOrNumber<boolean> type User = { id: number; name: string; }; cons

[sifue]

keyofはキーの型をUnion型で用意するもので、extendsは普通にJavaやScalaの 上限付き境界のジェネリクスと同じだった。Partial<T>とかRecord<K, T>とかもそうだけどジェネリクスの特定ユースケースを狙った機能がTSは多いよな。