【typescript】typeofキーワードの後の型指定について

Question

実現したいこと

以下のコードは参考書のサンプルコードになります。
配列で指定している number がどのようば意図で指定されているのか理由をご教示頂きたく思います。

発生している問題・分からないこと

今回のコードについての私の解釈は以下になります。
認識に誤りがありましたら、ご指摘頂きたく思います。

const commandList = ["attack", "defend", "run"] as const;　について
→ 配列commandListに3要素格納しており、constアサーションによって再代入不可の読み取り専用としている。

type Command = typeof commandList[number];　について
→ typeofの後ろにcommandListを指定しているため、"attack", "defend", "run"のどれかを型として扱いたいと解釈しています。
しかし、その後ろの [number]型 はどのような意図で記載しているのでしょうか。

該当のソースコード

const commandList = ["attack", "defend", "run"] as const;
type Command = typeof commandList[number];

試したこと・調べたこと

• teratailやGoogle等で検索した
• ソースコードを自分なりに変更した
• 知人に聞いた
• その他

上記の詳細・結果

調べた結果、理解が深まらなかったため質問させて頂きました。

補足

特になし

Answer 1

typeofの後ろにcommandListを指定しているため

typeof commandListだけでは["attack", "defend", "run"]という全体が型として認識されます。

配列を参照する場合には添字として数値を指定しますので、[number]で（どれか決まらない）要素の型へアクセスする、という流れとなります。

配列から全要素の型を生成する

Comments

[kosuke05]

maisumakunさん

分かりやすくご教示頂き有難うございます。
おかげさまで内容を理解することが出来ました。