中級

switchで一部returnを書き忘れた原因と直し方

union型の値をswitch文で分岐する関数で、一部のケースにしかreturnを書かないと、「関数がreturn文で終わっていない」というエラーになります。TypeScriptはunion型の全パターンをたどって、返し忘れがないかを検査します。

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

main.ts(2,26): error TS2366: Function lacks ending return statement and return type does not include 'undefined'.

main.ts

ファイル名

2

行番号

26

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

TS2366

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

Function lacks ending return statement and return type does not include 'undefined'.

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

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

 1  type Shape = { kind: "circle"; radius: number } | { kind: "square"; side: number };
 2  function area(s: Shape): number {
 3    switch (s.kind) {
 4      case "circle":
 5        return Math.PI * s.radius * s.radius;
 6                                                  
                            ^
 7    }
 8  }
 9  console.log(area({ kind: "square", side: 4 }));

 1  type Payment = { kind: "card" } | { kind: "cash" };
 2  function fee(p: Payment): number {
 3    switch (p.kind) {
 4      case "card":
 5        return 3;
 6                                  
                    ^
 7    }
 8  }
 9  console.log(fee({ kind: "cash" }));

 1  type Level = { kind: "low" } | { kind: "high" };
 2  function score(l: Level): number {
 3    switch (l.kind) {
 4      case "low":
 5        return 1;
 6                                   
                    ^
 7    }
 8  }
 9  console.log(score({ kind: "high" }));

よくある誤解

「該当しないケースは実行時に来ないはずだから、書かなくても大丈夫」という判断は、tscの型チェックには通用しません。実行時の可能性ではなく、型として定義された全パターンを静的に検査します。

まとめ

switchで一部returnを書き忘れた原因と直し方は中級でつまずきやすい項目です。上の3パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• union型（string | number）のメソッド呼び出しで型エラーになる理由string | numberのようなunion型の値に対して、片方の型にしか無いメソッド（toUpperCaseなど）を呼び出そうとすると、もう一方の型に無いことを理由にエラーになります。
• タプル型は要素数も型として扱われる（余分な要素はエラーになる）[number, number]のようなタプル型は、要素の型だけでなく要素数も型情報の一部です。