お題

タプル型TにUが含まれているか判定する型Includesを実装します。JavaScriptのArray.include関数を型システムに実装します。

やりたいこと

type test1 = Includes<["Kars", "Esidisi", "Wamuu"], "Kars">; // true
type test2 = Includes<["Kars", "Esidisi", "Wamuu"], "Dio">; // fasle
type test3 = Includes<[{}], { a: "A" }>; // false
type test4 = Includes<[boolean, 2, 3, 5, 7], false>; //false

解答

type Includes<T extends readonly any[], U> = {
  [P in T[number]: true;
}[U] extends true
  ? true
  : false;

解説

処理の流れ

{ [P in T[number]: true; }
T[number]で返されたユニオン型を使って、オブジェクトを作成する。

example.ts

// Tが["Kars", "Esidisi", "Wamuu"]場合
// ["Kars", "Esidisi", "Wamuu"][number] =>  "Kars" | "Esidisi" | "Wamuu"
{
  "kars": true,
  "Esidisi": true,
  "Wamuu": true,
}

{ [P in T[number]: true; }[U]
インデックスアクセス型の利用
{ [P in T[number]: true; }[U] extend true ? true : false
インデックスアクセス型でプロパティの型がtrueかどうかで条件分岐を行う。

// Includes<["Kars", "Esidisi", "Wamuu"], "Kars">; の場合

{"kars": true, "Esidisi": true, "Wamuu": true,}["kars"] //  => true

なぜ下記のコードでは期待した結果が得られないのか？

type TestInclude<T extends readonly any[], U> = U extends T[number]
  ? true
  : false;

こちらのコードでは、Tにユニオン型やオブジェクトが含まれる場合、期待した結果を得られません。

type test5 = Includes<[{}], { a: "A" }>; // => falseのはずがtrue
type test6 = Includes<[true, 2, 3, 5, 6, 7], boolean>; // falseのはずがtrue
type test7 = Includes<[1], 1 | 2>; // falseのはずがtrue

単純なextendsチェックの場合、ユニオン型では部分一致が、オブジェクトやboolean型ではサブタイプが許容される。そのため、期待した結果が得られない。

[number]とは...

インデックスアクセス型とは...

参考記事

今回の問題