std::scoped_allocator_adaptor

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

动态内存管理

未初始化内存算法 uninitialized_copy uninitialized_fill uninitialized_move (C++17) uninitialized_default_construct (C++17) uninitialized_value_construct (C++17) destroy (C++17) destroy_at (C++17) voidify (C++20) uninitialized_copy_n (C++11) uninitialized_fill_n uninitialized_move_n (C++17) uninitialized_default_construct_n (C++17) uninitialized_value_construct_n (C++17) destroy_n (C++17) construct_at (C++20) 受限未初始化内存算法 ranges::uninitialized_copy (C++20) ranges::uninitialized_fill (C++20) ranges::uninitialized_move (C++20) ranges::construct_at (C++20) ranges::destroy (C++20) ranges::destroy_n (C++20) ranges::destroy_at (C++20) ranges::uninitialized_copy_n (C++20) ranges::uninitialized_fill_n (C++20) ranges::uninitialized_move_n (C++20) ranges::uninitialized_default_construct (C++20) ranges::uninitialized_value_construct (C++20) ranges::uninitialized_default_construct_n (C++20)   ranges::uninitialized_value_construct_n (C++20) 分配器 allocator allocator_traits (C++11) allocation_result (C++23) allocator_arg (C++11) uses_allocator (C++11) uses_allocator_construction_args (C++20) make_obj_using_allocator (C++20) uninitialized_construct_using_allocator (C++20) scoped_allocator_adaptor (C++11) pmr::polymorphic_allocator (C++17) 内存资源 pmr::memory_resource (C++17) pmr::get_default_resource (C++17) pmr::set_default_resource (C++17) pmr::new_delete_resource (C++17) pmr::null_memory_resource (C++17) pmr::synchronized_pool_resource (C++17) pmr::unsynchronized_pool_resource (C++17)   pmr::monotonic_buffer_resource (C++17) pmr::pool_options (C++17) 垃圾回收支持 declare_reachable (C++11)(直到 C++23) undeclare_reachable (C++11)(直到 C++23) declare_no_pointers (C++11)(直到 C++23) undeclare_no_pointers (C++11)(直到 C++23) pointer_safety (C++11)(直到 C++23) get_pointer_safety (C++11)(直到 C++23) 未初始化存储 raw_storage_iterator (直到 C++20*) get_temporary_buffer (直到 C++20*) return_temporary_buffer (直到 C++20*) 显式生命周期管理 start_lifetime_asstart_lifetime_as_array (C++23)(C++23)

智能指针 unique_ptr (C++11) shared_ptr (C++11) weak_ptr (C++11) auto_ptr (直到 C++17*) owner_less (C++11) owner_less<void> (C++17) owner_hash (C++26) owner_equal (C++26) enable_shared_from_this (C++11) bad_weak_ptr (C++11) default_delete (C++11) out_ptr_t (C++23) inout_ptr_t (C++23) 低级内存 管理 operator new operator new[] operator delete operator delete[] get_new_handler (C++11) set_new_handler launder (C++17) bad_alloc bad_array_new_length (C++11) nothrow_t align_val_t (C++17) destroying_delete_t (C++20) new_handler nothrow 其他 pointer_traits (C++11) to_address (C++20) addressof (C++11) align (C++11) assume_aligned (C++20) C 库 malloc calloc realloc    aligned_alloc (C++17) free

 

std::scoped_allocator_adaptor

成员函数

scoped_allocator_adaptor::scoped_allocator_adaptor

scoped_allocator_adaptor::~scoped_allocator_adaptor

scoped_allocator_adaptor::operator=

scoped_allocator_adaptor::inner_allocator

scoped_allocator_adaptor::outer_allocator

scoped_allocator_adaptor::allocate

scoped_allocator_adaptor::deallocate

scoped_allocator_adaptor::max_size

scoped_allocator_adaptor::construct

scoped_allocator_adaptor::destroy

scoped_allocator_adaptor::select_on_container_copy_construction

非成员函数

operator==operator!= (直到 C++20)

推导指南(C++17)

 

在头文件 <scoped_allocator> 中定义
template< class OuterAlloc, class... InnerAllocs > class scoped_allocator_adaptor     : public OuterAlloc;		(自 C++11 起)

std::scoped_allocator_adaptor 类模板是一个分配器，可用于多级容器（列表的集合的向量的元组的映射，等等）。它使用一个外部分配器类型 OuterAlloc 和零个或多个内部分配器类型 InnerAlloc... 实例化。直接使用 scoped_allocator_adaptor 构造的容器使用 OuterAlloc 分配其元素，但如果元素本身是一个容器，它使用第一个内部分配器。该容器的元素（如果它们本身是容器）使用第二个内部分配器，依此类推。如果容器的级数多于内部分配器的数量，则最后一个内部分配器将被重复用于所有后续的嵌套容器。

此适配器的目的是在嵌套容器中正确初始化有状态的分配器，例如，当嵌套容器的所有级别都必须放置在同一个共享内存段中时。适配器的构造函数接受列表中所有分配器的参数，每个嵌套容器根据需要从适配器获取其分配器状态。

为了 scoped_allocator_adaptor 的目的，如果下一个内部分配器是 A，那么任何类 T 对于它 std::uses_allocator<T,A>::value == true 参与递归，就好像它是容器一样。此外，std::pair 被 scoped_allocator_adaptor::construct 的特定重载视为这样的容器。

典型实现将 std::scoped_allocator_adaptor<InnerAllocs...> 的实例作为成员对象。

请注意，std::pmr::polymorphic allocators 根据 uses-allocator 构造 传播到嵌套容器，不需要（也不适用于）std::scoped_allocator_adaptor。

成员类型

类型	定义
outer_allocator_type	OuterAlloc
inner_allocator_type	scoped_allocator_adaptor<InnerAllocs...> 或者，如果 sizeof...(InnerAllocs) == 0，则为 scoped_allocator_adaptor<OuterAlloc>
value_type	std::allocator_traits<OuterAlloc>::value_type
size_type	std::allocator_traits<OuterAlloc>::size_type
difference_type	std::allocator_traits<OuterAlloc>::difference_type
pointer	std::allocator_traits<OuterAlloc>::pointer
const_pointer	std::allocator_traits<OuterAlloc>::const_pointer
void_pointer	std::allocator_traits<OuterAlloc>::void_pointer
const_void_pointer	std::allocator_traits<OuterAlloc>::const_void_pointer
propagate_on_container_copy_assignment std::true_type 如果 std::allocator_traits<A>::propagate_on_container_copy_assignment::value 对于 OuterAlloc 和 InnerAlloc... 中至少一个分配器 A 为 true
propagate_on_container_move_assignment std::true_type 如果 std::allocator_traits<A>::propagate_on_container_move_assignment::value 对于 OuterAlloc 和 InnerAlloc... 中至少一个分配器 A 为 true
propagate_on_container_swap 如果至少一个分配器 `A` 在 `OuterAlloc` 和 `InnerAlloc...` 中，std::allocator_traits<A>::propagate_on_container_swap::value 为 true，则为 std::true_type。
is_always_equal 如果每个分配器 `A` 在 `OuterAlloc` 和 `InnerAlloc...` 中，std::allocator_traits<A>::is_always_equal::value 为 true，则为 std::true_type。
rebind       template< class T > struct rebind {     typedef scoped_allocator_adaptor<         std::allocator_traits<OuterAlloc>::template rebind_alloc<T>,         InnerAllocs...     > other; };

成员函数

(构造函数)	创建一个新的 scoped_allocator_adaptor 实例。 (公共成员函数)
(析构函数)	析构一个 `scoped_allocator_adaptor` 实例。 (公共成员函数)
operator=	为一个 `scoped_allocator_adaptor` 赋值。 (公共成员函数)
inner_allocator	获取一个 `inner_allocator` 引用。 (公共成员函数)
outer_allocator	获取一个 `outer_allocator` 引用。 (公共成员函数)
allocate	使用外部分配器分配未初始化的存储。 (公共成员函数)
deallocate	使用外部分配器释放存储。 (公共成员函数)
max_size	返回外部分配器支持的最大分配大小。 (公共成员函数)
construct	在分配的存储中构造一个对象，如果合适，将内部分配器传递给其构造函数。 (公共成员函数)
destroy	析构分配存储中的对象。 (公共成员函数)
select_on_container_copy_construction	复制 `scoped_allocator_adaptor` 及其所有分配器的状态。 (公共成员函数)

非成员函数

operator==operator!= (C++20 中移除)

比较两个 scoped_allocator_adaptor 实例。 (函数模板)

示例

运行这段代码。

#include <boost/interprocess/allocators/adaptive_pool.hpp>
#include <boost/interprocess/managed_shared_memory.hpp>
#include <scoped_allocator>
#include <vector>
 
namespace bi = boost::interprocess;
 
template<class T> using alloc = bi::adaptive_pool<T,
                                    bi::managed_shared_memory::segment_manager>;
using ipc_row = std::vector<int, alloc<int>>;
using ipc_matrix = std::vector<ipc_row, std::scoped_allocator_adaptor<alloc<ipc_row>>>;
 
int main ()
{
    bi::managed_shared_memory s(bi::create_only, "Demo", 65536);
 
    // create vector of vectors in shared memory
    ipc_matrix v(s.get_segment_manager());
 
    // for all these additions, the inner vectors obtain their allocator arguments
    // from the outer vector's scoped_allocator_adaptor
    v.resize(1);
    v[0].push_back(1);
    v.emplace_back(2);
    std::vector<int> local_row = {1, 2, 3};
    v.emplace_back(local_row.begin(), local_row.end());
 
    bi::shared_memory_object::remove("Demo");
}

缺陷报告

以下行为变更的缺陷报告被追溯应用到以前发布的 C++ 标准。

DR	应用于	发布的行为	正确的行为
LWG 2108	C++11	没有办法显示 `scoped_allocator_adaptor` 是否是无状态的。	提供了 `is_always_equal`。

参见

allocator_traits (C++11)	提供有关分配器类型的的信息。 (类模板)
uses_allocator (C++11)	检查指定类型是否支持 uses-allocator 构造。 (类模板)
allocator	默认分配器。 (类模板)