質問: std::optional

に参照型の特殊化がないことを調べる標準 C では、 std::optional はコンテナを提供します。値を保持するか、値が存在しないことを示します。ただし、Boost の対応するものとは異なり、std::optional には参照型の特殊化が欠けており、ユーザーは「なぜ?」という疑問が残ります。この記事では、この設計上の決定の背後にある理由を詳しく掘り下げ、オプションの値への参照を処理するために標準ライブラリで利用できる代替オプションを検討します。

答え: 懸念事項と将来の見通しへの対処

オプションの値に関する最初の提案 (n3406) 中に、オプションの参照に関する委員会メンバーから懸念が提起されました。その後、n3527 で、著者らは、オプションの値が採用される可能性を高めるために、オプションの参照を補助提案に分離することを提案しました。

オプションの参照は、他の要因により C 14 に含まれていませんでしたが、C 14 によって拒否されませんでした。委員会。これにより、提案が提出された場合に将来の C 標準にオプションの参照を組み込む可能性が残されています。

オプションの値を参照するための代替案

std:: がないにもかかわらず、参照型のオプションの特殊化では、標準ライブラリはオプションの値を参照するための代替手段を提供します:

• std::reference_wrapper<:optional>>: これにより、次のことが可能になります。オプションの値への参照を作成し、オプションの値に加えられた変更が参照に確実に反映されるようにします。ただし、参照が定数参照 (つまり、std::cref で初期化される) の場合、オプションの値は不変のままであることに注意することが重要です。

結論として、 std::optional は、提案プロセス中の懸念から生じました。ただし、委員会は今後もオプションの参照を検討する用意があります。さらに、標準ライブラリは、暫定的にオプションの値を参照するための代替手段として std::reference_wrapper<:optional>> を提供します。