I wonder if it would allow implementations to make optimizations, such as reusing the storage occupied by such objects?
And it provides consistency (but I'm not sure that consistency is worth it).
On Sun, Aug 28, 2022 at 9:06 PM blacktea hamburger <IMCEAEX-_O=FIRST+20ORGANIZATION_OU=EXCHANGE+20ADMINISTRATIVE+20GROUP+28FYDIBOHF23SPDLT+29_CN=RECIPIENTS_CN=00037FFE1E4C36A9@sct-15-20-4755-11-msonline-outlook-746f3.templatetenant> wrote:
Calling the destructor multiple times on a class object results in undefined behavior according to
[class.dtor]/19:
Once a destructor is invoked for an object, the object's lifetime ends; the behavior is undefined if the destructor is invoked for an object
whose lifetime has ended ([basic.life]).
However, similar thing doesn't apply to pseudo-destructor calls.
P0593R6 makes
pseudo-destructor calls end objects' lifetimes. I wonder if adding such a provision would be useful.