【Fortran学習｜実務向け】COMMON変数の「暗黙の初期化」を過信すると痛い目に遭う話

はじめに

FORTRANで開発を進める上で、`COMMON`ブロックは複数のサブルーチン間で変数を共有するための強力な機能です。しかし、この`COMMON`変数の初期化に関しては、開発者が陥りやすい落とし穴が存在します。「OSが勝手に初期化してくれるだろう」という暗黙の期待は、再現性のないバグを生み出す原因となり、デバッグに膨大な時間を浪費させる可能性があります。本記事では、この「暗黙の初期化」の危険性と、それを回避するための確実な方法について解説します。

基礎知識：COMMONブロックと初期化

COMMONブロックとは？

`COMMON`ブロックは、FORTRANにおいて、プログラムの異なる部分（例えば、メインプログラムとサブルーチン、あるいは複数のサブルーチン）で同じメモリ領域を共有するための仕組みです。これにより、引数リストを介さずにデータを渡すことができ、プログラムの可読性や保守性を向上させる場合があります。

例えば、以下のように`COMMON`ブロックを宣言します。

COMMON /BLOCK_A/ I, J, R(10)

この例では、`/BLOCK_A/`という名前の`COMMON`ブロックに、整数型変数`I`、`J`、そして10個の要素を持つ実数型配列`R`が定義されています。

「初期化」の重要性

プログラムを実行する際、変数は何らかの値で初期化される必要があります。特に、計算の起点となる変数や、前回の計算結果を引き継いで使用するような変数は、意図した値で初期化されていることが不可欠です。初期化されていない変数は、不定な値（いわゆる「ガベージ値」）を持っており、それを利用した計算結果もまた不定となります。

「暗黙の初期化」の危険性

参考本文で指摘されているように、一部のOSや環境では、プログラム実行時に`COMMON`ブロックのメモリ領域をゼロクリア（初期化）してくれることがあります。これは、開発者にとっては都合が良いように見えるかもしれません。しかし、これはFORTRANの規格で保証されている動作ではありません。

つまり、

ある環境ではゼロクリアされる
別の環境ではゼロクリアされない

といったことが起こり得ます。

もし、開発中に動作していた環境で`COMMON`変数がゼロクリアされていたとしても、本番環境や他の開発者の環境でゼロクリアされなかった場合、前回のプログラム実行時の値（いわゆる「残り香」）が残ったまま計算が開始されてしまいます。これにより、以下のような深刻な問題が発生します。

再現性のないバグ: 特定の条件下でしか発生しない、原因特定が困難なバグ。
予期せぬ計算結果: 意図しない値で計算が開始され、誤った結果が出力される。
デバッグの困難さ: 原因が初期化漏れにあると気づくまで、コードのロジックに問題があると誤解し、無駄なデバッグ作業に時間を費やす。

この「暗黙の初期化」への依存は、プログラムの堅牢性を著しく損なう行為と言えます。

確実な初期化方法：DATA文とBLOCK DATA

この問題を回避し、プログラムの再現性と信頼性を確保するためには、`COMMON`変数を明示的に初期化することが絶対条件です。FORTRANでは、主に以下の2つの方法で初期化を行うことができます。

1. DATA文による初期化

`DATA`文は、プログラムの実行開始前に、変数に初期値を設定するための標準的な方法です。`COMMON`ブロック内の変数も`DATA`文で初期化できます。

PROGRAM MAIN
IMPLICIT NONE

REAL :: X, Y
INTEGER :: N
COMMON /SHARED_DATA/ X, Y, N

! COMMON変数をDATA文で明示的に初期化
DATA X /0.0/, Y /1.0/, N /10/

PRINT , “Initial X:”, X
PRINT , “Initial Y:”, Y
PRINT , “Initial N:”, N

CALL SUBROUTINE1()

END

SUBROUTINE SUBROUTINE1()
IMPLICIT NONE
REAL :: X, Y
INTEGER :: N
COMMON /SHARED_DATA/ X, Y, N

! サブルーチン内でも値が初期化されていることを確認
PRINT , “In SUBROUTINE1, X:”, X
PRINT , “In SUBROUTINE1, Y:”, Y
PRINT , “In SUBROUTINE1, N:”, N

X = X + 1.0
Y = Y 2.0
N = N – 1

PRINT , “After modification in SUBROUTINE1, X:”, X
PRINT , “After modification in SUBROUTINE1, Y:”, Y
PRINT , “After modification in SUBROUTINE1, N:”, N

END

この例では、`PROGRAM MAIN`の実行開始前に`COMMON /SHARED_DATA/`内の変数`X`, `Y`, `N`がそれぞれ`0.0`, `1.0`, `10`に初期化されています。

2. BLOCK DATAによる初期化

`COMMON`ブロックが複数存在したり、初期化する変数の数が多い場合、あるいはプログラムの実行開始前に初期化を集中させたい場合には、`BLOCK DATA`という特殊なプログラムユニットを使用するのが効果的です。`BLOCK DATA`は、実行可能なコードを含まず、`COMMON`ブロックに初期値を設定するためだけに用いられます。

PROGRAM MAIN
IMPLICIT NONE

REAL :: A, B
INTEGER :: I, J
COMMON /BLOCK1/ A, B
COMMON /BLOCK2/ I, J

PRINT , “Before calling SUBROUTINE2:”
PRINT , “A:”, A, ” B:”, B
PRINT , “I:”, I, ” J:”, J

CALL SUBROUTINE2()

PRINT , “After calling SUBROUTINE2:”
PRINT , “A:”, A, ” B:”, B
PRINT , “I:”, I, ” J:”, J

END

SUBROUTINE SUBROUTINE2()
IMPLICIT NONE
REAL :: A, B
INTEGER :: I, J
COMMON /BLOCK1/ A, B
COMMON /BLOCK2/ I, J

A = A 10.0
B = B + 5.0
I = I + 100
J = J 2

PRINT , “Inside SUBROUTINE2, after modification:”
PRINT , “A:”, A, ” B:”, B
PRINT , “I:”, I, ” J:”, J

END

! BLOCK DATAによる初期化
BLOCK DATA INIT_COMMON
IMPLICIT NONE
REAL :: A, B
INTEGER :: I, J
COMMON /BLOCK1/ A, B
COMMON /BLOCK2/ I, J

DATA A /1.1/, B /2.2/, I /3/, J /4/

END BLOCK DATA INIT_COMMON

この例では、`BLOCK DATA INIT_COMMON`が`PROGRAM MAIN`の実行前に`COMMON /BLOCK1/`と`COMMON /BLOCK2/`の変数をそれぞれ`1.1`, `2.2`, `3`, `4`に初期化します。

応用・注意点

宣言の一貫性: `COMMON`ブロックの宣言は、それを使用する全てのプログラムユニット（メインプログラム、サブルーチン、関数、`BLOCK DATA`）で全く同じである必要があります。変数名が異なっていても、型、サイズ、順序が一致していることが重要です。
初期化のタイミング: `DATA`文は、通常、プログラムユニットの実行開始前に評価されます。`BLOCK DATA`は、プログラム全体の初期化の一部として処理されます。
レガシーコードへの対応: 古いFORTRANコードでは、`COMMON`変数の初期化が省略されている場合があります。このようなコードを保守・改修する際は、必ず明示的な初期化を追加することを検討してください。
現代的な代替案: 可能であれば、`COMMON`ブロックの使用を避け、`MODULE`（Fortran 90以降）を利用した変数共有に移行することを推奨します。`MODULE`は、グローバル変数の管理において、より構造化され、型安全な方法を提供します。`MODULE`内で宣言された変数は、`SAVE`属性を付与することで、その値が保持されることが保証されます（ただし、初期化は別途必要です）。

「暗黙の初期化」という、規格で保証されていない挙動に依存することは、将来的なバグの温床となります。`DATA`文や`BLOCK DATA`を用いて、`COMMON`変数を常に明示的に初期化する習慣をつけましょう。これにより、コードの信頼性と再現性が格段に向上し、開発効率も改善されるはずです。