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

型が std::nullptr_t オブジェクトと比較可能なポインタライクなオブジェクトであることを指定します。

要件

型は以下のすべての要件を満たさなければなりません：

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

さらに、その型の値初期化されたオブジェクトは、その型の null 値を生成しなければならない。この null 値は自身とのみ等価でなければならない。その型のデフォルト初期化は 不定値 または誤った値 (C++26以降) を持つ可能性がある。

型の値は contextually convertible でなければならず、 bool に変換可能であること。この変換の効果は、値がそのnull値と等価な場合は false を返し、それ以外の場合は true を返す。

この型が実行する操作のいずれも例外をスローしてはなりません。

型は、その型の2つの値 p と q が与えられ、かつ np が std::nullptr_t 型（const修飾されている可能性あり）の値である場合、以下の追加の式を満たさなければならない：

注記

NullablePointer型に対しては、間接参照（ operator * または operator - > ）は必要ないことに注意してください。これらの要件を満たす最小限の型は以下の通りです。

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 以降ではデフォルト化された operator== のみ
};

標準ライブラリ

以下の型は NullablePointer を満たします：

• std::exception_ptr 。

以下の型は、標準ライブラリコンポーネントとの連携のために NullablePointer 要件を満たさなければなりません：

• すべての Allocator 型 X のメンバ型 X::pointer 、 X::const_pointer 、 X::void_pointer および X::const_void_pointer 。
• std::unique_ptr のメンバ型 pointer 。

不具合報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。