導入：なぜ「値渡し」の理解が重要なのか
数値計算の現場では、既存のC言語ライブラリ（BLAS/LAPACKのCインターフェースや、ハードウェア制御用ドライバなど）をFortranから呼び出す場面が多々あります。Fortranは標準で「参照渡し（アドレス渡し）」を行いますが、C言語の関数は「値渡し」を期待することがほとんどです。この不一致を解決せずに呼び出すと、プログラムが予期せぬ動作をしたり、最悪の場合はセグメンテーション違反を引き起こします。本記事では、BIND(C)とVALUE属性を組み合わせ、安全かつ確実にC言語の関数を呼び出すための実装テクニックを解説します。
基礎知識：Fortranの参照渡しとCの値渡し
Fortranにおいて、サブルーチンや関数の引数はデフォルトで「変数のメモリ上のアドレス（ポインタ）」が渡されます。一方、C言語の `void func(double x)` のような定義は、変数そのものの値をコピーして渡す「値渡し」を前提としています。このままFortranから呼び出すと、C言語側は「数値」を期待している場所に「アドレス（数値としてのポインタ）」が渡されることになり、計算結果が壊れます。これを防ぐために、Fortran 2003規格で導入された `bind(c)` 属性と `value` 属性を組み合わせる必要があります。
実装：VALUE属性によるABIの制御
`value` 属性を付与することで、Fortranコンパイラは「アドレスを渡す」という標準の動作を止め、「値をコピーしてスタックやレジスタに積む」というC言語互換の動作に変更します。これにより、ABI（Application Binary Interface）レベルでの完全な整合性が保たれます。
サンプルプログラム：C言語関数との安全な連携
以下に、C言語の関数を呼び出すためのインターフェース定義と、メインプログラムの例を示します。
module c_interface_mod
use, intrinsic :: iso_c_binding
implicit none
interface
! C言語側の関数: void print_value(double val) を想定
subroutine print_value(val) bind(c, name="print_value")
import :: c_double
! value属性により、参照渡しではなく値渡しとして処理される
real(c_double), value :: val
end subroutine print_value
end interface
end module c_interface_mod
program main
use c_interface_mod
implicit none
real(c_double) :: my_val = 3.14159d0
! C言語側の関数を呼び出し
call print_value(my_val)
end program main
応用・注意点：現場で陥りやすいバグの回避
1. 配列の扱いには注意が必要：`value` 属性はスカラ変数に対して非常に有効ですが、配列に対して使用すると、配列全体がコピーされて渡されることになり、メモリ効率が著しく低下したり、スタックオーバーフローの原因となります。配列を渡す場合は、`value` を付けずに配列の先頭アドレスを渡す（C言語側でポインタとして受け取る）のが一般的です。
2. 型の一致確認：`iso_c_binding` モジュールで定義された `c_double` や `c_int` を必ず使用してください。環境によっては `real(8)` と `c_double` が偶然一致しても、移植性が損なわれます。
3. 文字型の扱い：文字型（char）を値渡しする場合、`character(kind=c_char), value` を使うことは可能ですが、C言語側の `char` 型とFortranの文字型はメモリ配置が異なるケースがあるため、基本的にはポインタ渡し（`intent(in)`）を推奨します。
これらのルールを徹底することで、C言語とFortranの混在環境においても、数値計算コードの信頼性を担保することができます。
コメント