【入門編】PASS属性による自己参照（self）の明示 – モダンFortran言語仕様と実践実践マスター

Fortranで「自分自身」を操る！`PASS`属性が解き明かすオブジェクト指向の真髄

こんにちは。宇宙開発の現場で数十年にわたり、数兆グリッドの流体計算と格闘してきた、元・数値計算アーキテクトです。

C++でバリバリ書いてきた君も、Pythonの軽快さに慣れた君も、Fortranという「数値計算界の重鎮」の前に立つと、少し戸惑うかもしれませんね。特に、オブジェクト指向プログラミング（OOP）の作法においては、他言語と少しだけ「空気が違う」ように感じることでしょう。

今日は、Fortranにおける「オブジェクトの自己参照」、つまり`PASS`属性について、現場の知見を交えて紐解いていきます。

—

1. なぜFortranは「自分自身」を引数に取るのか？

Pythonの`self`やC++の`this`は、言語仕様として「隠れた引数」を自動的に扱いますよね。しかし、Fortranの設計思想は少し違います。Fortranは「数値計算の透明性」を極限まで重視するため、オブジェクトのメソッド呼び出しにおいても、「誰がどのデータを操作しているか」を極めて明示的に扱うことを好みます。

そこで登場するのが `PASS` 属性です。

基本の書き方：`PASS`を意識する

Fortranの型（`type`）の中で定義される手続き（`procedure`）において、デフォルトではその型のインスタンス自身が第一引数として渡されます。

type :: RocketEngine
real :: thrust_ratio
contains
! ここで self に相当する引数を指定します
procedure, pass(self) :: calculate_force
end type RocketEngine

contains

subroutine calculate_force(self, payload_weight)
class(RocketEngine), intent(in) :: self ! 自分自身を明示的に受け取る
real, intent(in) :: payload_weight
! 内部では self%thrust_ratio のように明示的にアクセスする
print , “現在の推力係数は: “, self%thrust_ratio
end subroutine calculate_force

他言語から来た君にとって、`self`を自分で引数リストに書くのは少し冗長に思えるかもしれません。しかし、大規模なスパコン上のシミュレーションでは、「どのメモリ領域を触っているか」が明示されていることこそが、デバッグの神速化に繋がるのです。

—

2. `PASS(NONE)`：静的メソッドという「特権」

次に、特定のインスタンスに依存しない「ユーティリティ的な関数」を作りたい場合、どうすればいいでしょうか？

例えば、複数のロケットエンジン間で共通の物理定数を計算するような場合、いちいちインスタンスを生成するのは無駄ですよね。ここで `PASS(NONE)` の出番です。

type :: RocketEngine
contains
! インスタンスを要求しない静的メソッド
procedure, pass(none) :: get_gravity_constant
end type RocketEngine

subroutine get_gravity_constant(g)
real, intent(out) :: g
g = 9.80665
end subroutine get_gravity_constant

`PASS(NONE)` を使うと、コンパイラは「この手続きは `self` を期待していない」と理解し、インスタンスなしでも `my_engine%get_gravity_constant(g)` のように呼び出せるようになります。

—

3. なぜこの「泥臭い」書き方が重要なのか

若手の皆さんによく聞かれます。「なぜモダンな言語のように隠蔽してくれないのか」と。

答えはシンプルです。「コンパイラの最適化（最適化フラグ `-O3 -march=native` 等）を最大限に引き出すため」です。

Fortranのコンパイラ（Intel FortranやGNU Fortranなど）は、メモリ配置が明示的であればあるほど、SIMD（ベクトル演算）の展開やパイプライン処理の効率を極限まで高めることができます。「どのメモリを、誰が、どう扱うか」がコード上で明確であれば、コンパイラは迷わず効率的なマシン語を吐き出せるのです。

今日からできる実践テクニック

`class(T)` を使う: `type(T)` ではなく `class(T)` を使うことで、ポリモーフィズム（多態性）が有効になります。これにより、継承関係にあるオブジェクトを柔軟に扱えます。
`intent(in)` を死守する: 読み込み専用の引数には必ず `intent(in)` をつけてください。これだけで、コンパイラが「この変数は計算中に書き換わらない」と確信し、レジスタへの割り当てが最適化されます。

—

最後に：現場からのエール

Fortranは古い言語と言われますが、それは「歴史がある」という最高の勲章です。いま君が書いているその数行のコードが、数年後、世界の誰かの気象予測や宇宙船の軌道計算を支えているかもしれません。

`PASS`属性のような小さな仕様の裏には、数値計算をいかに速く、いかに堅牢にするかという先人たちの知恵が詰まっています。まずは難しく考えず、`self`を引数に書くことから始めてみてください。

もし、ビルド時に最適化エラーで悩んだら、いつでも聞いてください。そのデバッグこそが、君を一人前の「数値計算エンジニア」に育てる最短ルートなのですから。

さあ、エディタを開いて、君だけのシミュレーションを動かしてみましょう！