Namespaces
Variants

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

    С сайта ru.cppreference.net
     
    C++
    Поддержка компиляторов
    Автономное и хостируемое окружение
    Язык
    Стандартная библиотека
    Заголовки стандартной библиотеки
    Именованные требования
    Макросы проверки возможностей (C++20)
    Библиотека поддержки языка
    Библиотека концепций (C++20)
    Библиотека диагностики
    Библиотека управления памятью
    Библиотека метапрограммирования (C++11)
    Библиотека общих утилит
    Библиотека контейнеров
    Библиотека итераторов
    Библиотека диапазонов (C++20)
    Библиотека алгоритмов
    Библиотека строк
    Библиотека текстовой обработки
    Библиотека численных операций
    Библиотека даты и времени
    Библиотека ввода/вывода
    Библиотека файловой системы (C++17)
    Библиотека поддержки конкурентности (C++11)
    Библиотека управления выполнением (C++26)
    Технические спецификации
    Индекс символов
    Внешние библиотеки
     
    Библиотека утилит
    Поддержка языка
    Поддержка типов (базовые типы, RTTI)
    Макросы проверки возможностей библиотеки (C++20)
    Утилиты программ
    Функции с переменным числом аргументов
    (C++11)
    (C++20)
    (C++26)
    (C++20)
    Поддержка корутин (C++20)
    Поддержка контрактов (C++26)
    Трёхстороннее сравнение
    (C++20)(C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)    
    (C++20)(C++20)(C++20)    
    (C++20)(C++20)(C++20)

    Общие утилиты
    Операторы отношений (устарело в C++20)
     
    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:

    		(начиная с 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

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

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