C の `std::initializer_list` から要素を安全に移動できますか?

std::initializer_list からの要素の移動

C では、 std::initializer_list として示される初期化子リストは、その移動に関して疑問を投げかけます。要素。このようなリストから要素を安全に抽出して移動することはできるでしょうか?問題を調査してみましょう。

以下のコード スニペットでは、関数 foo が引数として初期化子リストを受け入れます。

#include <initializer_list>
#include <utility>

template<typename T>
void foo(std::initializer_list<T> list)
{
    for (auto it = list.begin(); it != list.end(); ++it)
    {
        bar(std::move(*it)); // Intended to move the element
    }
}

この懸念が生じるのは、std::initializer_list であるためです。通常の容器とは異なる独特の特徴を持っています。その要素は一時バッファーに常駐し、標準コンテナーと同じ値セマンティクスの影響を受けません。これにより、移動が成功する可能性について疑問が生じます。

残念ながら、要素のシームレスな移動に対する期待には根拠がありません。初期化子リストから要素を移動しようとすると、予期しない結果が生じます。要素を再配置する代わりに、コピーが作成されます。この動作は、std::initializer_list の begin 関数と end 関数が原因で発生します。 return const T *。これは、T const && として示される不変の右辺値参照になります。

その結果、bar(std::move(*it)) で使用される move 式は、型 T の関数パラメーターにバインドされます。 const & はコピーを効果的に保存します。

この制限の理由は、インスタンスを作成するコンパイラーの特権に起因すると考えられます。静的に初期化される定数としての std::initializer_list。最初と最後で変更可能な結果を​​許可すると、この最適化が妨げられ、コンパイラーの設計が複雑になります。

予期しない動作にもかかわらず、解決策は目前にある可能性があります。 [ISO 提案](https://github.com/CaseyCarter/iso-changes/blob/master/icpp/p1716r4.md) は、移動専用型の初期化子リストのサポートを導入することを目指しています。この取り組みは、言語の機能を強化し、初期化子リストと移動セマンティクスを操作するためのより一貫したアプローチを提供することを目的としています。

以上がC の `std::initializer_list` から要素を安全に移動できますか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。