なぜ `std::initializer_list` は値で渡されることが多いのですか？

質問

私がSOで目にするほとんど全ての投稿で std::initializer_list を使う場合、人々は std::initializer_list を値で渡す傾向があります。この記事によると

https://web.archive.org/web/20120707045924/cpp-next.com/archive/2009/08/want-speed-pass-by-value/

は、渡されたオブジェクトのコピーを作成したい場合、値で渡す必要があります。しかし std::initializer_list をコピーするのは良いアイデアではありません。

をコピーすることは std::initializer_list をコピーしても、その下にあるオブジェクトはコピーされません。 の寿命が尽きた後、基礎となる配列が存在することは保証されません。 元のイニシャライザーリストオブジェクトの寿命が尽きた後も存在することは保証されません。

ではなぜ、そのインスタンスはしばしば値で渡され、例えば const& でなく、値で渡されることが多いのはなぜでしょうか？

どのように解決するのですか？

安いから値で渡す。 std::initializer_list は薄いラッパーであるため、ほとんどの場合ポインタのペアとして実装されており、コピーは参照渡しと（ほとんど）同じぐらい安価です。さらに、実際にはコピーを実行しているわけではなく、（通常は）参照渡しと同じように 移動 を実行していることになります。ほとんどの場合、引数はいずれにせよ一時的なものから構成されているからです。しかし、これはパフォーマンスの点では違いはありません。2 つのポインタを移動することは、それらをコピーすることと同じくらい高価です。

一方 にアクセスする の場合、コピーの要素にアクセスすることは より速く というのも、（参照の）追加的な再参照を避けることができるからです。