Làm thế nào để chuyển từ std :: tùy chọn <T>

Question

xem xét ví dụ sau đây, chúng tôi phân tích dữ liệu và thông qua kết quả với chức năng tiếp theo:

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

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

Bây giờ chúng ta hãy thay đổi mã sử dụng std::optional để xử lý một bước phân tích thất bại:

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)); 
} 

Có hợp lệ để di chuyển từ optional<T>::value() không? Nếu nó là ok cho std::optional nó có hợp lệ cho boost::optional không?

Answer 1

Nó hợp lệ để di chuyển từ optional<T>::value() vì nó trả về một tham chiếu có thể thay đổi và di chuyển không phá hủy đối tượng. Nếu cá thể optional không phải là , hãy tham gia, value() sẽ ném một ngoại lệ bad_optional_access (§20.6.4.5).

Bạn rõ ràng kiểm tra xem tùy chọn là tham gia:

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

Nhưng bạn không sử dụng các thành viên value() để truy cập T cơ bản. Lưu ý rằng value() thực hiện kiểm tra nội bộ trước khi trả về T& hợp lệ, không giống như operator* trong đó có điều kiện tiên quyết điều kiện tiên quyết rằng phiên bản optional phải được thực hiện. Đây là một sự khác biệt tinh tế, nhưng bạn sử dụng thành ngữ đúng:

if (o) 
    f(*o) 

như trái ngược với

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

Trong Boost, tình hình là một chút khác nhau: thứ nhất, có tồn tại không có chức năng thành viên được gọi là value() rằng cung cấp quyền truy cập đã chọn. (Một ngoại lệ bad_optional_access chỉ đơn giản là không tồn tại). Thành viên get() chỉ là bí danh cho operator* và luôn dựa vào người dùng kiểm tra xem trường hợp optional có tương tác hay không.