11

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

如果通常情况下它们将使用不兼容的类型,那么应该如何使用分配和构造静态方法?只有当pointer类型实际上可以转换为普通的普通指针时才能使用它们吗?

4

2 回答 2

8

有两种技术可以做到这一点,具体取决于您目前拥有的东西。

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

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

哪里ptrallocator_type::pointer

但是,如果您没有要取消引用的字段并且想要将 an 转换allocator_type::pointerT*,那么您需要首先实现一个技巧:

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), ...);
于 2013-07-25T17:23:48.267 回答
3

从 C++20 开始,有std::to_address, 在P0653中提出。

于 2018-02-07T09:48:34.307 回答