std::optional<T>::and_then
Материал из cppreference.com
<tbody>
</tbody>
template< class F > constexpr auto and_then( F&& f ) &; |
(1) | (начиная с C++23) |
template< class F > constexpr auto and_then( F&& f ) const&; |
(2) | (начиная с C++23) |
template< class F > constexpr auto and_then( F&& f ) &&; |
(3) | (начиная с C++23) |
template< class F > constexpr auto and_then( F&& f ) const&&; |
(4) | (начиная с C++23) |
Если *this содержит значение, вызывает f с содержащимся значением в качестве аргумента и возвращает результат этого вызова; в противном случае возвращает пустой std::optional.
Тип возвращаемого значения (смотрите ниже) должен быть специализацией std::optional (в отличие от transform()). Иначе программа некорректна.
1) Эквивалентно
if (*this)
return std::invoke(std::forward<F>(f), **this);
else
return std::remove_cvref_t<std::invoke_result_t<F, T&>>{};
2) Эквивалентно
if (*this)
return std::invoke(std::forward<F>(f), **this);
else
return std::remove_cvref_t<std::invoke_result_t<F, const T&>>{};
3) Эквивалентно
if (*this)
return std::invoke(std::forward<F>(f), std::move(**this));
else
return std::remove_cvref_t<std::invoke_result_t<F, T>>{};
4) Эквивалентно
if (*this)
return std::invoke(std::forward<F>(f), std::move(**this));
else
return std::remove_cvref_t<std::invoke_result_t<F, const T>>{};
Параметры
| f | — | подходящая функция или объект Callable, который возвращает std::optional |
Возвращаемое значение
Результат f или пустой std::optional, как описано выше.
Примечание
Некоторые языки называют эту операцию плоской картой.
| Макрос Тестирования функциональности | Значение | Стандарт | Функциональность |
|---|---|---|---|
__cpp_lib_optional |
202110L |
(C++23) | Монадические операции в std::optional |
Пример
Запустить этот код
#include <charconv>
#include <iomanip>
#include <iostream>
#include <optional>
#include <ranges>
#include <string>
#include <string_view>
#include <vector>
std::optional<int> to_int(std::string_view sv)
{
int r {};
auto [ptr, ec] { std::from_chars(sv.data(), sv.data() + sv.size(), r) };
if (ec == std::errc())
return r;
else
return std::nullopt;
}
int main()
{
using namespace std::literals;
const std::vector<std::optional<std::string>> v
{
"1234", "15 foo", "bar", "42", "5000000000", " 5", std::nullopt, "-43"
};
for (auto&& x : v | std::views::transform(
[](auto&& o)
{
// отладочная печать содержимого ввода optional<string>
std::cout << std::left << std::setw(13)
<< std::quoted(o.value_or("nullopt")) << " -> ";
return o
// если optional равен nullopt, преобразовать его в optional с строкой ""
.or_else([]{ return std::optional{""s}; })
// плоская карта из строк в int (создание пустых optional там,
// где это не удаётся)
.and_then(to_int)
// отображение int на int + 1
.transform([](int n) { return n + 1; })
// преобразовать обратно в строки
.transform([](int n) { return std::to_string(n); })
// заменить все пустые optional, оставленные
// and_then и проигнорировать преобразованием с "NaN"
.value_or("NaN"s);
}))
std::cout << x << '\n';
}
Вывод:
"1234" -> 1235
"15 foo" -> 16
"bar" -> NaN
"42" -> 43
"5000000000" -> NaN
" 5" -> NaN
"nullopt" -> NaN
"-43" -> -42
Смотрите также
| возвращает содержащееся значение, если доступно, иначе другое значение (public функция-элемент) | |
(C++23) |
возвращает optional, содержащий преобразованное содержащееся значение, если оно существует, или пустой optional в противном случае (public функция-элемент) |
(C++23) |
возвращает сам optional, если он содержит значение, или результат данной функции иначе (public функция-элемент) |
