23 General utilities library [utilities]

23.6 Optional objects [optional]

23.6.3 Class template optional [optional.optional]

23.6.3.1 Constructors [optional.ctor]

constexpr optional() noexcept; constexpr optional(nullopt_t) noexcept;

1
#

Postconditions: *this не содержит значения.

2
#

Remarks: Никакое содержащееся значение не инициализируется. Для каждого типа объектаT эти конструкторы должны быть constexpr constructors.

constexpr optional(const optional& rhs);

3
#

Effects: Еслиrhs содержит значение, инициализирует содержащееся значение, как если бы инициализирует объект типаT выражением напрямую без использования списка*rhs.

4
#

Postconditions: bool(rhs) == bool(*this).

5
#

Throws: Любое исключение, созданное выбранным конструкторомT.

6
#

Remarks: Этот конструктор должен быть определен как удален , если is_­copy_­constructible_­v<T> неtrue. Еслиis_­trivially_­copy_­constructible_­v<T> естьtrue, этот конструктор должен бытьconstexpr конструктором.

constexpr optional(optional&& rhs) noexcept(see below);

7
#

Effects: Еслиrhs содержит значение, инициализирует содержащееся значение, как если бы инициализирует объект типаT выражением напрямую без использования спискаstd​::​move(*rhs). bool(rhs) без изменений.

8
#

Postconditions: bool(rhs) == bool(*this).

9
#

Throws: Любое исключение, созданное выбранным конструкторомT.

10
#

Remarks: Выражение внутриnoexcept эквивалентно is_­nothrow_­move_­constructible_­v<T>. Этот конструктор не должен участвовать в разрешении перегрузки , еслиis_­move_­constructible_­v<T> неtrue. Еслиis_­trivially_­move_­constructible_­v<T> естьtrue, этот конструктор должен бытьconstexpr конструктором.

template <class... Args> constexpr explicit optional(in_place_t, Args&&... args);

11
#

Effects: Инициализирует содержащееся значение, как если бы инициализирует объект типа напрямую без использования спискаT с аргументамиstd​::​forward<Args>(args)....

12
#

Postconditions: *this содержит значение.

13
#

Throws: Любое исключение, созданное выбранным конструкторомT.

14
#

Remarks: ЕслиTконструктор, выбранный для инициализации, является конструктором constexpr, этот конструктор должен быть конструктором constexpr. Этот конструктор не должен участвовать в разрешении перегрузки , еслиis_­constructible_­v<T, Args...> неtrue.

template <class U, class... Args> constexpr explicit optional(in_place_t, initializer_list<U> il, Args&&... args);

15
#

Effects: Инициализирует содержащееся значение, как если бы инициализирует объект типа напрямую без использования спискаT с аргументамиil, std​::​forward<Args>(args)....

16
#

Postconditions: *this содержит значение.

17
#

Throws: Любое исключение, созданное выбранным конструкторомT.

18
#

Remarks: Этот конструктор не должен участвовать в разрешении перегрузки , еслиis_­constructible_­v<T, initializer_­list<U>&, Args&&...> неtrue. ЕслиTконструктор, выбранный для инициализации, является конструктором constexpr, этот конструктор должен быть конструктором constexpr.

19
#

[  Note: Следующие конструкторы условно указаны как явные. Обычно это реализуется путем объявления двух таких конструкторов, максимум один из которых участвует в разрешении перегрузки. ] — end note 

template <class U = T> EXPLICIT constexpr optional(U&& v);

20
#

Effects: Инициализирует содержащееся значение, как если бы инициализирует объект типа напрямую, не являясь списком,T с выражениемstd​::​forward<U>(v).

21
#

Postconditions: *this содержит значение.

22
#

Throws: Любое исключение, созданное выбранным конструкторомT.

23
#

Remarks: ЕслиTвыбранный конструктор является конструктором constexpr, этот конструктор должен быть конструктором constexpr. Этот конструктор не должен участвовать в разрешении перегрузки, за исключением случаев, когда is_­constructible_­v<T, U&&> естьtrue, is_­same_­v<decay_­t<U>, in_­place_­t> естьfalseи is_­same_­v<optional<T>, decay_­t<U>> естьfalse. Конструктор является явным тогда и только тогда, когда он is_­convertible_­v<U&&, T> естьfalse.

template <class U> EXPLICIT optional(const optional<U>& rhs);

24
#

Effects: Еслиrhs содержит значение, инициализирует содержащееся значение, как если бы инициализирует объект типаT выражением напрямую без использования списка*rhs.

25
#

Postconditions: bool(rhs) ==bool(*this).

26
#

Throws: Любое исключение, созданное выбранным конструкторомT.

27
#

Remarks: Этот конструктор не должен участвовать в разрешении перегрузки, если только

  • (27.1)

    is_­constructible_­v<T, const U&> естьtrue,

  • (27.2)

    is_­constructible_­v<T, optional<U>&> естьfalse,

  • (27.3)

    is_­constructible_­v<T, optional<U>&&> естьfalse,

  • (27.4)

    is_­constructible_­v<T, const optional<U>&> естьfalse,

  • (27.5)

    is_­constructible_­v<T, const optional<U>&&> естьfalse,

  • (27.6)

    is_­convertible_­v<optional<U>&, T> естьfalse,

  • (27.7)

    is_­convertible_­v<optional<U>&&, T> естьfalse,

  • (27.8)

    is_­convertible_­v<const optional<U>&, T> естьfalse, и

  • (27.9)

    is_­convertible_­v<const optional<U>&&, T> естьfalse.

Конструктор является явным тогда и только тогда, когда он is_­convertible_­v<const U&, T> естьfalse.

template <class U> EXPLICIT optional(optional<U>&& rhs);

28
#

Effects: Еслиrhs содержит значение, инициализирует содержащееся значение, как если бы инициализирует объект типаT выражением напрямую без использования спискаstd​::​move(*rhs). bool(rhs) без изменений.

29
#

Postconditions: bool(rhs) ==bool(*this).

30
#

Throws: Любое исключение, созданное выбранным конструкторомT.

31
#

Remarks: Этот конструктор не должен участвовать в разрешении перегрузки, если только

  • (31.1)

    is_­constructible_­v<T, U&&> правда,

  • (31.2)

    is_­constructible_­v<T, optional<U>&> естьfalse,

  • (31.3)

    is_­constructible_­v<T, optional<U>&&> естьfalse,

  • (31.4)

    is_­constructible_­v<T, const optional<U>&> естьfalse,

  • (31.5)

    is_­constructible_­v<T, const optional<U>&&> естьfalse,

  • (31.6)

    is_­convertible_­v<optional<U>&, T> естьfalse,

  • (31.7)

    is_­convertible_­v<optional<U>&&, T> естьfalse,

  • (31.8)

    is_­convertible_­v<const optional<U>&, T> естьfalse, и

  • (31.9)

    is_­convertible_­v<const optional<U>&&, T> естьfalse.

Конструктор является явным тогда и только тогда, когда он is_­convertible_­v<U&&, T> естьfalse.