ジェネリクスが使われている標準ライブラリ

ジェネリクスは標準ライブラリの中でも多くの箇所で利用されています。ジェネリクスを利用する代表的なものとしては、

• Arrayオブジェクト
• Promiseオブジェクト
• Mapオブジェクト

などがあります。

これらのオブジェクトでジェネリクスがどう使われているのかを見てきましょう。

なぜジェネリクスが使われているか

Arrayオブジェクトはstringやnumberなど状況に応じて色々な型の要素を保持する必要があります。このとき、配列の要素の型はどんなプログラムを実装するかで変わってきます。つまり、要素の型を抽象化してプログラマーが実装時に型を指定できる必要があります。

この型を抽象化する方法としてジェネリクスが利用されています。

ts
const numbers: Array<number> = [1, 2, 3, 4];

ts
const numbers: Array<number> = [1, 2, 3, 4];

Arrayは特別に別の記法で型表記をすることもできます。これらについては配列のページに詳細がありますので併せて参照ください。

ts
const numbers: number[] = [1, 2, 3, 4];

ts
const numbers: number[] = [1, 2, 3, 4];

📄️ 配列の型注釈

TypeScriptでは、配列に型注釈する方法が2通りあります。

標準ライブラリを使ってみる

実際にジェネリクスが使われる標準ライブラリを利用した実装をみてみましょう。

Array.prototype.map<T>()

Arrayオブジェクトのmap<T>()メソッドは引数で渡された関数をすべての配列の要素に適用することで新しい配列を返す関数です。サンプルコードでは、新しく生成される数値配列の要素の型を指定するmap<number>でジェネリクスが使われています。

ts
const textNumbers = ["1", "2", "3", "4"];
const numbers = textNumbers.map<number>(function (text: string) {
  return Number(text);
});

ts
const textNumbers = ["1", "2", "3", "4"];
const numbers = textNumbers.map<number>(function (text: string) {
  return Number(text);
});

Map<K, V>

Map<K, V>オブジェクトでは、Kにキーの型を指定しVにキーに紐づく値の型を指定します。先ほどのmap<T>()メソッドは、ジェネリクスの型定義がひとつだけでしたが、Map<K, V>は型定義がふたつあります。このようにジェネリクスの型定義はひとつである必要はなく、複数の型定義を持つことも可能です。

ts
type Address = {
  country: string;
  postalCode: string;
  address1: string;
};
 
const addresses = new Map<string, Address>();
addresses.set("太郎", {
  country: "日本",
  postalCode: "8256405",
  address1: "東京都",
});
 
console.log(addresses.get("太郎"));

ts
type Address = {
  country: string;
  postalCode: string;
  address1: string;
};
 
const addresses = new Map<string, Address>();
addresses.set("太郎", {
  country: "日本",
  postalCode: "8256405",
  address1: "東京都",
});
 
console.log(addresses.get("太郎"));

Promise<T>

Promiseオブジェクトについての説明は本書より詳細な記載がありますので、そちらをご参照ください。

📄️ Promise<T>

PromiseはES2015から追加された機能で、非同期処理を見通しよく書くことができます。ES2017で導入されたasync/awaitを使うことでPromiseで書いたコードをさらに見通しよく書くことができます。

標準ライブラリの型定義の参照方法

標準ライブラリの型定義ファイルはTypeScriptの公式リポジトリのsrc/libディレクトリで確認することができます。
https://github.com/microsoft/TypeScript/tree/main/src/lib

Array.prototype.map()の型は lib/lib.es5.d.ts のファイルで確認できます。