Namespaces
Variants

std::expected<T,E>:: operator->, std::expected<T,E>:: operator*

From cppreference.net
C++
Utilities library
std::expected
Основной шаблон
constexpr const T * operator - > ( ) const noexcept ;
(1) (начиная с C++23)
constexpr T * operator - > ( ) noexcept ;
(2) (начиная с C++23)
constexpr const T & operator * ( ) const & noexcept ;
(3) (начиная с C++23)
constexpr T & operator * ( ) & noexcept ;
(4) (начиная с C++23)
constexpr const T && operator * ( ) const && noexcept ;
(5) (начиная с C++23)
constexpr T && operator * ( ) && noexcept ;
(6) (начиная с C++23)
void Частичная специализация
constexpr void operator * ( ) const noexcept ;
(7) (начиная с C++23)

Обращается к ожидаемому значению, содержащемуся в * this .

1,2) Возвращает указатель на ожидаемое значение.
3-6) Возвращает ссылку на ожидаемое значение.
7) Ничего не возвращает.

Если has_value() возвращает false , поведение не определено.

(до C++26)

Если has_value() возвращает false :

  • Если реализация является защищённой (hardened) , происходит нарушение контракта (contract violation) . Более того, если обработчик нарушения контракта возвращает управление при семантике оценки "observe", поведение не определено.
  • Если реализация не является защищённой, поведение не определено.
(начиная с C++26)

Содержание

Возвращаемое значение

1,2) std:: addressof ( val  )
3,4) val
5,6) std :: move ( val  )

Примечания

Эти операторы не проверяют, содержит ли опциональный объект ожидаемое значение; пользователи могут сделать это вручную с помощью has_value() или operator bool() . Альтернативно, если требуется проверенный доступ, можно использовать value() или value_or() .

Пример

Запустить этот код 
#include <cassert>
#include <expected>
#include <iomanip>
#include <iostream>
#include <string>
int main()
{
    using namespace std::string_literals;
    std::expected<int, std::string> ex1 = 6;
    assert(*ex1 == 6);
    *ex1 = 9;
    assert(*ex1 == 9);
    // *ex1 = "error"s; // ошибка, ex1 содержит ожидаемое значение типа int
    ex1 = std::unexpected("error"s);
    // *ex1 = 13; // неопределенное поведение, ex1 содержит неожиданное значение
    assert(ex1.value_or(42) == 42);
    std::expected<std::string, bool> ex2 = "Moon"s;
    std::cout << "ex2: " << std::quoted(*ex2) << ", size: " << ex2->size() << '\n';
    // Можно "забрать" ожидаемое значение вызовом operator* на rvalue std::expected
    auto taken = *std::move(ex2);
    std::cout << "taken " << std::quoted(taken) << "\n"
                 "ex2: " << std::quoted(*ex2) << ", size: " << ex2->size() << '\n';
}

Возможный вывод: 

ex2: "Moon", size: 4
taken "Moon"
ex2: "", size: 0

Смотрите также

возвращает ожидаемое значение
(публичная функция-член)
возвращает ожидаемое значение, если оно присутствует, иначе другое значение
(публичная функция-член)
проверяет, содержит ли объект ожидаемое значение
(публичная функция-член)
возвращает неожиданное значение
(публичная функция-член)