はじめに

2024年3月にTypeScript5.4がリリースされました。
その中で、NoInferという新しい機能が追加され、
これが便利だったので紹介します。

NoInferとは?

When calling generic functions, TypeScript is able to infer type arguments from whatever you pass in.
ref:https://devblogs.microsoft.com/typescript/announcing-typescript-5-4/

ジェネリック関数で引数の型を元に、他の引数の型を推論できるものです。
既存の型のパラメータによって制限できるというものです。

5.3以前	5.4

実際のコード

declare function doBallGame<T extends string>(a: T[], b: NoInfer<T>): void
doBallGame(['baseball', 'soccer'], 'judo')

//下記のようなエラーが出力される
// 型 '"judo"' の引数を型 '"baseball" | "soccer"' のパラメーターに割り当てることはできません。

今回でいくと、doBallGameの第1引数の、[baseball,soccer]から第2引数がbaseballかsoccer`のどちらかであることを推論してくれます。

これにより、judoを含む可能性がある型推論を防ぐことができます。

以下の手順でts5.4はインストールできるのでぜひ試してください

npm install -D typescript@5.4

参照