C++ 概念： NullablePointer (C++11 起)
来自cppreference.com
指定类型是能与 std::nullptr_t 对象比较的类指针类型。
[编辑] 要求
类型必须满足所有下列概念要求：
- 可比较相等 (
EqualityComparable) - 可默认构造 (
DefaultConstructible) - 可复制构造 (
CopyConstructible) - 可赋值 (
CopyAssignable) - 可析构 (
Destructible)
而且，该类型的值初始化必须生成该类型的空值。空值必须仅与自身相等。类型的默认初始化可拥有不确定值。
类型必须可按语境转换成 bool 。若值等价于其空值则此转换的效果为 false ，否则为 true 。
此类型进行的操作均不可抛异常。
类型必须满足下列表达式，给定二个该类型的值 p 与 q ，而 np 是 std::nullptr_t 类型值（可有 const 限定）：
| 表达式 | 效应 |
| Type p(np);
Type p = np; |
之后 p 等于 nullptr 。
|
| Type(np) | 等于 nullptr 的临时对象。 |
| p = np | 必须返回 Type& ，而且之后 p 等于 nullptr 。
|
| p != q | 必须返回能按语境转换成 bool 的值。效果为 !(p == q) 。
|
| p == np
np == p |
必须返回能按语境转换成 bool 的值。效果为 (p == Type()) 。
|
| p != np
np != p |
必须返回能按语境转换成 bool 的值。效果为 !(p == np) 。
|
[编辑] 注意
注意对可空指针 (NullablePointer) 类型不要求解引用（ operator* 或 operator-> ）。满足这些要求的最小化类型是
class handle { int id; public: handle(std::nullptr_t = nullptr) : id(0) { } explicit operator bool() { 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); } };
[编辑] 标准库
下列类型必须满足可空指针 (NullablePointer) ：
- 每个分配器 (
Allocator) 类型X的成员类型X::pointer、X::const_pointer、X::void_pointer及X::const_void_pointer - std::unique_ptr 的成员类型
X::pointer - 类型 std::exception_ptr
