网站空间到期影响,网站建设一般多少个板块,展厅设计的要点有哪些,详情页模板怎么做此页面中列出的具名要求#xff0c;是 C 标准的规范性文本中使用的具名要求#xff0c;用于定义标准库的期待。
某些具名要求在 C20 中正在以概念语言特性进行形式化。在那之前#xff0c;确保以满足这些要求的模板实参实例化标准库模板是程序员的重担。若不这么做#xf…此页面中列出的具名要求是 C 标准的规范性文本中使用的具名要求用于定义标准库的期待。
某些具名要求在 C20 中正在以概念语言特性进行形式化。在那之前确保以满足这些要求的模板实参实例化标准库模板是程序员的重担。若不这么做则可能导致非常复杂的编译器诊断。 全库范围的概念
包含分配信息的类类型
封装访问/寻址分配/解分配以及对象的构造/析构的策略。
可能需要分配或释放内存的每个标准库组件从 std::string、std::vector 和 std::array 以外的所有容器到 std::shared_ptr 和 std::function都通过 Allocator分配器 进行这些操作分配器是满足下列要求的类类型对象。
某些要求是可选的模板 std::allocator_traits 为所有可选要求提供默认实现且所有标准库容器和其他具分配器类都是通过 std::allocator_traits 访问分配器而并不直接访问。
要求
给定
无 cv 限定的对象类型 T针对类型 T 的分配器 (Allocator) 类型 AA 类型的对象 aB为针对某个无 cv 限定的对象类型 U 的对应分配器 (Allocator) 类型重绑定 A 所得B 类型的对象 ballocator_traitsA::pointer 类型的值 ptr由调用 allocator_traitsA::allocate() 所获得allocator_traitsA::const_pointer 类型的值 cptr从 ptr 转换而获得allocator_traitsA::void_pointer 类型的值 vptr从 ptr 转换而获得allocator_traitsA::const_void_pointer 类型的值 cvptr从 cptr 或 vptr 转换而获得xptr为针对某各无 cv 限定对象类型 X 的可解引用指针r为从表达式 *ptr 获得的 T 类型的左值allocator_traitsA::size_type 类型的值 n
表达式要求返回类型A::pointer (可选)满足可空指针 (NullablePointer) 、遗留随机访问迭代器 (LegacyRandomAccessIterator) 及遗留连续迭代器 (LegacyContiguousIterator) 见下文缀饰指针A::const_pointer (可选)A::pointer 可转换为 A::const_pointer。可空指针 (NullablePointer) 、遗留随机访问迭代器 (LegacyRandomAccessIterator) 及遗留连续迭代器 (LegacyContiguousIterator)A::void_pointer (可选)A::pointer 可转换为 A::void_pointer B::void_pointer 与 A::void_pointer 是同一类型。满足可空指针 (NullablePointer) A::const_void_pointer (可选)A::pointer、A::const_pointer 及 A::void_pointer 可转换到 A::const_void_pointer B::const_void_pointer 与 A::const_void_pointer 是同一类型。满足可空指针 (NullablePointer) A::value_type类型 TA::size_type (可选)A::size_type 能表示 A 所能分配的最大对象的大小无符号整数类型A::difference_type (可选)A::difference_type 能表示任意两个指向 A 所分配对象的指针之间的差有符号整数类型A::template rebindU::other (可选)[1]对于任何 UB::template rebindT::other 为 A类型 B*ptrT*cptr*cptr 与 *ptr 标识同一对象const Tptr-m若 (*ptr).m 良构则与 (*ptr).m 相同T::m 的类型cptr-m若 (*cptr).m 良构则与 (*cptr).m 相同T::m 的类型static_castA::pointer(vptr)static_castA::pointer(vptr) ptrA::pointerstatic_castA::const_pointer(cvptr)static_castA::const_pointer(cvptr) cptrA::const_pointerstd::pointer_traitsA::pointer::pointer_to(r)A::pointera.allocate(n)分配适合 n 个 T 类型对象的存储但不构造它们。可以抛异常。A::pointera.allocate(n, cvptr) (可选)与 a.allocate(n) 相同但可以以未指明的方式使用 cvptr从 a.allocate() 获得的指针或 nullptr_t以协助局部性A::pointera.deallocate(ptr, n)解分配 ptr 所指向的存储该指针必须是先前从对 allocate 的调用获得的指针且未因中间对 deallocate 的调用而失效。n 必须匹配先前传递给 allocate 的值。不抛异常。不使用a.max_size() (可选)能传递给 A::allocate() 的最大值A::size_typea1 a2仅若分配器 a1 分配的存储能通过 a2 解分配才返回 true。建立自反、对称和可传递关系。不抛异常。boola1 ! a2与 !(a1a2) 相同boolA a1(a) A a1 a 复制构造 a1 以满足 a1 a。不抛异常。注意所有分配器 (Allocator) 也都满足可复制构造 (CopyConstructible) A a(b)构造满足 B(a)b 和 A(b)a 的 a。不抛异常。注意这意味着所有因 rebind 相关联的分配器都彼此维护资源例如内存池A a1(std::move(a)) A a1 std::move(a) 构造 a1 使之等于 a 之前的值。不抛异常。 a 的值不变且 a1 a。 (C17 起)A a(std::move(b))构造 a 使之等于 A(b) 之前的值。不抛异常。a.construct(xptr, args) (可选)在先前分配的存储中由 xptr 所指向的地址上以 args 为构造函数实参构造一个 X 类型的对象a.destroy(xptr) (可选)析构 xptr 所指向的 X 类型的对象但不解分配任何存储。a.select_on_container_copy_construction() (可选)提供一个 A 实例以被从当前正使用 a 的容器所复制构造的容器使用。通常要么返回 a 的副本要么为默认构造的 A()。AA::propagate_on_container_copy_assignment (可选)若在使用 A 类型的分配器的容器被复制赋值时需要复制该分配器则为 true。注意若源和目标容器的分配器比较不相等则复制赋值时必须用旧分配器解分配目标的内存再在进行各元素和分配器的复制之前用新分配器分配内存std::true_type 或 std::false_type 或从它派生的类型A::propagate_on_container_move_assignment (可选)若在使用 A 类型的分配器的容器被移动赋值时需要移动该分配器则为 true。若此成员是 false 且源和目标容器的分配器比较不相等则移动赋值不能夺取源内存的所有权而必须逐个进行元素的移动赋值或移动构造按需调整其自身内存的大小。std::true_type 或 std::false_type 或从它派生的类型A::propagate_on_container_swap (可选)若在使用 A 类型的分配器的两个容器进行交换时需要交换分配器则为 true。若此成员是 false 且两个容器的分配器比较不相等则容器交换的行为未定义。std::true_type 或 std::false_type 或从它派生的类型A::is_always_equal (C17 起) (可选)若两个 A 类型的分配器始终比较相等则为 true。若不提供则 std::allocator_traits 默认它等于 std::is_emptyA::typestd::true_type 或 std::false_type 或从它派生的类型
注
↑ 仅当此分配器是 SomeAllocatorT, Args 形式的模板其中 Args 是零或更多额外的模板类型形参时rebind 才是可选的由 std::allocator_traits 提供。 另外为使类型 A 满足分配器 (Allocator) 若 A::propagate_on_container_copy_assignment::value 为 true则 A 必须满足可复制赋值 (CopyAssignable) 且复制操作必须不抛异常若 A::propagate_on_container_move_assignment::value 为 true则 A 必须满足可移动赋值 (MoveAssignable) 且移动操作必须不抛异常。若 A::propagate_on_container_swap::value 为 true则 A 的左值必须可交换 (Swappable) 且交换操作必须不抛异常(C17 起) 给定 X::void_pointer、X::const_void_pointer、X::pointer 或 X::const_pointer 类型的对象 x1 和 x2类型可以不同则当且仅当 x1 和 x2 分别都能用只使用这四种类型的 static_casts 的序列显式转换为 X::const_pointer 类型的对象 px1 和 px2且表达式 px1 px2 求值为 true则 x1 和 x2 是值等价的指针值 给定 X::void_pointer 类型的对象 w1 与 w2。则对于表达式 w1 w2 与 w1 ! w2任一或两个对象都可由值等价的 X::const_void_pointer 类型的对象所替换而语义没有变化。 给定 X::pointer 类型的对象 p1 与 p2则对于表达式 p1 p2、p1 ! p2、p1 p2、p1 p2、p1 p2、p1 p2、p1 - p2}任一或两个对象都可由值等价的 X::const_pointer 类型的对象所替换而语义没有变化。 上述要求使得比较容器 (Container) 的 iterator 和 const_iterator 成为可能。 (C14 起) 分配器完整性要求 若无论 T 是否为完整类型下列二者皆为真则针对类型 T 的分配器类型 X 还额外满足分配器完整性要求 X 是完整类型除 value_type 之外所有 std::allocator_traitsX 的成员都是完整类型。(C17 起)
缀饰指针
当成员类型 pointer 不是原生指针时它通常被称为“缀饰指针fancy pointer”。这种指针曾为支持分段内存架构而引入并在当今用于访问在某些不同于原生指针所访问的同质虚拟地址空间的地址空间中所分配的对象。缀饰指针的一个实例是映射的不依赖地址指针 boost::interprocess::offset_ptr它使得在共享内存和在每个进程中映射到不同地址的映射到内存文件中分配 std::set 一类的基于结点的数据结构可行。通过类模板 std::pointer_traits缀饰指针可以独立于提供它们的分配器而使用。
标准库
下列标准库组件满足分配器 (Allocator) 要求 allocator 默认的分配器 (类模板) scoped_allocator_adaptor (C11) 为多级容器实现的多级分配器 (类模板) polymorphic_allocator (C17) 以 std::memory_resource 构造支持基于它的运行时多态的分配器 (类模板)
