Гарантирано ли е, че указателят ще запази стойността си след `delete` в C++?

Не, не е гарантирано и реализация може легитимно да присвои нула на lvalue операнд на delete.

Bjarne Stroustrup се надяваше, че реализациите ще изберат да направят това, но не много го правят.

http://www.stroustrup.com/bs_faq2.html#delete-zero

Ако по някаква причина искате да сте сигурни, че променливата на показалеца не се променя от delete, напишете:

delete p + 0;

Вярвам, че повечето реализации ще запазят стойността, само за да няма причина да я променят. Но независимо дали стойността се запазва, тя все още е безполезен указател, нали?

Подписът на глобалния оператор delete, както се изисква от стандарта 3.7.3.2/2:

Всяка функция за освобождаване трябва да връща void и нейният първи параметър трябва да бъде void*.

Това означава, че delete не може да промени указателя, който подавате към него, и винаги ще запази стойността си.

Помислете как бихте проверили или разчитали на всеки отговор „да“ или „не“? не можеш Или можете, но резултатът от тази проверка (с изключение на nullpointer) е Недефинирано поведение.

Не можете да проверите ненулева стойност след delete, така че въпросът като цяло е безсмислен.

Освен това аргументът на delete може да бъде израз на rvalue, така че въпросът е безсмислен.

Наздраве и чт.,

Не е гарантирано, че указателят има някаква значима стойност сам по себе си, освен диапазона, в който е бил разпределен, и след края на този диапазон.

Това, което може би се питате, е дали, да речем, сте правили своя собствена проверка за течове, така че сте написали функция за премахване на указател от карта, след като сте извършили изтриване. Това ще използва std::less, което гарантирано ще работи с указатели, които не сочат в рамките на диапазон, и вероятно ще работи и с указатели, които сочат към памет, която вече не е валидна.

Разбира се, може да накарате вашето събиране на боклук да направи „премахване“ точно преди да изтриете паметта, към която сочеше.

Както е със стандарта, ако стойността, която предавате за изтриване, не е l-стойност, гарантира се, че ще поддържа същата стойност, но ако е l-стойност, това е дефинирана реализация.

Този въпрос е важен! Видях, че Visual Studio 2017 е променило стойността на показалеца след „изтриване“. Това предизвика проблем, защото използвах инструмент за проследяване на паметта. Инструментът събираше указатели след всеки оператор "нов" и ги проверяваше след "изтриване". Псевдо код:

Data* New(const size_t count)
{
    Data* const ptr(new Data[count]);
    #ifdef TEST_MODE
    DebugMemory.Collect(ptr);
    #endif
    return ptr;
}

void Delete(Data* const ptr)
{
    delete[] ptr;
    #ifdef TEST_MODE
    DebugMemory.Test(ptr);
    #endif
}

Този код работи добре на Visual Studio 2008, но се провали на Visual Studio 2017, така че промених реда на операциите във втората функция.

Въпросът обаче е добър и проблемът съществува. Опитните инженери трябва да са наясно с това.