...
In this noncompliant code example,
is called with an iterable range of objects of type f()
S
. These objects are copied into a temporary buffer using std::copy()
, and when processing of those objects is complete, the temporary buffer is deallocated. However, the buffer returned by std::get_temporary_buffer()
does not contain initialized objects of type S
, so when std::copy()
dereferences the destination iterator, it results in undefined behavior because the object referenced by the destination iterator has yet to start its lifetime. This is because , while space for the object has been allocated, no constructors or initializers have been invoked.
...