std::allocator_traits<Alloc>::construct

Since C++20

template< class T, class... Args >
static constexpr void construct( Alloc& a, T* p, Args&&... args );

Since C++11, Until C++20

template< class T, class... Args >
static void construct( Alloc& a, T* p, Args&&... args );

If possible, constructs an object of type T in allocated uninitialized storage pointed to by p, by calling

a.construct(p, std::forward<Args>(args)...)

If the above is not possible (e.g. Alloc does not have the member function construct()), then calls ::new (static_cast<void*>(p)) T(std::forward<Args>(args)...)  (do C++20)
::new (static_cast<void*>(p)) T(std::forward<Args>(args)...)  (od C++20)

Parameters

a - allocator to use for construction
p - pointer to the uninitialized storage on which a T object will be constructed
args... - the constructor arguments to pass to a.construct() or to placement-new  (do C++20) std::construct_at()  (od C++20)

Return value

(none)

Notes

This function is used by the standard library containers when inserting, copying, or moving elements.

Because this function provides the automatic fall back to placement new, the member function construct() is an optional Allocator requirement since C++11.