TypeScript は冗長プロパティチェック（Excess Property Checking）のメカニズムを実装しており、これは追加の安全性を提供し、オブジェクトリテラルが特定の型の変数に直接割り当てられるときにプログラマーにエラーを警告します。このメカニズムは、TypeScript の構造的型付けが予期しない宣言されていないプロパティを許可することがあるために導入され、これがプログラムの論理エラーを引き起こすことがよくあります、特に API やフォームを扱う際に。
冗長プロパティのチェックは、オブジェクトの構造が厳密な契約モデルに従うことが多いフロントエンド開発の安全性を向上させるために導入されました（例えば、JSONへのシリアル化のため）。オブジェクトがリテラルとして作成され、即座に関数に渡されるか、特定の型の変数に保存されると、TS は「冗長な」チェックを実行します — 提案された型に記述されていない余分なプロパティを探します。
オブジェクトにタイプミスや余分なプロパティが含まれている場合、プログラマーのエラーが見逃され、余分なプロパティは正しく使用されないか、ビジネスロジックから完全に隠れることがあります。さらに、冗長プロパティチェックは予想外に発生する場合があります — 例えば、オブジェクトが明示的に型付けされていない場合や、スプレッド演算子や中間変数を通じて処理される場合です。
TypeScript は、明示的に型付けされた変数または関数のパラメータに直接割り当てられたオブジェクトリテラルに冗長プロパティチェックを適用します。チェックは、オブジェクトのすべてのプロパティを探し宣言された型と照合します — もし余分なプロパティがあれば、コンパイルエラーが発生します。
interface UserProfile { name: string; age: number; } const user: UserProfile = { name: "Sam", age: 25, email: "sam@mail.com" // エラー: 余分なプロパティ email };
冗長チェックを回避するためには、動的プロパティを持つオブジェクトや部分型のためにインデックスシグネチャや中間変数を使用します。
interface FlexibleUser { name: string; [prop: string]: any; // インデックスシグネチャは新しいプロパティを許可する } const user2: FlexibleUser = { name: "Sam", age: 25, email: "sam@mail.com" // 正常に動作する };
主な特徴:
余分なプロパティを持つオブジェクトを作成し、型なしの変数に割り当て、その後型を再割り当てすると、冗長プロパティチェックは機能しますか？
いいえ、冗長チェックはリテラルの直接割り当て時にのみ機能します。オブジェクトが事前に作成され、後で型が指定された場合、余分なプロパティは発見されません。
const temp = { name: "John", age: 18, foo: "bar" }; const u: UserProfile = temp; // エラーなし、foo は無視される
クラスおよびクラスインスタンスに対して冗長プロパティチェックは機能しますか？
いいえ、このチェックはオブジェクトリテラルに対してのみ実行されます。クラスやクラスインスタンスには適用されません。
TS の設定で冗長チェックをグローバルに無効にすることはできますか？
いいえ、無効にするための個別の設定はありません。ただし、プロパティにインデックスシグネチャを設定するか、type assertion（'as'）を使用してチェックが必要ないことを明示的に示すことができます。
const special: UserProfile = { name: "Max", age: 22, hobby: "js" } as UserProfile;
開発者は、フォームのインターフェースを作成し、余分なフィールドによるエラーを回避するために [key: string]: any を使用します。
長所: 動的データに対するコンパイルエラーは発生しません。
短所: フォーム構造の任意のエラーやタイプミスが発見されず、バグの追跡が困難です。
開発者は厳密なインターフェースを定義し、動的データを厳密な構造に変換するための別の関数を使用し、事前検証を行います。
長所: インターフェースは常に期待される契約と一致し、コンパイラがタイプミスをキャッチし、高い保守性を持ちます。
短所: 動的データの検証とマッピングのために追加のコードを書く必要があります。