Установлен ли std :: optional в std :: nullopt, если он объявлен как локальная переменная и не инициализирован явно?

Question

Когда int объявлен локально (но не инициализирован и не назначен), он имеет неопределенное значение. Когда std::optional<int> объявляется локально без явной инициализации, применяется ли то же самое? Всегда ли это std::nullopt или неопределенное значение?

Answer 1

Из ссылки для std::optional конструкторов:

constexpr optional() noexcept;

constexpr optional( std::nullopt_t ) noexcept;

Создает объект, который не содержат значения.

Так что да, инициализированное по умолчанию std::optional не имеет значения, но оно не является неопределенным.