allocator_traits :: construct（）vs 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), ...); 

Answer 2

從C++ 20開始，有std::to_address，建議在P0653。