From https://stackoverflow.com/q/66755218
[tab:cpp17.allocator] has the following example added by p0593r6:
When reusing storage denoted by some pointer value
p,launder(reinterpret_cast<T*>(new (p) byte[n * sizeof(T)]))can be used to implicitly create a suitable array object and obtain a pointer to it.
If T is not an implicit-lifetime type, then, even if an object of type T[m ≤ n] is created, the lifetimes of the array elements are not started, which means launder's preconditions are violated:
Preconditions:
prepresents the addressAof a byte in memory. An objectXthat is within its lifetime and whose type is similar toTis located at the addressA.
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