cpp/memory/allocator traits/allocate at least

calls and returns its result if the call is well-formed, otherwise, it is equivalent to.

tries to allocate a storage for at least  objects, and provides a fallback mechanism that allocates a storage for exact  objects.

Return value
if it is well-formed.

Otherwise,.

Exceptions
Throws what and when the selected allocation function throws.