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 的要求太弱，未能反映实现者的预期	要求已加强