std::expected<T,E>:: value_or
From 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
не имеет аргумента по умолчанию для шаблона
|
указано |
Смотрите также
|
возвращает ожидаемое значение
(публичная функция-член) |
|
|
возвращает неожиданное значение, если оно присутствует, иначе другое значение
(публичная функция-член) |