Typescript(Javascript)の配列について

Question

Typescript(Javascript)を勉強中です。

以下のようなサンプルコードを読んでいます。

//配列の要素の型を取得する条件型ElementType
type ElementType<T> = T extends unknown[] ? T[number] : T

type A = ElementType<string[]> //A : string???

1行目の条件型でT[number]が返されその結果Aにはstringが入っていると思うのですが、このT[number]をどう読めば良いのかわかりません。

ルックアップ型を使っているように読み取れるのですがなぜnumber型を指定しているのでしょうか？

Answer 1

このT[number]をどう読めば良いのかわかりません。

書いてのとおりです。Tに対してnumberのキーでアクセスした結果の型です。

ルックアップ型を使っているように読み取れるのですがなぜnumber型を指定しているのでしょうか？

配列の定義自体がその様になっています（GitHub）。

interface Array<T> {
  // 必要部分だけピックアップ
  [n: number]: T;
}