std::optional<T>::operator->, std::optional<T>::operator*

constexpr const T* operator->() const noexcept;	(1)	(начиная с C++17)
constexpr T* operator->() noexcept;	(2)	(начиная с C++17)
constexpr const T& operator*() const& noexcept;	(3)	(начиная с C++17)
constexpr T& operator*() & noexcept;	(4)	(начиная с C++17)
constexpr const T&& operator*() const&& noexcept;	(5)	(начиная с C++17)
constexpr T&& operator*() && noexcept;	(6)	(начиная с C++17)

Получает доступ к содержащемуся значению.

1,2) Возвращает указатель на содержащееся значение.

3-6) Возвращает ссылку на содержащееся значение.

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

(до C++26)

Если has_value() равен false:

Если реализация защищена, происходит нарушение контракта.
Если реализация не защищена, поведение не определено.

(начиная с C++26)

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

Указатель или ссылка на содержащееся значение.

Примечания

Перед вызовом этих функций проверьте has_value() или operator bool(). В качестве альтернативы можно использовать value() или value_or().

Пример

#include <iomanip>
#include <iostream>
#include <optional>
#include <string>

int main()
{
    using namespace std::string_literals;
    
    std::optional<int> opt1{1};
    std::cout << "opt1: " << *opt1 << '\n';
    
    *opt1 = 2;
    std::cout << "opt1: " << *opt1 << '\n';
    
    std::optional<std::string> opt2{"abc"s};
    std::cout << "opt2: " << std::quoted(*opt2) << ", size: " << opt2->size() << '\n';
    
    // You can "take" the contained value by calling operator* on an rvalue to optional
    auto taken = *std::move(opt2);
    std::cout << "taken: " << std::quoted(taken) << "\n"
                 "opt2: " << std::quoted(*opt2) << ", size: " << opt2->size() << '\n';
}

Вывод:

opt1: 1
opt1: 2
opt2: "abc", size: 3
taken: "abc"
opt2: "", size: 0

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

Отчёт об ошибке	Применяется к	Опубликованное поведение	Корректное поведение
LWG 2762	C++17	`operator->` и `operator*` могли потенциально выбрасывать исключения	объявлены noexcept

См. также

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

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