傳遞boost ::可選的左值作爲函數的參考

Question

你能以某種方式通過boost::optional左值作爲一個函數的參考，它改變了值嗎？像這樣的東西（http://coliru.stacked-crooked.com/a/f77d3b095af3d66b）：

#include <iostream> 

#include <boost/optional.hpp> 

void foo(int& x) 
{ 
    x = 3; 
} 

int main() { 
    boost::optional<int> y; 
    foo(*y); 
    std::cout << *y << std::endl; 
} 

這是不行的，勿庸置疑。

該函數需要使用標準類型作爲輸出參數tho（例如int& x）。我希望我正確地解釋這一點。我在詢問我的意圖的一般可能性。

Answer 1

是的。您只需初始化optional就像編譯錯誤提示：

boost :: optional :: reference_type boost :: optional :: get（）[with T = int; boost :: optional :: reference_type = int &]：聲明`this-> is_initialized（）'失敗。

這工作&打印3：

#include <iostream> 
#include <boost/optional.hpp> 

void foo(int& x) 
{ 
    x = 3; 
} 

int main() { 
    boost::optional<int> y = 2; 
    foo(*y); 
    std::cout << *y << std::endl; 
} 

---

由運指出一個重要的一句話是，即使初始值是不是在編譯時未知，升壓無論如何都會斷言可選的狀態（在operator*或get()），這意味着如果未設置可選項（boost::none），則應用程序將崩潰。

因此，您可以使用包含有效值的可選項（非boost::none）進行初始化，也可以傳遞optional<int>&。