【TypeScript】type-challenges 中級編 3・Omit 解説

お題

組み込みの型ユーティリティOmit<T, K>を使用せず、TのプロパティからKを削除する型MyOmitを実装する。

やりたいこと

interface Todo {
  title: string
  description: string
  completed: boolean
};

type Result = MyOmit<Todo, 'description'>;

// Expected
interface Expected {
  title: string
  completed: boolean
};

解答

type MyOmit<T, K extends keyof T> = {
  [P in keyof T as P extends K ? never : P]: T[P]
};

解説

処理の流れ

• <T, K extends keyof T>
KがTのプロパティであるように制約。
• { [P in ...]: T[P] }
  Mapped Typesを使用し、オブジェクトを作成。
• [P in keyof T as P extends K ? never : P]
asを使用し、as以降の条件分岐をもとに、Pの値を再割り当て（リマップ）する。

そもそもOmit<T, K>とは...

オブジェクトの型TからKで指定したプロパティを除いたオブジェクト型を返すユーティリティ型である。

type User = {
  surname: string
  middleName?: string
  givenName: string
  age: number
  address?: string
  nationality: string
  createdAt: string
  updatedAt: string
};

type Optional = "age" | "address" | "nationality" | "createdAt" | "updatedAt";
type Person = Omit<User, Optional>;

type Person = {
  surname: string
  middleName?: string
  givenName: string
};

Mapped Typesにおけるasとは...

キーをリマップ（再割り当て）する機能を持つ。
Mapped Types内で、キーを条件に基づいて変更することができる。

型アサーションのasとは異なる機能です

keyofとは...

Mapped Typesとは...

参考記事

ユーティリティ型Omit<T, keys>

• Omit | TypeScript入門『サバイバルTypeScript』

Mapped Typesにおけるas

• TypeScript Documentation | Mapped Types

型アサーションas

• 型アサーション「as」| TypeScript入門『サバイバルTypeScript』

今回の問題