Mapped Typeのasによるキーの再マッピング

ようこそ

基本的なキーのリマッピング

type Prefixed<T> = {
  [K in keyof T as `prefix_${string & K}`]: T[K]
};
type P = Prefixed<{ name: string }>;
// { prefix_name: string }

never によるキーのフィルタリング

type OnlyStrings<T> = {
  [K in keyof T as T[K] extends string ? K : never]: T[K]
};

ゲッター名の生成

type Getters<T> = {
  [K in keyof T as `get${Capitalize<string & K>}`]: () => T[K]
};
type UserGetters = Getters<{ name: string; age: number }>;
// { getName: () => string; getAge: () => number }

セッター名の生成

type Setters<T> = {
  [K in keyof T as `set${Capitalize<string & K>}`]: (val: T[K]) => void
};

Record 型の反転

type Invert<T extends Record<string, string>> = {
  [K in keyof T as T[K]]: K
};

条件付きキーのリマッピング

type MethodKeys<T> = {
  [K in keyof T as T[K] extends Function ? K : never]: T[K]
};

テンプレートリテラルとの組み合わせ

type Namespaced<T, NS extends string> = {
  [K in keyof T as `${NS}::${string & K}`]: T[K]
};

シンボルキーのマッピング

実践: FormData 型

type FormFields<T> = {
  [K in keyof T as K extends string ? K : never]: string
};

as と条件付き型の組み合わせ

確認問題

まとめ