std::expected<T,E>::value_or
От ru.cppreference.net
| Основной шаблон |
||
template< class U = std::remove_cv_t<T> >
constexpr T value_or( U&& default_value ) const&;
|
(1) | (начиная с C++23) |
template< class U = std::remove_cv_t<T> >
constexpr T value_or( U&& default_value ) &&;
|
(2) | (начиная с C++23) |
Возвращает ожидаемое значение, если оно существует, в противном случае возвращает default_value.
Частичная специализация void не имеет этих функций-членов.
1) Если
std::is_copy_constructible_v<T> или std::is_convertible_v<U, T> является false, программа считается некорректной.2) Если
std::is_move_constructible_v<T> или std::is_convertible_v<U, T> является false, программа считается некорректной.Параметры
| default_value | - | значение, используемое в случае, если * this не содержит ожидаемого значения |
Возвращаемое значение
1)
has_value
(
)
?
**
this
:
static_cast
<
T
>
(
std::
forward
<
U
>
(
default_value
)
)
2)
has_value
(
)
?
std
::
move
(
**
this
)
:
static_cast
<
T
>
(
std::
forward
<
U
>
(
default_value
)
)
Пример
|
Этот раздел не завершён
Причина: отсутствует пример |
Отчеты о дефектах
Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены ретроактивно к ранее опубликованным стандартам C++.
| DR | Применяется к | Поведение в опубликованной версии | Корректное поведение |
|---|---|---|---|
| LWG 3886 | C++23 |
U
не имеет аргумента по умолчанию для шаблона
|
указано |
Смотрите также
|
возвращает ожидаемое значение
(публичная функция-член) |
|
|
возвращает неожиданное значение, если оно присутствует, иначе другое значение
(публичная функция-член) |