システムアーキテクト 2025年 午前2 問09

サブルーチンの引数の受渡し方式と値の保護【午前2 解説】

要点まとめ

• 結論: 値呼出しは引数の「値のコピー」を渡す方式で、サブルーチン実行後に呼び出し元の変数が変更されないことを保証します。
• 根拠: コピーに対する操作は呼び出し先の局所的なものに留まり、元の記憶域（呼び出し元変数）は参照・上書きされません。
• 差がつくポイント: 参照呼出しや結果呼出し、名前呼出しは呼び出し元へ影響を与える可能性があるため副作用・エイリアスに注意が必要です。

正解の理由

よくある誤解（2〜3 行）

• Java のオブジェクト参照の扱いを「参照呼出し」と混同し、Java は実際には参照の値をコピーする値呼出しであると誤解されます。
• 結果呼出し（value-result）は戻り値で呼び出し元を更新するため、変更されないとは言えません。

解法ステップ

1. 問題文で「実行後に変更されないことが保証される」とある点を明確に把握する。
2. 各呼出し方式の定義を思い出す（値コピー、参照渡し、結果の書戻し、名前置換）。
3. 「元の記憶域が変更されるか」を基準に選択肢を比較する。
4. コピーのみを操作する方式（値呼出し）を選び、他は副作用を理由に除外する。

選択肢別の誤答解説

• ア: ア 値呼出し — 正解。値のコピーが渡されるため、呼び出し元の変数は変更されません。
• イ: 結果呼出し — 間違い。サブルーチン終了時に実引数に結果を書き戻す方式で、呼び出し元の値は更新され得ます。
• ウ: 参照呼出し — 間違い。実引数のアドレスや参照を渡すため、サブルーチン内の変更が呼び出し元に反映されます。
• エ: 名前呼出し — 間違い。名前を置換するモデルでは呼び出し元の変数が副作用を受ける可能性があり、変更されないとは言えません（評価の遅延やスロットルがある場合はさらに複雑）。

補足コラム（関連知識など）

• 言語の実装例: C言語の基本的なパラメータは値呼出し、Fortran や Pascal では値・参照・値結果など複数の実装が存在します。
• Java は「参照の値を値呼出し」している点が混乱の元です。オブジェクト自体は共有され得ますが、参照変数そのものはコピーされます。
• パフォーマンス面では大きなデータ構造を毎回コピーする値呼出しはコストが高く、言語は参照やコピーオンライトなどで対処することがあります。

FAQ