「正格評価」を編集中 (節単位)

=== 参照呼び ===
[[参照呼び]]（call by reference、[[参照渡し]]: pass by reference）では、仮引数が実引数そのもの、すなわちエイリアスになる。実引数は左辺値を持たねばならない（[[Pascal]]のように実引数を変数に限定した言語もある）か、左辺値を持たない式の場合は呼び出し側で一時的オブジェクトを構築する言語もある。

仮引数の変数は実引数のエイリアスであるから、それへの代入は呼び出した側の変数にも影響する。これを、[[ミュータブル]]な[[オブジェクト]]がある多くの言語において、オブジェクトへの「参照の値渡し」を行い、オブジェクトを変化させた場合に、呼び出した側から見てオブジェクトの変化が見えることと大変しばしば混同される。

関数の引数として参照を値渡しすることを参照渡しと呼ぶこともあり、[[C言語]]のように[[ポインタ]]を持つ言語では参照呼びではなく「アドレス呼び（call by address）」と呼ぶこともある、と考える者もいるようだが間違いである。[[C++]]ではなく[[C]]、[[Java]]、[[JavaScript]]などの値呼びしかない言語には参照呼びは無く、「それらの言語において似たように見えるもの」を「参照呼び」と呼ぶのは間違いである。間違った説明をネットに掲載したり、さらには書籍にまでする者が後を絶たず、非常に広範に流布しているが間違いである。C言語では、アドレス演算子 & により変数のアドレスを渡すことができるので、呼び先で元の変数の中身を変えてしまうことができるが、値呼びであることに変わりはない。