定数参照としての関数パラメータ

Question

const &としてパラメータを送信しない理由はありますか？値は変更されず、コピーも行われません。私の理解では、const by valueパラメータはconstがない場合と同じであり（お互いにオーバーロードしないので）、そのままコピーされます。

大きいオブジェクトがconst &で送信するのが最も良いことはわかっていますが、この行がどこにあるのかわかりません。または、小さいパラメータでもで送信する場合は、は変更またはコピーされません。

注::私はこれを探してみましたが、トピックがかなり曖昧なので、私は良い答えが見つからなかったので、これは既に回答済みですか（お詫び申し上げます）constconst &明らかに大きなものではないオブジェクトに対する値vs const &の利点について）。

Answer 1

読み込み専用の引数をconst参照として渡すことには、一般的に何も問題ありません。それは、確かに最も効率的な方法です。

参照を実際には,というだけでコピーするよりもコストがかかります（コピーが1つのレジスタに収まるなど、コピーによってプリミティブ型を渡すことを検討することをお勧めします）。ポインタなど）。

また、おそらくstd::shared_ptrとイテレータを値渡しすることができます。これはそのためです。

const-valueを渡すのは、の実装です。このようにそれを使用します。

// Declaration: 
int foo(int n, double d); // No "const"! Constness is not part of the interface. 

// Definition 
int foo(int n, const double d) // implementation detail 
{ 
    while (n--) { if (d > n) return n; } 
} 

を実装では、dが好き（あなたが直接、引数変数を使用して（のようなn）にそれらを修正することを選択しない場合があります。または、読み取り専用として扱うことを選択できます）、引数を適切に宣言します。

Answer 2

経験則として、あなたは（非const）値によって、このようなポインタ、int、bool、float、doubleなどのプリミティブ型を渡す必要があり、（定数）を参照することにより、このようなstd::stringなどの種類、std::vectorおよびカスタムオブジェクトクラス。このルールの例外として、スマートポインタなど、値渡しのために特別に設計された軽量クラスがあります。

const値で値を渡します。 void foo(const double bar)、意味がありません - なぜfooはbarのコピーを変更できないはずですか？パラメータをconstとして宣言すると、ここでは使用されません。

参照によってプリミティブを渡すこともほとんど意味がありません。背後では、パラメータが参照渡しされると、ポインタが値渡しされます。ポインタのコピーは通常プリミティブ型（intなど）をコピーするのと同じくらい高価で、タイプconst int&のパラメータはほとんどのC++プログラマにとっては非常に奇妙です。

Answer 3

インタフェースがそれを要求しない限り、プリミティブはを渡す必要があります。それ以外の場合は、const &を使用することをお勧めします。

boost::is_fundamental

Identifying primitive types in templates