C++ 命名要求： NullablePointer （C++11 起）

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

C++ 命名要求

基本 DefaultConstructible（可預設構造） MoveConstructible（可移動構造） （C++11） CopyConstructible（可複製構造） CopyAssignable（可複製賦值） MoveAssignable（可移動賦值） （C++11） Destructible（可析構） 型別屬性 ScalarType（標量型別） PODType（POD型別） TriviallyCopyable（可平凡複製） （C++11） TrivialType（平凡型別） （C++11） StandardLayoutType（標準佈局型別） （C++11）   ImplicitLifetimeType（隱式生命週期型別） 全庫範圍 BooleanTestable（可布林測試） EqualityComparable（可相等比較） LessThanComparable（可小於比較） Swappable（可交換） ValueSwappable（值可交換） （C++11） NullablePointer（可空指標） （C++11） Hash（雜湊） （C++11） Allocator（分配器） FunctionObject（函式物件） Callable（可呼叫） Predicate（謂詞） BinaryPredicate（二元謂詞） Compare（比較器）

Container（容器） Container（容器） ReversibleContainer（可逆容器） AllocatorAwareContainer（分配器感知容器） SequenceContainer（序列容器） ContiguousContainer（連續容器） （C++17） AssociativeContainer（關聯容器） UnorderedAssociativeContainer（無序關聯容器） （C++11）   容器元素 DefaultInsertable（可預設插入） （C++11） CopyInsertable（可複製插入） （C++11） MoveInsertable（可移動插入） （C++11） EmplaceConstructible（可就地構造） （C++11） Erasable（可擦除） （C++11） 迭代器 (Iterator) LegacyIterator（傳統迭代器） LegacyInputIterator（傳統輸入迭代器） LegacyOutputIterator（傳統輸出迭代器） LegacyForwardIterator（傳統前向迭代器） LegacyBidirectionalIterator（傳統雙向迭代器） LegacyRandomAccessIterator（傳統隨機訪問迭代器） LegacyContiguousIterator（傳統連續迭代器） （C++17） ConstexprIterator（常量表達式迭代器） （C++20） 流 I/O FormattedInputFunction（格式化輸入函式） UnformattedInputFunction（非格式化輸入函式） FormattedOutputFunction（格式化輸出函式） UnformattedOutputFunction（非格式化輸出函式） 格式化器 BasicFormatter（基本格式化器） （C++20） Formatter（格式化器） （C++20）

隨機數 SeedSequence（種子序列） （C++11） RandomNumberEngine（隨機數引擎） （C++11） RandomNumberDistribution（隨機數分佈） （C++11） UniformRandomBitGenerator（均勻隨機位元生成器） （C++11） RandomNumberEngineAdaptor（隨機數引擎介面卡） （C++11） 併發 BasicLockable（基本可鎖定） （C++11） Lockable（可鎖定） （C++11） TimedLockable（定時可鎖定） （C++11） SharedLockable（共享可鎖定） （C++14） SharedTimedLockable（共享定時可鎖定） （C++14） Mutex（互斥體） （C++11） TimedMutex（定時互斥量） （C++11） SharedMutex（共享互斥量） （C++17） SharedTimedMutex（共享定時互斥量） （C++14） Ranges（範圍） RangeAdaptorObject（範圍介面卡物件） （C++20） RangeAdaptorClosureObject（範圍介面卡閉包物件） （C++20） 多維檢視 LayoutMapping（佈局對映） （C++23） LayoutMappingPolicy（佈局對映策略） （C++23） AccessorPolicy（訪問器策略） （C++23） 其他 CharTraits（字元特性） RegexTraits（正則表示式特性） （C++11）   BitmaskType（位掩碼型別） LiteralType（字面量型別） （C++11） NumericType（數值型別） UnaryTypeTrait（一元型別特性） （C++11） BinaryTypeTrait（二元型別特性） （C++11） TransformationTrait（轉換特性） （C++11） Clock（時鐘） （C++11） TrivialClock（平凡時鐘） （C++11）

 

指定該型別是一個類指標物件，可以與 std::nullptr_t 物件進行比較。

要求

該型別必須滿足以下所有要求

• EqualityComparable（可相等比較）
• DefaultConstructible（可預設構造）
• CopyConstructible（可複製構造）
• CopyAssignable（可複製賦值）
• Swappable（可交換）
• Destructible（可析構）

此外，經過值初始化的該型別物件必須產生一個該型別的空值。此空值只能與自身相等。該型別的預設初始化可能會產生不確定或錯誤（C++26 起）的值。

該型別的值必須能夠上下文隱式轉換為 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	型別和值滿足 BooleanTestable 要求 (C++20 前) decltype(p != q) 滿足 boolean-testable 概念 (C++20 起) 效果為 !(p == q)
p == np np == p	兩個表示式的型別和值都滿足 BooleanTestable 要求 (C++20 前) decltype(p == np) 和 decltype(np == p) 都滿足 boolean-testable 概念 (C++20 起) 效果為 (p == Type())
p != np np != p	兩個表示式的型別和值都滿足 BooleanTestable 要求 (C++20 前) decltype(p != np) 和 decltype(np != p) 都滿足 boolean-testable 概念 (C++20 起) 效果為 !(p == np)

注意

請注意，對於 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); }
    // or only a defaulted operator== (since C++20)
};

標準庫

以下型別滿足 NullablePointer

• std::exception_ptr.

為了與標準庫元件通訊，以下型別必須滿足 NullablePointer

• 每個 Allocator 型別 X 的成員型別 X::pointer、X::const_pointer、X::void_pointer 和 X::const_void_pointer。
• std::unique_ptr 的成員型別 pointer。

std::inout_ptr_t 和 std::out_ptr_t 的適配指標型別。

(C++23 起)

缺陷報告

下列更改行為的缺陷報告追溯地應用於以前出版的 C++ 標準。

缺陷報告	應用於	釋出時的行為	正確的行為
LWG 2114 （P2167R3）	C++11	上下文可轉換為 bool 的要求太弱，未能反映實現者的預期	要求已加強