c++ - allocator_traits::construct() 与 allocator_traits::allocate()

Question

C++11 提供了 std::allocator_traits 类作为使用分配器的标准方式。静态函数 std::allocator_traits::construct() 将一个指针 指向应该构造对象的位置。然而，std::allocator_traits::allocate() 静态函数返回一个 allocator::pointer 值，它只需要表现得像一个指针，但不一定一个(一般来说，虽然 std::allocator::pointer 需要是一个指针)。

如果分配和构造静态方法通常会与不兼容的类型一起工作，那么应该如何使用它们？只有当 pointer 类型实际上可以转换为普通指针时才能使用它们吗？

Answer 1

根据您目前的情况，有两种方法可以做到这一点。

如果你有一个左值表达式，比如节点中的值字段，那么你可以像这样使用 std::addressof:

allocator_traits<allocator_type>::construct(alloc, std::addressof(ptr->value), ...);

其中 ptr 是一个 allocator_type::pointer。

但是，如果您没有要取消引用的字段并且想要将 allocator_type::pointer 转换为 T*，则需要先实现一个技巧:

template <class T>
inline
T*
to_raw_pointer(T* p) noexcept
{
    return p;
}

template <class Pointer>
inline
typename std::pointer_traits<Pointer>::element_type*
to_raw_pointer(Pointer p) noexcept
{
    return p != nullptr ? ::to_raw_pointer(p.operator->())
                        : nullptr;
}

现在你可以说:

allocator_traits<allocator_type>::construct(alloc, to_raw_pointer(ptr), ...);