Что такое свисающий указатель

Question

Я знаю, что это довольно распространенный вопрос, но все же новый для меня!

Я не понимаю понятия висячего указателя, искал его и писал методы тестирования , чтобы найти его ... Я просто удивляюсь, разве это висячий указатель? Как и любой другой пример, я возвращал что-то, здесь я пытаюсь что-то подобное! Спасибо!

void foo(const std::string name) 
{ 
    new_foo(name.c_str()); ///// will it be Dangling pointer?!, with comments/Answer 
          ///// it could be if in new_foo, I store name into Global. 
          ///// Why?! And what is safe then? 
} 

void new_foo(const char* name) 
{ 
    ... print name or do something with name... 
} 

Answer 1

висячей указатель является указателем, который указывает на недействительные данные или данные, которые не является действительным больше, например:

Class *object = new Class(); 
Class *object2 = object; 

delete object; 
object = nullptr; 
// now object2 points to something which is not valid anymore 

Это может произойти даже в стеке выделяется объектов:

Object *method() { 
    Object object; 
    return &object; 
} 

Object *object2 = method(); 
// object2 points to an object which has been removed from stack after exiting the function 

Указатель, возвращенный c_str, может стать недействительным, если строка впоследствии будет изменена или уничтожена. В вашем примере вы, кажется, не изменяете его, но, поскольку неясно, что вы собираетесь делать с const char *name, невозможно знать, что ваш код по своей сути безопасен или нет.

Например, если вы храните указатель где-то, а затем соответствующая строка уничтожается, указатель становится недействительным. Если вы используете const char *name только в области new_foo (например, для печати), то указатель останется в силе.

Answer 2

Висячий указатель - это (не-NULL) указатель, который указывает на нераспределенную (уже освобожденную) область памяти.

Приведенный выше пример должен быть правильным, если строка не изменяется с помощью new_foo.

Answer 3

В качестве стиля я объясняю висячий указатель как «указатель, который все еще существует, хотя объект, на который он указал, больше не существует».

В вашем случае указатель name существует для более короткого периода, на который указывает объект. Так что он никогда не болтается.

Внутри обычных классов C++ указатели на короткое время болтаются внутри деструкторов. Это потому, что инструкция delete находится перед последним } деструктора, в то время как сам указатель перестает существовать на последних }. Если вы не хотите беспокоиться об этом, используйте, например, unique_ptr<T>. Указатель T* будет очень долго болтаться в деструкторе unique_ptr::~unique_ptr, который совершенно безопасен.

Answer 4

Взято из here. Хотя, даже если это для C, это то же самое для C++.

оборванными Указатель

Если какой-либо указатель указывает на адрес памяти любой переменной, но после некоторой переменной удалила из этой ячейки памяти, в то время как указатель все еще указывает такую ​​ячейку памяти. Такой указатель известен как оборванный указатель, и эта проблема известна как проблема оборванных указателей.

Первоначально

Позже

Пример

#include<stdio.h> 

int *call(); 
int main(){ 

int *ptr; 
ptr=call(); 

fflush(stdin); 
printf("%d",*ptr); 
return 0; 
} 
int * call(){ 

int x=25; 
++x; 

return &x; 
} 

Выход будет мусором, поскольку переменная x является локальной переменной. Его область действия и время жизни находятся внутри вызова функции, поэтому после возврата адреса переменной x x стал мертвым, а указатель все еще указывает, что ptr все еще указывает на это местоположение.

Answer 5

Если какой-либо указатель указывает адрес памяти любой переменной, но после того, как какая-либо переменная удалилась из этой ячейки памяти, в то время как указатель все еще указывает на такую ​​ячейку памяти.

Этот указатель называется обвисшим указателем, и проблема, возникающая в это время, называется проблемой оборванных указателей.

Вот некоторые примеры: Dangling Pointer and dangling pointer problem