P0843R14 `<inplace_vector>`

[StephanTLavavej]

WG21-P0843R14 <inplace_vector>
WG21-P3981R2 Better Return Types In inplace_vector And exception_ptr_cast() (obviously, only half of this paper applies here)
WG21-P4022R0 Remove inplace_vector::try_append_range
LWG-4122 Ill-formed operator<=> can cause hard error when instantiating std::inplace_vector
LWG-4147 Precondition on inplace_vector::emplace
LWG-4151 Precondition of inplace_vector::swap
LWG-4396 Improve inplace_vector(from_range_t, R&& rg)

This was also patched by the Core paper WG21-P3074R7 "Trivial unions".

Feature-test macros (in WG21-N5046; from cplusplus/draft#8898 and cplusplus/draft#7680):

#define __cpp_lib_inplace_vector           202603L
#define __cpp_lib_constexpr_inplace_vector 202502L

My VS-PR-738409 taught the IDE about this new extensionless header.

Note: We are not yet accepting PRs for C++26 features.

[vasama]

I have implemented this here: https://github.com/vasama/MSSTL/tree/feature/inplace_vector

When you start accepting C++26 features, I will be happy to reopen and update my PR.
Please comment in this issue so that I receive a notification about it.

[frederick-vs-ja]

A proxy object for container/iterator debugging will make the container totally non-trivial, which is fine for all containers but array and inplace_vector. The problem is more severe for inplace_vector because the valid range of an inplace_vector object can vary among its lifetime.

Do we want to add a proxy object (but shouldn't be dynamically allocated if added) for debugging when it's allowed to do so?

[StephanTLavavej]

Dynamically allocated proxy objects are a bane, and we should avoid adding any more.

There's no point in container-internal proxy objects - their whole purpose is to allow iterators to find their parents after swapping/moving. (Note the distinction between them and sentinel nodes. Container-internal sentinel nodes work because they don't remain valid after swapping/moving.)

[vasama]

In my implementation the debug iterator currently contains a pointer directly to the size member of the inplace_vector, which is a null pointer in the case of zero capacity. This is used by the iterator itself to detect out-of-bounds accesses. The vector itself detects its own iterators using the data pointer also stored in the iterator.