引数の受渡し（値呼出し・参照呼出し・結果呼出し・名前呼出し）とは？

引数の受渡し（値呼出し・参照呼出し・結果呼出し・名前呼出し）の意味

呼出し側の実引数を、サブルーチンの仮引数へどう対応づけるかの方式。値呼出しは実引数の値をコピーして渡すので、内部で仮引数を書き換えても呼出し側の変数は変わらない。参照呼出しは変数の位置（アドレス）を渡すため、内部の書換えがそのまま呼出し側に及ぶ。結果呼出しは内部では作業用の複製を使い、終了時に値を呼出し側へ書き戻す。名前呼出しは実引数の式そのものを渡し、使うたびに評価するので、式に含まれる変数の値が変わりうる。

引数の受渡し（値呼出し・参照呼出し・結果呼出し・名前呼出し）の具体例

配列の合計を求めるだけの関数には値呼出しで十分だが、配列全体をコピーすると時間と記憶容量を食うため、実務では「参照で渡してconstを付ける」形が使われる。組込みの割込みハンドラのように呼出し側の変数を書き換えたい場合は、参照呼出しかポインタ渡しを選ぶ。

引数の受渡し（値呼出し・参照呼出し・結果呼出し・名前呼出し）は試験でどう引っ掛けられる？

「渡した変数の値が実行後に変更されないことが保証される」のは値呼出しだけである。結果呼出しは終了時に書き戻すので変わり、参照呼出しは実行中から変わり、名前呼出しも評価のたびに副作用が及びうる。「参照渡しは速いから安全」といった速度と安全性の混同も定番。

引数の受渡し（値呼出し・参照呼出し・結果呼出し・名前呼出し）と関連する用語

• メモリ安全性
• 静的メモリ割当て
• MISRA-C

引数の受渡し（値呼出し・参照呼出し・結果呼出し・名前呼出し）が出た過去問

• サブルーチンへの引数の受渡し方のうち、引数として渡した変数の値が、サブルーチンの実行後に変更されないことが保証されているものはどれか。

  正解：値呼出し

  要点：値呼出しはコピーを渡すので呼出し側の値は変わらない

  値呼出し（call by value）では、実引数の値がコピーされて仮引数に渡されるため、サブルーチン内で仮引数を書き換えても呼出し側の変数には影響しない。参照呼出しでは変数そのものの位置が渡るので呼出し側の値が変わり、結果呼出しでは終了時に値が書き戻される。名前呼出しは実引数の式がそのまま評価されるため、こちらも呼出し側の値が変わりうる。

  出典：令和1年度 春期 エンベデッドシステムスペシャリスト試験 am2 問24（IPA）