По завершении работы функции или при выходе из блока, хранилище (storage, область памяти в которой располагаются объекты) для объектов с автоматической продолжительностью хранения (automatic storage duration, обычные локальные переменные) перестаёт существовать.
Любой указатель, указывавший на любой байт уничтоженного хранилища, принимает невалидное значение (invalid pointer value). Разыменование невалидного указателя и передача его в функцию освобождения памяти приводят к неопределённому поведению (undefined behavior).
Любое другое использование невалидного указательного значения приводит к поведению, определяемому реализацией (implementation-defined behavior). Например, копирование такого значения (int *b = one();
) может приводить к аварийному завершению работы программы.
basic.stc.general / 4:
When the end of the duration of a region of storage is reached, the values of all pointers representing the address of any part of that region of storage become invalid pointer values.
Indirection through an invalid pointer value and passing an invalid pointer value to a deallocation function have undefined behavior.
Any other use of an invalid pointer value has implementation-defined behavior.26
- Some implementations might define that copying an invalid pointer value causes a system-generated runtime fault.
Рассмотрим код:
#include <iostream>
#include <cstring>
using std::cout; using std::endl;
int main()
{
int* a = nullptr;
int* b = nullptr;
{
int x = 0;
a = &x;
}
{
int x = 0;
b = &x;
}
cout << std::boolalpha;
cout << ( a == b ) << endl;
cout << ( std::memcmp(&a, &b, sizeof(a)) == 0 ) << endl;
}
Возможный вывод (g++):
false
true
Программа конечно свою работу аварийно не завершила, но от этого не легче. Два невалидных указателя одновременно равны и не равны друг другу...