[TypeScript]Excludeについて、実際に実装して理解する。

指定した型が代入可能であれば、それを除外して新しい型を作成するExcludeというものがある。
今回はこれを自力で実装しながら理解することを目的とする。

Excludeとは

Excludeとは以下の書式を持つ組み込み型で、指定した型のうち、指定したプロパティを除外して新しい型にしてくれるものです。

1
// Exclude<T, U> Tに指定された型のうち、Uに代入可能な型を除外する。
2
// 全て代入可能であればneverを返す。
3
type User = {
4
  id: number
5
  name: String
6
  profile?: String
7
}
8
type ExcludeUser = Exclude<keyof User, 'id'>
9
// type ExcludeUser = {
10
//   id: number;
11
//   profile?: String;
12
// }

今回はこれを実装して理解していきます。
すなわち以下のMyExcludeを実装していきます。

1
type ExcludeUser = MyExclude<keyof User, 'id'>
2
// type ExcludeUser = {
3
//   id: number;
4
//   profile?: String;
5
// }

MyExcludeの実装方針

MyExcludeを実装するにあたってはConditional Typesを使用して、TがUから継承可能であれば
never、そうでない場合はTを返すだけです。
今回はこれがそのまま答えになっちゃいますね。

1
type MyExclude<T, U> = T extends U ? never : T

これは主に、Union Typesで特定のプロパティを除外するために利用されます。
ちょうどtypeof Userからidを除外したような使い方です。

まとめ

今回のExcludeの実装を説明しました。
Conditional Typesを使えば簡単でしたね。

分かってしまえば簡単なのですが、Conditional Typesはなかなか癖が強いので、どんどん使用してなれましょう。