C++ named requirements: NullablePointer (since C++11)

Указывает, что тип является указатель-подобным объектом, который можно сравнивать с объектами std::nullptr_t .

Требования

Тип должен соответствовать всем следующим требованиям:

• EqualityComparable
• DefaultConstructible
• CopyConstructible
• CopyAssignable
• Swappable
• Destructible

Кроме того, объект этого типа, инициализированный значением, должен создавать нулевое значение данного типа. Это нулевое значение должно быть эквивалентно только самому себе. Стандартная инициализация типа может иметь неопределённое или ошибочное (since C++26) значение.

Значение типа должно быть контекстно преобразуемо в bool . Результат этого преобразования возвращает false если значение эквивалентно своему нулевому значению и true в противном случае.

Ни одна из операций, выполняемых этим типом, не может вызывать исключения.

Тип должен удовлетворять следующим дополнительным выражениям, при условии двух значений p и q данного типа, и что np является значением типа std::nullptr_t (возможно, квалифицированного как const):

Примечания

Обратите внимание, что разыменование ( operator * или operator - > ) не требуется для типа NullablePointer . Минималистичный тип, удовлетворяющий этим требованиям, это

class handle
{
    int id = 0;
public:
    handle() = default;
    handle(std::nullptr_t) {}
    explicit operator bool() const { return id != 0; }
    friend bool operator==(handle l, handle r) { return l.id == r.id; }
    friend bool operator!=(handle l, handle r) { return !(l == r); }
    // или только оператор == по умолчанию (начиная с C++20)
};

Стандартная библиотека

Следующие типы удовлетворяют требованиям NullablePointer :

• std::exception_ptr .

Следующие типы должны удовлетворять требованиям NullablePointer для взаимодействия с компонентами стандартной библиотеки:

• Типы-члены X::pointer , X::const_pointer , X::void_pointer и X::const_void_pointer каждого Allocator типа X .
• Тип-член pointer класса std::unique_ptr .

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

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