中級

インデックスシグネチャと矛盾する型のプロパティを宣言するとエラーになる

[key: string]: numberのようなインデックスシグネチャを持つinterfaceでは、個別に宣言する具体的なプロパティも、インデックスシグネチャの型と互換性がなければ宣言できません。

エラーメッセージの読み方

main.ts(3,3): error TS2411: Property 'name' of type 'string' is not assignable to 'string' index type 'number'.

main.ts

ファイル名

3

行番号

3

列番号 — この位置でtscが検査に失敗しました

TS2411

エラーコード — 検索するとTypeScriptの解説が見つかります

Property 'name' of type 'string' is not assignable to 'string' index type 'number'.

内容 — 期待していたもの、または受け付けられなかったもの

このエラーが出る典型パターン

 1  interface Dict {
 2    [key: string]: number;
 3    name: string ;
            ^
 4  }
 5  console.log("ok");

 1  interface Scores {
 2    [key: string]: number;
 3    label: boolean;
             ^
 4  }
 5  console.log("ok");

 1  interface Flags {
 2    [key: string]: boolean;
 3    count: number  ;
             ^
 4  }
 5  console.log("ok");

よくある誤解

「個別に書いたプロパティは、インデックスシグネチャより優先されるはず」という考えは誤りです。TypeScriptは両方が矛盾なく共存できることを要求し、型が食い違う時点でinterfaceの宣言自体をエラーにします。

まとめ

インデックスシグネチャと矛盾する型のプロパティを宣言するとエラーになるは中級でつまずきやすい項目です。上の3パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• タプル型は要素数も型として扱われる（余分な要素はエラーになる）[number, number]のようなタプル型は、要素の型だけでなく要素数も型情報の一部です。
• Mapped typeも通常と同じ型チェックを受ける理由{ [K in keyof T]?: T[K] }のようなmapped typeで生成した型は、見た目は特殊でも、実体は通常のinterfaceと同じようにプロパティごとの型チェックが行われます。