TypeScriptにおける配列のインデックス型

TypeScriptでは、配列やオブジェクト内のキーと値のペアの型を定義するインターフェースを作成できます。このような型はインデックス可能型と呼ばれます。

実際に見てみましょう。配列のキーと要素のペアを定義するインターフェースIArrayを作成してみます。配列のキーは数値（ここでは他に選択肢はありません）、値は文字列であることを指定します：

typescriptinterface IArray {
  [index: number]: string;
}

次に、作成したインデックス型を持つ変数arrを宣言します：

typescriptlet arr: IArray;

この変数に文字列の配列として値を代入します：

typescriptlet arr: IArray = ['a', 'b', 'c'];

ここで、配列の要素を数値にすると、TypeScriptはエラーを発生させます：

typescriptlet arr: IArray = [1, 2, 3]; // エラー