Currently the moved from object has to be reinitialized in order to avoid double freeing in it's destructor.
Both operations reinitialization and destroying the moved from object are superfluous, if we had a mean to tell the compiler not to destroy a particular object.
https://github.com/D-Programming-Language/phobos/blob/41d1162619039e8e535060b920ff54cc2c44ebbb/std/algorithm/mutation.d#L1015
A destructive move intrinsic would turn an object into an rvalue, disable destruction of the moved from object, and disallow any further usage of the moved from object.
The object must be unaliased to make destructive move @safe.
Destructively moving anything but named variables (such as fields or single array elements) would be prohibited as it adds compiler complexity or runtime overhead.
Comment #1 by code — 2015-09-02T08:05:00Z
This should only be allowed on "value" declarations to avoid complications like destructive move via ref parameter in a function call or moving of array elements.
Comment #2 by code — 2016-10-09T18:07:45Z
DMD internally uses a storage class flag (STCnodtor) for a similar purpose.
So an @unsafe __nodtor(var) intrinsic to instruct the compiler to not destruct a variable could hopefully just set this flag.
Comment #3 by robert.schadek — 2024-12-13T18:42:15Z