Post #2636434
2026-04-07 11:53 UTC
@manx@mastodon.online @andreasfertig@mas.to
The required alignment check is probably so easy to miss that I would be surprised, if it isn't already called out in P3100, and on our plate for C++29 😊
Replies (1)
-
@manx@mastodon.online 2026-04-07 12:07
@DanielaKEngert@hachyderm.io @andreasfertig@mas.to It still does not matter. It is not statically decidable in all cases anyway (unless someone adds pointer alignment to the type system, which P3100 does not talk about), so the Undefined Behaviour (or run-time assertion failure due to precondition violation) still remains. Ignoring alignment requirement in a call to std::start_lifetime_as is a bug, and it really must not be used or taught that way.