Specifies that an object of the type can be copy-constructed in-place by a given allocator.
[edit] RequirementsGiven the following types, values and expressions:
Type DefinitionT
an object type A
an allocator type X
a container type satisfying all following conditions:
X::value_type
is the same as T
.X::allocator_type
is the same as std::allocator_traits<A>::rebind_alloc<T>.A
p a pointer of type T*
Expression Definition v an expression denoting an lvalue of type T
/ const T, or an rvalue of type const T expr std::allocator_traits<A>::construct(m, p, v)
T
is CopyInsertable into X
if all following conditions are satisfied:
T
is MoveInsertable into X
.If A
is std::allocator<T>, then this will call placement new, as by ::new((void*)p) T(v)(until C++20)std::construct_at(p, v)(since C++20).
Although it is required that customized construct
is used when constructing elements of std::basic_string until C++23, all implementations only used the default mechanism. The requirement is corrected by P1072R10 to match existing practice.
The following behavior-changing defect reports were applied retroactively to previously published C++ standards.
DR Applied to Behavior as published Correct behavior LWG 2177 C++11 evaluting expr did not have any postcondition added LWG 3957 C++11 v could denote an rvalue of typeT
excluded
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4