上級

ジェネリクスのextends制約を満たさない型を渡すとエラーになる

<T extends { length: number }>のように書くと、Tには「lengthプロパティを持つ型」しか渡せなくなります。制約を満たさない型（例えばnumber）を渡すと、呼び出し時点でエラーになります。

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

main.ts(4,23): error TS2345: Argument of type 'number' is not assignable to parameter of type '{ length: number; }'.

main.ts

ファイル名

4

行番号

23

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

TS2345

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

Argument of type 'number' is not assignable to parameter of type '{ length: number; }'.

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

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

 1  function getLength<T extends { length: number }>(item: T): number {
 2    return item.length;
 3  }
 4  console.log(getLength(42     ));
                             ^

 1  function printId<T extends { id: number }>(item: T): void {
 2    console.log(item.id);
 3  }
 4  printId("abc"    );
                ^

 1  function double<T extends { value: number }>(item: T): number {
 2    return item.value * 2;
 3  }
 4  console.log(double(true        ));
                             ^

よくある誤解

「ジェネリクスはどんな型でも受け入れる」という理解は、extends制約を付けていない場合に限った話です。制約を付けた時点で、その形を持たない型は受け付けなくなります。

まとめ

ジェネリクスのextends制約を満たさない型を渡すとエラーになるは上級でつまずきやすい項目です。上の3パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• ジェネリクスの型引数を明示すると戻り値の型チェックが効くfunction firstOf<T>(items: T[]): Tのようなジェネリック関数は、呼び出し時に指定した型引数（例: firstOf<number>）に応じて戻り値の型が決まります。
• Mapped typeも通常と同じ型チェックを受ける理由{ [K in keyof T]?: T[K] }のようなmapped typeで生成した型は、見た目は特殊でも、実体は通常のinterfaceと同じようにプロパティごとの型チェックが行われます。