Именованные требования C++: NullablePointer (начиная с C++11)

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

Требования

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

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

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

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

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

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

Примечания

Обратите внимание, что разыменование (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); }
    // or only a defaulted operator== (since 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++.

См. также