20 Library introduction [library]

NullablePointer Типа является указателем типа типа , который поддерживает нулевые значения. Тип P соответствует требованиям, NullablePointer если:

• (1.1)

  P удовлетворяет требованиям EqualityComparable, DefaultConstructible, CopyConstructible, CopyAssignable, и Destructible,

• (1.2)

  lvalues типа P являются swappable,

• (1.3)

  выражения, показанные в таблице 28 , действительны и имеют указанную семантику, и

• (1.4)

  P удовлетворяет всем остальным требованиям данного подпункта.

Объект типа, инициализированный значением, P создает нулевое значение типа. Нулевое значение должно быть эквивалентно только самому себе. Инициализированный по умолчанию объект типа P может иметь неопределенное значение. [  Note: Операции с неопределенными значениями могут вызывать неопределенное поведение. ]  — end note 

Объект p типа P может быть contextually converted to bool. Эффект должен быть таким, как если бы p != nullptr он был оценен вместо p.

Никакая операция, которая является частью NullablePointer требований, не должна завершаться через исключение.

В таблице 28, u обозначает идентификатор, t обозначает не-const объекта типа P, a и b обозначают значение типа (возможно const) P, и np обозначает значение типа (возможно const) std​::​nullptr_­t.