C++ 具名要求: NullablePointer (C++11 起)

来自cppreference.com
< cpp‎ | named req
 
 
 

指定类型是能与 std::nullptr_t 对象比较的类指针类型。

[编辑] 要求

类型必须满足所有下列要求:

而且,该类型的值初始化必须生成该类型的空值。空值必须仅与自身相等。类型的默认初始化可拥有不确定值。

类型必须可按语境转换成 bool 。若值等价于其空值则此转换的效果为 false ,否则为 true 。

此类型进行的操作均不可抛异常。

类型必须满足下列表达式,给定二个该类型的值 pq ,而 npstd::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) :