【Fortran学習｜実務向け】サブルーチン引数における「ラベル」渡し (Alternate Return) の落とし穴と代替策

はじめに

古くからあるプログラミング言語、特にFORTRANなどでは、サブルーチン呼び出し時に「ラベル」を引数として渡し、サブルーチンの終了時にそのラベルへ処理を戻す「Alternate Return」という機能が存在しました。これは、サブルーチンからの複数の戻りパスを表現するために使われていましたが、現代のプログラミングにおいては、コードの可読性や保守性を著しく低下させる要因となります。本記事では、このAlternate Returnの仕組みと、なぜ避けるべきなのか、そして現代的な代替策について解説します。

Alternate Return とは？

Alternate Returnは、サブルーチンを呼び出す際に、通常の引数とは別に、処理を戻したい行の「ラベル」を引数として渡す機能です。例えば、CALL SUB(10, 20) のように記述すると、サブルーチン `SUB` は、処理が完了した際に、最初の引数で渡されたラベル（ここでは `10`）または二番目の引数で渡されたラベル（ここでは `20`）のいずれかに処理を戻すことができます。サブルーチン内部では、RETURN n のように記述することで、n番目の引数で渡されたラベルに処理を戻します。

この機能の目的は、サブルーチンが成功、失敗、あるいは特定の条件を満たした場合など、複数の異なる結果に応じて呼び出し元に制御を戻すパスを提供することでした。しかし、この仕組みは呼び出し元から見ると、サブルーチンがどこに処理を戻すのかを追跡するのが非常に困難になります。コードのどこにジャンプするかが、実行時の引数によって動的に決まってしまうため、デバッグやコードの理解を妨げる大きな要因となります。

なぜAlternate Returnは避けるべきか

Alternate Returnは、現代のプログラミングにおける以下の問題点を引き起こします。

可読性の低下: コードの流れが予測しにくくなり、他の開発者がコードを理解するのが困難になります。
保守性の低下: サブルーチンの仕様変更が、呼び出し元のコードに予期せぬ影響を与える可能性が高まります。
デバッグの困難さ: どのパスを通って処理が戻ってくるのかを特定するのが難しく、デバッグに多大な時間を要することがあります。
テストの複雑化: 複数の戻りパスを網羅的にテストするのが煩雑になります。

これらの理由から、Alternate Returnは「レガシー機能」と見なされており、新規開発では使用が推奨されません。

現代的な代替策

Alternate Returnが担っていた「複数の戻りパス」という役割は、より構造化された方法で実現できます。FORTRAN 90以降や、他の現代的なプログラミング言語では、以下のような方法が一般的です。

1. 戻り値による判定

サブルーチンが単一の値を返し、その値によって呼び出し元で処理を分岐させる方法です。これは最も一般的で推奨される方法です。

例えば、サブルーチンが成功を表す値（例: 0）や、エラーコード（例: 1, 2など）を返すようにします。呼び出し元では、返された値に応じて IF 文や SELECT CASE 文で処理を分岐させます。

2. 例外処理 (Exception Handling)

エラーや異常な状況が発生した場合に、例外を発生させる方法です。これは、予期しない事態やエラーパスを扱うのに非常に効果的です。

3. 構造化されたデータ構造

複数の情報をまとめて返す必要がある場合は、構造体 (Structure) や配列、あるいはタプルなどのデータ構造を利用します。

サンプルプログラム（FORTRAN 90以降の代替策）

ここでは、Alternate Returnの代わりに、戻り値による判定（SELECT CASE）で複数の処理パスを表現する例を示します。これはFORTRAN 90以降で利用可能です。


PROGRAM AlternateReturn_Example
    IMPLICIT NONE

    INTEGER :: status
    INTEGER :: return_code1, return_code2

    ! サブルーチンを呼び出し、戻りコードを取得
    CALL MySubroutine(10, return_code1, return_code2)

    ! 戻りコードに基づいて処理を分岐 (SELECT CASE を使用)
    SELECT CASE (return_code1)
        CASE (0)
            PRINT , "MySubroutine: 成功しました (Case 0)."
        CASE (1)
            PRINT , "MySubroutine: Warnings を伴う成功 (Case 1)."
        CASE (2)
            PRINT , "MySubroutine: エラーが発生しました (Case 2)."
        CASE DEFAULT
            PRINT , "MySubroutine: 未知の戻りコードです (Case Default)."
    END SELECT

    ! 別のサブルーチン呼び出し例
    CALL AnotherSubroutine(status)
    SELECT CASE (status)
        CASE (0)
            PRINT , "AnotherSubroutine: 正常終了 (Case 0)."
        CASE (1)
            PRINT , "AnotherSubroutine: 処理中断 (Case 1)."
        CASE DEFAULT
            PRINT , "AnotherSubroutine: 不明な状態 (Case Default)."
    END SELECT

CONTAINS

    ! 複数の結果を返す可能性のあるサブルーチン
    SUBROUTINE MySubroutine(input_value, rc1, rc2)
        IMPLICIT NONE
        INTEGER, INTENT(IN)  :: input_value
        INTEGER, INTENT(OUT) :: rc1, rc2

        ! 以下はダミーの処理で、戻りコードを決定します
        IF (input_value == 10) THEN
            rc1 = 0  ! 成功
            rc2 = 100 ! 関連情報1
        ELSE IF (input_value == 20) THEN
            rc1 = 1  ! Warning
            rc2 = 200 ! 関連情報2
        ELSE
            rc1 = 2  ! エラー
            rc2 = 300 ! エラーコード
        END IF
        PRINT , "  MySubroutine 内部: 処理完了 (rc1=", rc1, ", rc2=", rc2, ")"
    END SUBROUTINE MySubroutine

    ! 単一の状態コードを返すサブルーチン
    SUBROUTINE AnotherSubroutine(stat)
        IMPLICIT NONE
        INTEGER, INTENT(OUT) :: stat

        ! ダミーの処理
        stat = 0 ! 正常終了
        ! stat = 1 ! 処理中断
        PRINT , "  AnotherSubroutine 内部: 処理完了 (stat=", stat, ")"
    END SUBROUTINE AnotherSubroutine

END PROGRAM AlternateReturn_Example

応用・注意点

Alternate Returnは、その設計思想から、コードの意図を隠蔽し、依存関係を複雑にする傾向があります。もし、既存のレガシーコードでAlternate Returnが使用されている場合でも、新規のロジックでは絶対に使用しないようにしましょう。保守や機能追加の際には、Alternate Returnの箇所を特定し、上記のような現代的な方法（戻り値、SELECT CASE、例外処理など）にリファクタリングすることを強く推奨します。これにより、コードの可読性、保守性、そして堅牢性が格段に向上します。

特に、複数の戻りパスがある場合、それぞれのパスでどのような状態遷移が起きうるのかを明確に定義し、それをコードに反映させることが重要です。SELECT CASE を使うことで、各状態に対する処理が明示的になり、コードの意図が伝わりやすくなります。

また、サブルーチンが返す値は、単なる数字だけでなく、列挙型 (Enumeration) や、より意味のある定数として定義することで、コードの意図をさらに明確にすることができます。