Why introduce `std::launder` rather than have the compiler take care of it?
depending on whether or not the code does something like in these examples Because the compiler cannot always know when data is being accessed “this way”. As things currently stand, the compiler is allowed to assume that, for the following code: struct foo{ int const x; }; void some_func(foo*); int bar() { foo f { … Read more