ась?

Твой "деструктивный" мув выставит все "мувнутые" поинтеры в nullptr для памяти, которая уже не нужна

эээ

мда.

Зависит от того, насколько тупой оптимизатор, он имеет право не нулить

лол

https://gcc.gnu.org/onlinedocs/gcc/Optimize-Options.html

-fdelete-null-pointer-checks

   Assume that programs cannot safely dereference null pointers, and that no code or data element resides at address zero. This option enables simple constant folding optimizations at all optimization levels. In addition, other optimization passes in GCC use this flag to control global dataflow analyses that eliminate useless checks for null pointers; these assume that a memory access to address zero always results in a trap, so that if a pointer is checked after it has already been dereferenced, it cannot be null.

   Note however that in some environments this assumption is not true. Use -fno-delete-null-pointer-checks to disable this optimization for programs that depend on that behavior.

челик просто не понимает что такое деструктивный мув)

и чем указатели отличаются от интов

божечки мои, как же так

вот тут написано, как заставить компилятор определить поведение при разыменование 0

любишь кидаться кирпичами? прочитай внимательно  вот это
https://rawgit.com/Quuxplusone/draft/gh-pages/d1144-object-relocation.html

Получается мув не такой уж и деструктивный и за ним приходится  "подчищать" оптимизатору

Draft Proposal. уже приняли и реализовали?

будет в С++31?

Оно ничего не определяет. Просто "предполагает".

ох какие же растеры бездарные. у меня передоз крестов

жил был раст оффтопик. сидели с хиро обсуждали поечку, идрис, внимали мудрости доги, кая.
@
СФИНАЕ РВАЛУЕ МУВ ДЕРЕФЕРЕНС ЛУПХОЛ УБ УБ КНИГИ СТАТЬИ СТАНДАРТЫ

ты точно внимательно читал? Там написано, что если хочешь всегдп кидать ошибку при дереференсе 0, юзай -fno-delete-null-pointer-checks

Reference implementation of relocate_at and uninitialized_relocate

template<class T>
T *relocate_at(T *source, T *dest)
{
    if constexpr (std::is_trivially_relocatable_v<T>) {
        std::memmove(dest, source, sizeof(T));
        return std::launder(dest);
    } else {
        T *result = ::new (dest) (std::move(*source));
        source->~T();
        return result;
    }
}

лол. так где там про деструктивный мув? :D

подсказка: source->~T();