なぜ `std :: initializer_list`は値によって渡されるのですか？

Question

ほとんどすべての投稿で、私はSOを参照して、std::initializer_listを含めて、人々はstd::initializer_listを値渡しがちです。この記事によると：1が渡されたオブジェクトのコピーを作成したい場合

http://cpp-next.com/archive/2009/08/want-speed-pass-by-value/

1は、値によって渡す必要があります。しかしstd::initializer_listをコピーするのは良い考えではありません。

std::initializer_listをコピーすると、基本となるオブジェクトはコピーされません。 元のイニシャライザリストオブジェクトが終了した の有効期間の後に、基本となる配列が存在することは保証されていません。

、なぜそれのインスタンスは、多くの場合、不要なコピーを作成していないことが保証されconst&は言って、しないことにより、値によって渡されますか？

Answer 1

安いから値段で渡します。 std::initializer_listは、薄いラッパーであり、一対のポインタとして実装される可能性が最も高いため、コピーは参照渡しの（ほぼ）安価です。さらに、実際にコピーを実行しているわけではありません。ほとんどの場合、引数は一時的なものから構成されているため、への移動は通常です。ただし、これはパフォーマンス上の違いはありません.2つのポインタを移動することは、ポインタをコピーするほど高価です。一方

、コピーの要素にアクセスは、我々は一つの追加の間接参照（参照のこと）を避けるため高速であってもよいです。

Answer 2

おそらく同じ理由で、イテレータはほとんどの場合値渡されます。イテレータのコピーは「安い」と考えられます。 initializer_listの場合、ほとんどのインスタンスは一時的なデストラクタを持つ一時的なものになるため、コンパイラは関数の引数を置く場所に直接コピーを作成することができません。最後に、イテレータのように、呼び出される関数は値を変更したいと思う可能性があります。つまり、constへの参照によって渡された場合、ローカルにコピーする必要があります。

EDIT：

ただ、一般化する：標準ライブラリは、値でイテレータ、initializer_lists、および機能オブジェクトを渡すために優れていることを一般的に仮定します。その結果、あなたが設計したイテレータ、iterator_lists、または機能オブジェクトは安価にコピーすることができます。コピーするのが安価であることをあなたのコードで想定してください。伝統のconstへの参照を使用するときについてのルール、そして時に値を使用するには、おそらくこれを反映するように変更する必要があります。

使用はイテレータ、initializer_listsまたは機能オブジェクト以外のクラス型のためのconstへの参照渡し。それ以外の場合は値渡しを使用します。