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

根据目前的情况，有两种技术可以做到这一点。

如果您有一个lvalue表达式，比如节点中的value字段，那么您可以使用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), ...);

Answer 2

从C++20开始，std::to_address是在P0653中提出的。