TypeScriptの根幹「型システム」、バージョン3から5.2までの変更点を解説！

ますます便利になるTypeScript！ バージョン3からの変更点と総まとめ　第3回

　その登場以来、順当にアップデートを重ねているTypeScriptに関して、バージョン3から5.2までの変更点をまとめて紹介するのが、本連載です。前回は、タプルに関しての変更点を紹介しました。今回は、TypeScriptの根幹ともいえる型システムに関する変更点を紹介します。

型システムに関する新機能リスト

　本連載は、TypeScriptのバージョン3から5.2までのアップデート内容を、テーマごとにバージョン横断で紹介する連載です。第3回である今回紹介するのは、TypeScriptの根幹ともいえる型システムの変更点です。具体的には、以下の内容を順に紹介します。

1. ジェネリクスと「...」に関する新機能
2. constキーワードに関する新機能
3. 型定義におけるテンプレート文字列
4. Mapped型での再マッピング
5. インデックスシグネチャの新しいキー
6. catchブロック変数でunknownが可能
7. returnのない関数の戻り値

ジェネリクスと「...」に関する新機能

　最初に紹介するのは、ジェネリクスと「...」演算子に関する新機能です。

ジェネリクスとスプレッド演算子の組合せ

　例えば、個人情報を表す型定義としてPersonalBaseDataがあり、プロパティとしてid（number型）、name（string型）、phone（string型）があるとします。同様に、id、name、birth（Date型）プロパティが定義されたPersonalBirthDataがあるとします。これらのオブジェクトを、スプレッド演算子を使ってマージするリスト1のような関数を定義したとします。この関数の戻り値は、id、name、phone、birthのプロパティが含まれたオブジェクトとなります。

リスト1：PersonalBaseDataとPersonalBirthDataをマージする関数

function mergePersonalData(base: PersonalBaseData, birth: PersonalBirthData) {
  return {...base, ...birth};
}

　このような関数の引数の型を汎用化し、さまざまなオブジェクトに適用できる関数として、リスト2のようなものを考えたとします。

リスト2：ふたつのオブジェクトをマージする関数

function mergeData<B, E>(base: B, extended: E) {
  return {...base, ...extended};
}

　このmergeData()関数では、リスト1のmergePersonalData()関数と違い、BやEが実行時に指定されるため、そもそもスプレッド演算子で展開できるデータ型かどうかが判定できません。そのため、エラー表示となっていました。それが、バージョン3.2で、エラーとならずに問題なく関数定義ができるように変更されています。

ジェネリクスと残余構文の組合せ

　...演算子は、スプレッド演算子以外に残余構文でも利用されます。そのような構文とジェネリクスを組合せたコードとして、リスト3のような関数を考えます。

リスト3：ジェネリクスと残余構文を組合せた関数の例

function extractOtherPersonalProperties<PD extends PersonalBaseData>(personalData: PD) {
  const {id, name, phone, ...otherProperties} = personalData;
  return otherProperties;
}

　このextractOtherPersonalProperties()のジェネリクスで記述されているPersonalBaseDataは、前項のPersonalBaseDataと同じ、すなわち、id、name、phoneの各プロパティが存在するオブジェクトとします。よって、extractOtherPersonalProperties()の引数の型であるPDは、PersonalBaseDataを拡張した型、すなわち、プロパティとしてid、name、phoneが含まれていれば、それ以外には任意のプロパティを含めることができます。

　そして、関数内の処理は、引数として渡されたオブジェクトからid、name、phone以外のプロパティのオブジェクトを取り出す処理となっています。その際、...演算子を利用して、引数personalDataのid、name、phone以外が、otherPropertiesに格納されるようにしています。このコードが、以前はエラーとなっていましたが、3.2で問題なく動作するようになりました。