如何從標準::可選<T>

Question

看看下面的例子，我們解析數據，並將結果傳遞到下一個功能移動：

Content Parse(const std::string& data); 
void Process(Content content); 

int main() 
{ 
    auto data = ReadData(); 
    Process(Parse(data));  
} 

現在讓我們用std::optional處理失敗的分析步驟中更改代碼：

optional<Content> Parse(const std::string& data); 
void Process(Content content); 

int main() 
{ 
    auto data = ReadData(); 
    auto content = Parse(data); 
    if (content) 
     Process(move(*content)); 
} 

是否有效從optional<T>::value()移動？如果std::optional可以，那麼它是否也適用於boost::optional？

Answer 1

從optional<T>::value()開始移動是有效的，因爲它返回一個可變引用，並且該移動不會破壞該對象。如果optional實例不是從事,value()將拋出bad_optional_access異常（第20.6.4.5節）。

你明確檢查選項是否從事：

if (content) 
    Process(move(*content)); 

但你不使用成員value()訪問底層T。請注意，value()在返回有效的T&之前執行內部檢查，而不像operator*其中有前提條件optional實例應該從事。這是一個微妙的差異，但你使用正確的成語：

if (o) 
    f(*o) 

，而不是

if (o) // redundant check 
    f(o.value()) 

在加速，情況稍有不同：第一，不存在所謂的value()成員函數提供檢查訪問。 （A bad_optional_access異常根本不存在）。成員get()只是operator*的別名，並且始終依賴於用戶檢查optional實例的參與。