Как перейти от станда :: опциональной <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*, который имеет предварительное условие 10, которое должно быть задействовано в качестве экземпляра optional. Это тонкое различие, но вы используете правильную идиому:

if (o) 
    f(*o) 

в отличие от

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

В Boost, ситуация немного другая: во-первых, не существует никакой функции члена называется value(), что обеспечивает проверенный доступ. (A bad_optional_access исключения просто не существует). Член get() является просто псевдонимом для operator* и всегда полагается на пользователя, проверяющего, что задействован экземпляр optional.