Namespaces
Variants

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

From cppreference.net
C++
Utilities library
std::optional
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 :

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

Содержание

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

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

Примечания

Этот оператор не проверяет, содержит ли * this значение; пользователи могут сделать это вручную с помощью 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';
    // Вы можете "взять" содержащееся значение, вызвав operator* на rvalue 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++.

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

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

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