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

Основной шаблон
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 )

Примечания

Эти операторы не проверяют, содержит ли объект optional ожидаемое значение; пользователи могут сделать это вручную с помощью 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; // error, ex1 contains an expected value of type int
    ex1 = std::unexpected("error"s);
    // *ex1 = 13; // UB, ex1 contains an unexpected value
    assert(ex1.value_or(42) == 42);
    
    std::expected<std::string, bool> ex2 = "Moon"s;
    std::cout << "ex2: " << std::quoted(*ex2) << ", size: " << ex2->size() << '\n';
    
    // You can "take" the expected value by calling operator* on an std::expected rvalue
    
    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

См. также

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

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/utility/expected/operator*