関数の引数const&について

Question

int rect(int const& size,int const& pos);

上の関数の引数の&はどのような意味があるのでしょうか？
&を入れることによって、アドレスが引数としてスタックスに積まれるとのことなのですが、

rect(800,800);

このように呼び出した場合は、800の現在ある位置のアドレスを引数として渡しているのでしょうか？
そしてsize,posそれぞれはもらったアドレスを使用しているということでしょうか？

このように&を入れることによって処理速度の向上を図っているのでしょうか？
どなたかわかる方がいらっしゃれば教えていただければ幸いです<(_ _)>

Comments

[shiracamus]

それはC言語ではなくC++言語ではありませんか？

[dodox86]

拡張子が*.cppでC++なんだけどもほとんどC言語のコードを見ていて誤解されている可能性はありますね。C++の「参照」のように思いますが。shiracamusさんが既に指摘されているように、見ているコードがC言語かC++なのか、今いちど確認しましょう。

Answer 1

こんにちは。

C言語には &（参照）は無いはずですが、C++にはあります。なので、C++と仮定して回答します。

C++で int& fooと書くと、int型変数fooへの「参照」となります。参照はざっくり「制限のあるポインタ」と理解すれば大きくは外れないです。主な制限は初期化しかできずポイント先を変更できないことです。（他にNULLにしてはいけないというプログラマーが守るべき規約もあります。）
fooが参照する先を変更するコード（例えば、foo =123;）を書いてもコンパイラはエラーにしません。

次に、int const& barと書くと、int型変数barへの「const参照」となります。これは参照よりも更に制約がきついものです。参照先を変更するコード（例えば、bar =123;）を書くとコンパイラはエラーを報告してきます。これにより間違って変数が修正されることを回避するものです。

最後に、これはかなり高度な話題が絡んでくるのですが、「参照」は定数をポイントできません。ポイント先を変更できるのが「参照」ですがポイント先として定数を指定するのは明らかにバグですのでコンパイラはエラーを報告してきます。
逆にconst参照は定数をポイントできます。ポイント先を変更しないと宣言しているのですから、問題ないからです。

このように&を入れることによって処理速度の向上を図っているのでしょうか？

性能向上を狙っている可能性はありますが、多くの処理系ではご提示のコードの nt const& size は性能が劣化するケースが多いと思います。int型のバイト数はポインタ型のそれと等しいかより小さいです。
更に参照はアドレスをロードしてから値をロードするという２ステップの処理が必要です。これに対して、int型なら直接値をロードできるので１ステップ省けます。なのでポインタ型よりバイト数が少ない型をconst参照で渡すのは性能的な利点がない処理系がほとんどと思います。

Comments

[hiru.jp]

chironianさんご回答ありがとうございます。
確かにポインタ型よりバイト数が少ない型を使用するのは利点がないですね！
完全に理解できました。ありがとうございました。(^^♪

Answer 2

この「&」はCではなくC++の機能です。これを使う理由は以下の２つです。

1. 仮引数経由で実引数を変更したい

デフォルトでは仮引数は実引数のコピーです。仮引数を書き換えても実引数に影響を与えません。これを使用すれば仮引数経由で実引数を直接変更できます。

1. 高速化、省メモリ化

引数のサイズが大きい場合、コピーのための処理負担が大きくなります。これを省くために利用されます。

Comments

[hiru.jp]

HogeAnimalLoverさんご回答ありがとうございます。
わかりやすくまとめていただきありがとうございました。
完全に理解できました。！

Answer 3

C言語にはそのような記法／文法はありません

ちなみに、C言語的には、定数のアドレスは取れません