Как преобразовать std :: Необязательно в STD :: ожидается? ⇐ C++

[Anonymous]

Я пытаюсь преобразовать std :: Необязательно в std :: wead , используя функцию лямбды.
Код, который я написал, не компилируется. Компилятор жалуется на то, что монадические функции std :: Необязательно должны std :: Необязательно .
Вот мой пример кода, который можно найти на Godbolt. PrettyPrint-Override ">#include
#include
#include

std::optional function_which_returns_optional_1() {
return 10;
}

struct ErrorType {

};

int main() {

std::optional optional_value = function_which_returns_optional_1();

std::expected result =
optional_value
.and_then(
[](int value) -> std::expected {
const auto value_string = std::to_string(value);
return std::expected(value);
}
)
.or_else(
[]() -> std::expected {
return std::unexpected(ErrorType{});
}
);

}
< /code>
Если вы знакомы с Rust, этот код, вероятно, будет чувствовать себя очень актуальным. Rust имеет механизм для перевода std :: result типы на std :: option и наоборот. C ++ эквивалент std :: result std :: weder .
Если вы написали какой -либо код ржавчины, вы, вероятно, инстинктивно поймете, почему я хочу сделать это и что я пытаюсь сделать здесь. /> [*] Я избегаю использования исключений на протяжении всего моего кода, следовательно, использование std :: weder .
Некоторые функции в стандартной библиотеке return std :: Необязательно , а не std :: weder . (Или наоборот.) В таких случаях могут быть функциональные вызовы в стеке вызовов, которые должны перевести между двумя типами. Как правило, необязательный станет ожидаемым , потому что отсутствующее значение является случаем ошибки. (Обратный ожидаемый к необязательно имеет меньший смысл, потому что это читает так, как если бы ошибка скрыта или отбрасывается.)if(optional_value.has_value()) {
const auto actual_value = *optional_value;
const auto result = std::expected(std::to_string(actual_value));
return result;
}
else {
const auto error_type = ErrorType{};
const auto result = std::expected(std::unexpected(error_type));
return result;
}


Подробнее здесь: https://stackoverflow.com/questions/794 ... tdexpected