TypeScriptのRecordに警告を表示したい

Question

実現したいこと

TypeScriptのRecordに警告を表示したい

前提

以下のようなソースコードの場合、インデックス100は範囲外なので、userNameにundefinedが代入されるはずです。

const users: Record<number, string> = {
  0: 'takahashi',
  1: 'yamada',
  2: 'tanaka'
}

// userNameの型は string | undefined を期待しているが、stringになっている
const userName = users[100]
const lowerCaseUserName = userName.toLowerCase()

しかし、コードを書いているときはこのような問題に気づけません。
また、そもそもuserName変数はstring | undefinedではなく、stringになっています。

強制的にstring | undefined にしたり、VSCodeで編集中に気付けるように警告を表示させることは可能でしょうか。

型がstring | undefinedであれば以下のようなエラーが表示され、編集中に気づけるようになり、安全なコードが書けるようになります。

const userName = users[100]
const lowerCaseUserName = userName.toLowerCase()
// 'userName' は 'undefined' の可能性があります。 ts(18048)

試したこと

• 以下のように書く事で期待するような事が出来るのですが、Recordの型を変更するのは違うと思っています。keyが見つからずにundefinedになる事と、valueにundefinedが含まれている事は違うと思います。

const users: Record<number, string | undefined> = {
  0: 'takahashi',
  1: 'yamada',
  2: 'tanaka'
}

補足情報（FW/ツールのバージョンなど）

• TypeScript 5.5.2

Answer 1

tsconfig.json で以下を指定する事で実現できました。
strictとnoUncheckedIndexedAccessどちらも指定する必要があります。
片方だけではダメでした。

{
  "compilerOptions": {
    "strict": true,
    "noUncheckedIndexedAccess": true,
  }
}

Answer 2

以下のように書く事で期待するような事が出来るのですが、Recordの型を変更するのは違うと思っています。

逆に、Record<0 | 1 | 2, string>型にする、あるいは（データを書き換えないなら）as constとしてキーを決め打ちにする、というような手段は取れませんでしょうか。

Comments

[johnwick]

回答有り難うございます。
今回、keyは数値で0～nです。nは不定なので不可能です。