C 中的可選：為什麼沒有專門化引用類型？

儘管在像 Boost 這樣的庫中存在對引用類型的專門化，C標準庫的 std::Optional 不提供這樣的功能。這項決定引發了對其理由和潛在替代機制的詢問。

遺漏背後的理由

在討論 n3406（可選提案）期間，有人提出了擔憂關於包含可選參考文獻。認識到這些反對意見，n3527 的作者將可選引用分成輔助提案，以提高接受標準可選值的可能性。雖然由於不相關的因素，可選最終沒有包含在 C 14 中，但委員會不贊成可選引用並不是問題。

當前替代方案

儘管std::optional不提供引用類型的專門化，標準庫缺少提供“對可能存在的對象的引用”語義的等效構造。這可能會讓開發人員尋求替代方案：

• Auto_ptr: 雖然在 C 11 中已棄用，但 std::auto_ptr 可以模擬具有所有權語義的引用。然而，由於記憶體洩漏等問題，不鼓勵使用它。
• boost::可選: Boost 提供了支援引用類型的專門可選實作。它提供與 std::Optional 相同的語義，但需要包含 Boost 函式庫。

未來考慮

雖然可選引用目前不存在於C標準庫，委員會不排除將來將其納入。如果提交正式提案，決定最終將取決於委員會對擬議功能優點的評估。