Exceptionハンドリングの基本と新しい手法について【JJUG CCC 2023 fall】

Slide 1

Slide 1 text

Slide 2

Slide 2 text

Copyright (C) 2023 Toranoana Lab Inc. All Rights Reserved. #jjug_ccc_abc 好きなもの ● VOCALOID（初音ミク） ● 謎解き、クイズ今期おすすめアニメ ● SHY ● 葬送のフリーレン自己紹介河野裕隆 ● 2019/08 虎の穴ラボ入社 ● 新規開発チーム ○ クリエイティア他虎の穴ラボへの入社理由 ● スキルを高めあえる仲間がほしい ● ユーザーに近い仕事がしたい JJUG CCC登壇は1年ぶり2回目 2

Slide 3

Slide 3 text

Slide 4

Slide 4 text

Slide 5

Slide 5 text

Slide 6

Slide 6 text

Slide 7

Slide 7 text

Slide 8

Slide 8 text

Copyright (C) 2023 Toranoana Lab Inc. All Rights Reserved. #jjug_ccc_abc ● 実行時にErrorとExceptionを発生させて処理する ○ Error：プログラム上では対処不可のもの ○ Exception：プログラム上で処理できる可能性があるもの（補足）コンパイルエラーコンパイル時（実行前）に文法エラー等を検知 Javaでの話 8

Slide 9

Slide 9 text

Slide 10

Slide 10 text

Slide 11

Slide 11 text

Slide 12

Slide 12 text

Copyright (C) 2023 Toranoana Lab Inc. All Rights Reserved. #jjug_ccc_abc チェック例外 IOException、SQLExceptionなど主にファイルの有無や外部との疎通非チェック例外 NullPointerException、 IllegalArgumentExceptionなど実装時の考慮漏れやあえて例外に倒している箇所チェック例外/非チェック例外のサンプル 12

Slide 13

Slide 13 text

Slide 14

Slide 14 text

Slide 15

Slide 15 text

Copyright (C) 2023 Toranoana Lab Inc. All Rights Reserved. #jjug_ccc_abc Throws // ユーザーサービスの実装 public User findByName(String name) throws UserNotFoundException{ return users.stream().filter((u) -> u.name().equals(name)).findFirst().orElseThrow(UserNotFoundException::ne w); } メソッドの定義のあとに「 throws 発生するクラス名」で上位に例外発生可能性を知らせることができる 15

Slide 16

Slide 16 text

Copyright (C) 2023 Toranoana Lab Inc. All Rights Reserved. #jjug_ccc_abc throw new UserNotFoundException();// 呼び出し元に例外を渡す try { // 例外が起こる可能性がある処理 } catch (SampleException e) { // ハンドリングする例外 throw new UserNotFoundException(e); // 例外のラッピング } try { // 例外が起こる可能性がある処理 } catch (SampleException e) { // ハンドリングする例外 throw e; // 例外の再Throw } Throw 16

Slide 17

Slide 17 text

Copyright (C) 2023 Toranoana Lab Inc. All Rights Reserved. #jjug_ccc_abc UserService userService = new UserService(); String searchUserName = "test"; Optional user = userService.findByName(searchUserName); if(user.isEmpty()){ throw new UserNotFoundException(); } // ユーザーサービスの実装 public Optional findByName(String name) { return users.stream().filter((u) -> u.name().equals(name)).findFirst(); } Throw 17

Slide 18

Slide 18 text

Copyright (C) 2023 Toranoana Lab Inc. All Rights Reserved. #jjug_ccc_abc try { // 例外が起こる可能性がある処理 } catch (SampleException e) { // ハンドリングする例外 // SampleExceptionの例外が起きた場合の処理 } catch (Exception e) { // ハンドリングする例外 // その他の例外が起きた場合の処理 } finally { // 例外が起きても起きなくてもやって欲しい処理 } try-catch 文法 18

Slide 19

Slide 19 text

Copyright (C) 2023 Toranoana Lab Inc. All Rights Reserved. #jjug_ccc_abc UserService userService = new UserService(); String searchUserName = "test"; try { userService.findByName(searchUserName); } catch (UserNotFoundException e) { System.out.println("ユーザーが見つかりませんでした。 (" + searchUserName + ")"); } // ユーザーサービスの実装 public User findByName(String name) throws UserNotFoundException{ return users.stream().filter((u) -> u.name().equals(name)).findFirst().orElseThrow(UserNotFoundException::ne w); } try-catch 実装例 19

Slide 20

Slide 20 text

Copyright (C) 2023 Toranoana Lab Inc. All Rights Reserved. #jjug_ccc_abc throwsを書く 1. チェック例外をthrowする場合 2. チェック例外がthrows句にあるメソッド呼びcatchしない場合 =>書かないとコンパイルエラー catchしてハンドリングする 1. チェック例外がthrows句にあるメソッド呼び、catch伝播を止める場合 a. RuntimeExceptionでラップしてthrowする b. 適切に処理して正常系に戻すチェック例外でやらないといけないこと（非チェック例外でも可能） 20

Slide 21

Slide 21 text

Slide 22

Slide 22 text

Slide 23

Slide 23 text

Copyright (C) 2023 Toranoana Lab Inc. All Rights Reserved. #jjug_ccc_abc 多値返却でカバー 1. 複数の値を戻り値にできる 2. panic/defer/recoverでtry-catchに近い動き a. panic：throwのような動き b. defer：ﬁnallyのような動き c. recover：catchのような動き（大域脱出は基本的にない） =>Javaの例外が乱用された結果の言語思想 Go 23

Slide 24

Slide 24 text

Slide 25

Slide 25 text

Slide 26

Slide 26 text

Slide 27

Slide 27 text

Slide 28

Slide 28 text

Copyright (C) 2023 Toranoana Lab Inc. All Rights Reserved. #jjug_ccc_abc UserService userService = new UserService(); try { userService.createUser("test", 25); userService.findByName("test"); return renderUserDetail(); } catch (UserExceptionBase e) { return switch (e) { case UserNotFoundException ex -> renderNotFound(); case UserNotUniqueException ex -> renderParamError(); } } パターンマッチによる分岐 28

Slide 29

Slide 29 text

Slide 30

Slide 30 text

Copyright (C) 2023 Toranoana Lab Inc. All Rights Reserved. #jjug_ccc_abc // sealed で宣言し、permits で継承先を制限 public abstract sealed class UserExceptionBase extends Exception permits UserNotFoundException, UserNotUniqueException {} // UserExceptionBaseを継承、finalで子クラスを制限 public final class UserNotFoundException extends UserExceptionBase{} // UserExceptionBaseを継承、finalで子クラスを制限 public final class UserNotUniqueException extends UserExceptionBase{} シールクラスの例外処理への応用 30

Slide 31

Slide 31 text

Slide 32

Slide 32 text

Slide 33

Slide 33 text

Slide 34

Slide 34 text

Slide 35

Slide 35 text

Copyright (C) 2023 Toranoana Lab Inc. All Rights Reserved. #jjug_ccc_abc ● 例外は例外である（当たり前ですが） ● 今回のコードでは不必要に例外を使っている ○ 処理結果用オブジェクトでハンドリングしたほうが良い場合が多い ● NullPointerException等もcatchするのではなく事前のチェック（validation）で対処したほうが良い改めて例外とはなにか 35