例外処理 - @ikikko のはてなブログ

Javaでのtry-catchを知ってるくらいで、正直語るほど詳しくはありません。何かツッコミどころがあったらヨロシク。業務中に感じたことをベースにしているので言語はABAPですが、例外処理機構が組み込まれた他のプログラム言語でも本質は変わらないはず。参考にしたのはこの辺。

（他のプロジェクトのことをよく知らないので、思いっきり推測だけど）ABAPでの開発って、オブジェクト指向をはじめとしてなかなか新しいプログラミング概念が浸透していないのではないかと思います。COBOLに類似しているとも言われますし昔から実績がある言語なので、開発者の間でも「新しい概念なんて取り入れなくても、昔ながらのやり方で十分にアプリケーション開発できてるよ！」という意識があるのでしょう。

ですが、開発対象となるアプリケーションも昔と違って大規模かつ複雑なものとなっているのだから、有用と思われる概念・技術はどんどん取り込んでいかないと対処できません。SAPも少しは考えているようで、オブジェクト指向に慣れていない開発者でもできるだけとっつきやすいように、例えばBADIといった仕組みを用意してGUIツールからOOPを実装できるようなサポートもされてはいます。が、まだまだ現状は…といった感じでしょう*1。

ということで、今回はABAPにおける例外処理について、新しいコンセプトであるクラスベースの例外処理*2について考えてみたいと思います。

今回のプロジェクトで人のプログラムを読んでいる中で一番気持ち悪いと感じたのは、フラグでエラー時の処理フロー制御を行っているところ。一例を示すと、こんな感じ。

DATA: err_flg_a, " サブルーチン a でのエラーフラグ
      err_flg_b. " サブルーチン b でのエラーフラグ


サブルーチン a 実行

IF err_flg_a がオンでなければ
  サブルーチン b 実行
ENDIF.

IF err_flg_a がオンでなく、
   err_flg_b がオンでなければ
  サブルーチン c 実行
ENDIF.

IF   err_flg_a がオンならば
  エラーメッセージ A 出力
ELSE err_flg_b がオンならば
  エラーメッセージ B 出力
ENDIF.


サブルーチン a
  いろいろ処理…
  エラーがある場合、err_flg_a をオンにする

サブルーチン b
  いろいろ処理…
  エラーがある場合、err_flg_b をオンにする

無駄にグローバル変数を使っているとかいろいろ突っ込みどころはあるけど、何よりそのフラグ制御に萎えちゃいます…orz。こういう風にエラー処理が伝播している場合は、その都度フラグチェックするのではなく例外処理を使いましょうよ。

TRY.
  PERFORM sub_routine_a.
  PERFORM sub_routine_b.
  PERFORM sub_routine_c.

  CATCH cx_local_exception_a.
    MESSAGE A.
  CATCH cx_local_exception_b.
    MESSAGE B.
ENDTRY.

*** サブルーチン定義
FORM sub_routine_a RAISING cx_local_exception_a.
  ...
  IF sy-subrc <> 0.
    RAISE EXCEPTION TYPE cx_local_exception_a.
  ENDIF.
ENDFORM.

FORM sub_routine_b RAISING cx_local_exception_b.
  ...
  IF sy-subrc <> 0.
    RAISE EXCEPTION TYPE cx_local_exception_b.
  ENDIF.
ENDFORM.

*** ローカル例外クラス定義
CLASS cx_local_exception_a DEFINITION
  INHERITING FROM cx_static_check.
ENDCLASS.

CLASS cx_local_exception_b DEFINITION
  INHERITING FROM cx_static_check.
ENDCLASS.

複数件の伝票をループで処理しようとして、例外aの場合はその伝票のみ処理を中止して、例外bの場合はメイン処理自体を中止したい場合。実機で試してないけど、多分こんな感じ。

...

*** 複数件の伝票（tb_order）を一件ずつ（st_order）処理
TRY.

  LOOP tb_order INTO st_order.

    TRY.
      PERFORM sub_routine_a.
      PERFORM sub_routine_b.
      PERFORM sub_routine_c.

      CATCH cx_local_exception_a.
        MESSAGE A.
    ENDTRY.

  ENDLOOP.

  CATCH cx_local_exception_b.
    MESSAGE B.

ENDTRY.

...