为什么分配器需要构造和销毁接口

Why does allocator need construct and destroy interface?

本文关键字：接口分配器为什么更新时间：2023-10-16

stl 中的默认分配器具有用于构造和销毁元素的接口。

void construct(pointer __p, const _Tp& __val)
void destroy(pointer __p)

但是 stl 也提供了两种函数来做同样的事情。这些函数在 stl_construct.h 中定义。

void _Construct(_T1* __p, const _T2& __value)
void _Destroy(_Tp* pointer)

我看到矢量模板使用 _Construct 和 _Destroy 而不是分配器中定义的接口。我的问题是为什么我们需要两组函数来做同样的事情？他们有什么区别吗？

_Construct 和 _Destroy 函数不是公共接口的一部分，而是系统上特定标准库版本的实现细节。任何带有双下划线或单个下划线和大写字母的标识符都是保留的，用户不会调用。

将分配器的construct()和destroy()成员函数委托给这些非成员函数是一种实现选择。顺便说一句，从 C++11 开始，标准容器不再被允许直接调用分配器的construct()和destroy()，而必须通过 std::allocator_traits<Allocator> 类型特征来实现。