TypeScriptチームは、6.0リリースにおいて新しいコンパイラフラグ --noPropertyAccessFromIndexSignature を導入しました。これが有効になると、コンパイラはインデックスシグネチャから取得するプロパティへのドット記法によるアクセスを拒否します。これにより、開発者はブラケット記法を使用することを強制され、潜在的な undefined の値を、本番環境ではなくコンパイル時に表面化させることができます。

なぜこのフラグが重要なのか

JavaScriptにおいて、オブジェクトはしばしば辞書（ディクショナリ）として機能します。TypeScriptでは、Record<string, T> のようなインデックスシグネチャを使用して、そのような構造に型を付けることができます。言語仕様上、obj.key と obj["key"] は互換性があるものとして扱われるため、キーが実行時にしか判明しない場合でも、コンパイラはそのプロパティが存在すると想定してしまいます。この「静かな想定」が、多くのクラッシュの原因となります。obj.missingProp にアクセスするコードは、コンパイルは通り、実行もされますが、値が undefined であるためにエラーをスローします。

ドット記法には暗黙的な保証が含まれています。つまり、読み手や型チェッカーに対して「そのプロパティは確実に存在する」と伝えているのです。対照的に、ブラケット記法は不確実性を示唆します。つまり、キーが存在しない可能性があり、結果が undefined になる可能性があることを示します。--noPropertyAccessFromIndexSignature は、この視覚的および意味的な区別を強制し、ランタイムエラーの一種をコンパイル時の診断へと変えるものです。

フラグの仕組み

このフラグをオンにすると、インデックスシグネチャを通じてドット記法でプロパティにアクセスするあらゆる式がエラーとしてフラグ立てされます。コードはブラケットを使用するように書き換える必要があります。

// Before
const name = userData.name;          // OK even if "name" is not in the index

// After enabling the flag
const name = userData["name"];       // Error unless brackets are used

その後、コンパイラはブラケットによるアクセスに対して既に使用しているものと同じ undefined ハンドリングのルールを適用します。もし --noUncheckedIndexedAccess も有効になっている場合、userData["name"] の型は T | undefined となり、開発者は欠落しているケースをチェックすることを強制されます。

実践的な移行ステップ

  1. tsconfig.json でフラグを有効にする:

    {
  "compilerOptions": {
    "noPropertyAccessFromIndexSignature": true
  }
}

  2. 型チェッカーを実行する: インデックスシグネチャのキーに対するすべてのドット記法によるアクセスがエラーとして表示されます。

  3. ドットをブラケットに置き換える: この変更は機械的なものであり、実行時のパフォーマンスには影響しません。

  4. 発生した undefined 型に対処する: 必要に応じて、Null合体演算子、オプショナルチェイニング、または明示的なチェックを追加します。

  5. 最強のセーフティネットとして --noUncheckedIndexedAccess との併用を検討する: これらを組み合わせることで、辞書形式のアクセスはすべて「存在する可能性がある（欠落している可能性がある）」ものとして扱われるようになります。

明示的なプロパティを維持すべき場合

もしあるフィールドが安定したAPIコントラクトの一部であるなら、インデックスシグネチャに頼るのではなく、明示的なプロパティとして宣言してください。明示的なプロパティであれば、引き続きドット記法を使用でき、（型システムが検証できる限りにおいて）そのフィールドが常に存在するという保証を維持できます。インデックスシグネチャは、キーが事前に判明していない、真に動的なデータのために取っておきましょう。

反論：冗長性の増加

柔軟なオブジェクトを多用しているコードベースでは、追加のブラケットが冗長（ノイジー）だと感じるチームもあるかもしれません。このフラグは厳格な規律を強いるため、レガシーなプロジェクトでは大規模なリファクタリングが必要になる可能性があります。そのようなケースでは、新しいモジュールに限定するなど、段階的にフラグを導入し、時間をかけてコードベース全体にこのパターンを浸透させていくことができます。

次に注目すべき点

このフラグは、TypeScript 6.0における、より厳格な型安全性への広範な取り組みの一環です。今後のリリースでは、オブジェクトスプレッド、オプショナルチェイニング、または推論された any の使用に関する追加のチェックが導入される可能性があります。TypeScriptのロードマップを注視しておくことで、開発スケジュールを乱すことなく、次の安全機能セットをいつ採用すべきかを判断しやすくなるでしょう。

まとめ: --noPropertyAccessFromIndexSignature を有効にすることで、「このプロパティは保証されている」と「このプロパティは欠落している可能性がある」という区別がコード内で明示的になり、本番環境に到達する前に一連のバグを捕まえることができます。静かなランタイムの失敗をコンパイル時のエラーに変えることは、信頼性に不釣り合いなほど大きな影響を与える小さな変更なのです。