std::optional<T>:: optional

Создает новый объект optional .

Параметры

Эффекты

Ограничения и дополнительная информация

1. ↑ ^{1.0 1.1} Другими словами, T не является ни конструируемым, ни конвертируемым из любого выражения типа (возможно, const-квалифицированного) std:: optional < U >

Исключения

Руководства по выводу

Примечания

До разрешения LWG issue 3836 , конструирование std:: optional < bool > из std:: optional < U > выбирало перегрузку ( 9 ) вместо перегрузок ( 5,6 ) , если U не является bool . Это происходило потому, что перегрузки ( 5,6 ) не участвовали в разрешении перегрузки, если T ( bool в данном случае) может быть сконструирован или преобразован из std:: optional < U > , но std::optional::operator bool делает такое преобразование возможным для любого U .

В результате, созданный std:: optional < bool > всегда содержит значение. Это значение определяется тем, содержит ли предоставленный std:: optional < U > объект значение, а не bool значением, прямым образом инициализированным из содержащегося значения:

std::optional<bool> op_false(false);
std::optional<int> op_zero(0);
std::optional<int> from_bool(op_false); // OK: содержит 0 (инициализировано из false)
std::optional<bool> from_int(op_zero);  // ДЕФЕКТ (LWG 3836): содержит true, потому что
                                        // op_zero содержит значение, даже если инициализация
                                        // bool из этого значения дает false

Пример

#include <iostream>
#include <optional>
#include <string>
int main()
{
    std::optional<int> o1, // пустой
                       o2 = 1, // инициализация из rvalue
                       o3 = o2; // копирующий конструктор
    // вызов конструктора std::string( initializer_list<CharT> )
    std::optional<std::string> o4(std::in_place, {'a', 'b', 'c'});
    // вызов конструктора std::string( size_type count, CharT ch )
    std::optional<std::string> o5(std::in_place, 3, 'A');
    // Перемещающий конструктор из std::string с использованием deduction guide для выбора типа
    std::optional o6(std::string{"deduction"});
    std::cout << *o2 << ' ' << *o3 << ' ' << *o4 << ' ' << *o5  << ' ' << *o6 << '\n';
}

1 1 abc AAA deduction

Отчеты о дефектах

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

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