⚡️

TypeScript 5.5からは関数からType predicatesの型推論が有効になるよ！

Kanon

2024/04/28に公開

TypeScript

tech

去る2024年4月25日にTypeScript 5.5 ベータ版リリースの情報が発表されました。

どうやら今回の目玉機能は、『推論されたtype predicate』ということです。

この記事では、これまでとこれからでtype predicateがどのように変わるのかをお話ししたいと思います。

環境の用意

これまでの動作を確認するための環境は、既に用意していた別プロジェクトのランタイムを利用しました。バージョンは5.1.6です。

ベータ版環境は新たに用意します。公式のリリースノートにもありますが、以下のコマンドを実行するだけです。

npm install -D typescript@beta

これでベータ版の実行環境ができたのですが、VSCodeさんが最新版の仕様で型推論を行なってくれません。

ので、調教強制的にいうことを聞かせます。

やり方は、適当なtsファイル開いてshift + cmd + p → typescript:Select Typescript Versionから正しいバージョンを選択します。

上記のように、選択肢が表示されるため、5.5.0-betaを選択すれば準備OKです。

そもそも、Type predicateって？

これは名前に馴染みがない方でも、普段コードを書く中でナチュラルに使っている方も多いハズ。

例えば以下のコード。

function isCar(car: Car | undefined): car is Car {
  return car !== undefined;
}

このような型ガードを書くことでundefinedを間引き、安全にCarとして扱うことができます。

このcar is Carの部分がType predicateと呼ばれるものです。

改めて、5.5以前のコードを確認する

Type predicateが何かわかったところで、以下のコードを見てください。

interface Car {
  maker: string;
  carNumber: number;
  run(): void;
}

declare const makerCars: Map<string, Car>;

function isCar(car: Car | undefined){
  return car !== undefined;
}

function runCar(makers: string[]) {
  const cars = makers
    .map(maker => makerCars.get(maker))
    .filter(car => isCar(car));

  // なぜか型がCar | undefinedになってしまう
  for (const car of cars) {
    car.run();
  }
}