1. 導入
Fortranでサブルーチンや関数を設計する際、引数の意図を明確にするINTENT属性は、堅牢なコードを書くための必須知識です。特にINTENT(OUT)は「呼び出し元へ結果を返す」ためのものですが、実務の現場では、この属性が持つ「副作用」を理解せずにメモリリークや意図しないデータの消失を引き起こすケースが後を絶ちません。本稿では、INTENT(OUT)の正しい仕様と、特に動的配列を扱う際の注意点を解説します。
2. 基礎知識
INTENT(OUT)属性は、コンパイラに対して「この引数は手続き内で値を受け取るためのものであり、入力値としては使用しない」と宣言するものです。重要なのは、手続きが開始された瞬間に、その引数が保持していた値は「未定義」として扱われるという点です。つまり、呼び出し元で何らかの値を代入していても、手続き側からはその値は参照できません。コンパイラはこれを利用して最適化を行うため、適切に指定することでプログラムの安全性と実行速度の向上が見込めます。
3. 実装/解決策
INTENT(OUT)を適用する場合、手続き側では必ずその変数に値を代入してから終了する必要があります。未代入のまま参照しようとすると未定義動作を引き起こします。特に注意すべきは「割付配列（ALLOCATABLE）」を渡す場合です。INTENT(OUT)を指定した割付配列は、手続きが呼び出された瞬間に自動的にDEALLOCATE（メモリ解放）が実行されます。もし、その配列がすでにメモリを確保していても、手続き側で再定義しない限り、呼び出し元のデータは失われます。
4. サンプルプログラム
以下に、割付配列の自動DEALLOCATE挙動を確認し、正しく値を返す実装例を示します。
program test_intent
implicit none
real, allocatable :: data(:)
! 配列の初期化
allocate(data(5))
data = 1.0
! 手続きの呼び出し
call update_array(data)
! 結果の確認
print , "Result: ", data
deallocate(data)
contains
subroutine update_array(arr)
! INTENT(OUT)を指定すると、この時点でarrのメモリは自動開放される
real, intent(out), allocatable :: arr(:)
! 再度割り付けを行う必要がある
allocate(arr(3))
arr = 2.0
! ここで代入しないと、呼び出し元には未定義のデータが返ることになる
end subroutine update_array
end program
5. 応用・注意点
現場での開発において最も注意すべきは、既存の割付配列を「拡張」するような処理をINTENT(OUT)で行おうとすることです。前述の通り、INTENT(OUT)は強制的にメモリを一度クリアするため、元のデータを利用して計算を行うようなロジックには適していません。
もし「元のデータを参照しつつ値を更新したい」のであれば、INTENT(INOUT)を使用してください。逆に、単に結果を返すためのバッファとして割り付け済みの配列を使い回したい場合は、INTENT(OUT)ではなくINTENT(INOUT)を使うか、引数にINTENT属性を付けないことで、自動DEALLOCATEという副作用を回避できます。メモリ管理の意図と属性の仕様が一致しているか、コードレビュー時に必ず確認する癖をつけましょう。
コメント