オプションの参照型: std::optional と代替に存在しない理由

標準ライブラリの std::optional クラス、std として存在libc の ::experimental::optional には、特に参照型の特殊化が欠けています。このため、そのような特殊化が有益かどうかという疑問が生じます。

オプションの参照型の利点

オプションの参照型には、次のような利点があります。

• 効率: 一般に参照はコピーよりも効率的で、メモリ使用量とパフォーマンスのオーバーヘッドが削減される可能性があります。
• 式の簡潔さ: 参照型は、明示的なアンラップなしで直接逆参照できるため、オプションのオブジェクトに関係する式を簡素化します。

不在の根拠

これらの潜在的な利点にもかかわらず、std::optional には現在、参照型の特殊化が欠けています。その理由は、標準化プロセス中の議論にあります。

委員会のメンバーは、オプションの参照のセマンティクスに関して懸念を表明しました。彼らは、オプションの参照がすでに破棄されているか無効なオブジェクトを参照している可能性があるため、オブジェクトの有効期間と所有権に関連する潜在的な問題を懸念していました。

代替オプション

標準時: :optional は参照型には対応しません。標準ライブラリは代替ソリューションを提供します:

• Optional Values: std::optional は値の型に特化し、値を表す機能を提供します。
• std::reference_wrapper: このクラスを使用すると、元のオブジェクトの参照を超えて存続する参照を作成できます。ただし、 std::optional.