可選引用類型：為什麼它們在std::Optional 和替代品中不存在

標準庫的std::Optional 類，呈現為std ::experimental::libc 中的可選，特別缺乏引用類型的專業化。這就提出了這樣的專業化是否有益的問題。

可選引用類型的優點

可選引用類型可以提供諸如以下優點：

• 效率：引用通常比副本更有效，可能會減少記憶體使用和效能開銷。
• 表達式簡潔性：引用類型將簡化涉及可選物件的表達式，因為它們可以直接取消引用而無需明確展開。

缺席的理由

儘管有這些潛在的好處，std::Optional 目前缺乏引用類型的專業化。原因在於標準化過程中的討論。

委員會成員對可選引用的語意表示擔憂。他們擔心與物件生命週期和所有權相關的潛在問題，因為可選引用可能引用已被銷毀或無效的物件。

替代選項

而std: :Optional 不適合引用類型，標準庫提供了替代解決方案：

• Optional Values： std::Optional 專門針對值類型，提供表示值的能力可能存在也可能不存在。
• std::reference_wrapper: 此類別允許建立比原始物件的參考壽命更長的參考。但是，它不具有 std::Optional.