1. 導入
数値計算エンジニアにとって、Fortranのレガシーコードに触れる機会は避けて通れません。特に「ラベル付きDOループ」は、F77時代から続く非常に古い構文です。現代的なプログラミングの視点では「非推奨」とみなされることが多いですが、既存の巨大な数値計算ライブラリの保守においては、この仕様を正しく理解し、安全に扱うことが極めて重要です。本記事では、この仕様が抱えるリスクと、安全なメンテナンス手法について解説します。
2. 基礎知識
ラベル付きDOループとは、ループの終了位置を行番号（ラベル）で指定する形式です。
構文は以下の通りです。
DO [ラベル] [変数] = [開始値], [終了値]
…
[ラベル] CONTINUE
この形式の最大の特徴であり、かつ最大の脆弱性は「複数のループが同一のラベルを共有できる」という点です。例えば、入れ子になったループの末尾を一つのCONTINUE文でまとめる書き方が許容されてきました。これはコード行数を減らす工夫でしたが、現在では「構造化プログラミングの原則」に反し、プログラムの制御フローを複雑にしてバグの温床となるため、現代のFortran（Fortran 90以降）では「DO-END DO」構文の使用が強く推奨されています。
3. 実装/解決策
レガシーなソースコードを保守する際、最も推奨されるアプローチは「可能な限り現代的なDO-END DO構文へ置き換えること」です。もし、どうしてもラベル付きループを維持しなければならない場合は、以下のルールを徹底してください。
1. ループ終了のラベルは、そのループ専用にする（共有しない）。
2. インデントを正しく適用し、視覚的に終了位置を明確にする。
3. 新規開発では絶対に使用しない。
4. サンプルプログラム
以下は、ラベル付きDOループを、現代的なDO-END DO構文にリファクタリングする例です。
! — レガシーな書き方 (修正対象) —
DO 100 I = 1, 5
DO 100 J = 1, 5
PRINT , I, J
100 CONTINUE
! — 現代的な書き方 (推奨される修正) —
! DO-END DO構文に変更することで、制御構造が明確になります
DO I = 1, 5
DO J = 1, 5
PRINT , I, J
END DO
END DO
5. 応用・注意点
現場でのトラブルで最も多いのは、ラベルを共有しているループを「一部だけ修正しようとして、もう一方のループの挙動を壊す」ケースです。
注意点：
ラベルの重複排除を行う際は、コンパイラの最適化や、暗黙的な制御フローに依存していないか必ず確認してください。特に、ループの途中でGOTO文を使用してループ外に飛び出すような古いコードの場合、単純な置換でプログラムの挙動が変わる可能性があります。
回避策：
修正を行う際は、単体テストを徹底してください。また、コンパイラの警告オプション（gfortranであれば -Wall や -Wsurprising）を有効にすることで、非推奨な構文や危険な構造を事前に検知できます。レガシーコードと向き合う際は、「動いているから触らない」のではなく、「安全な構文に順次置き換えていく」という姿勢が、長期的な技術的負債を減らす鍵となります。
コメント