Punteros colgantes en C++

1. Punteros colgantes en C++
2. Ejemplo simple de punteros colgantes en C++

Este artículo discutirá qué es un puntero colgante.

Punteros colgantes en C++

Un puntero colgante es un puntero (referencia) a un objeto que ya no existe. Cuando se elimina el objeto, el puntero apunta a la dirección de memoria donde solía estar.

El puntero colgante no apunta a datos válidos y es inútil.

Un puntero colgante puede ocurrir cuando un programador se olvida de eliminar un espacio de memoria que se asignó previamente para un objeto. Esto puede suceder cuando un programador ha asignado demasiada memoria y no le queda suficiente espacio para todos los objetos que necesita, por lo que asigna más espacio y se olvida de la primera asignación.

Este error puede hacer que un programa se bloquee cuando dos punteros apuntan a la misma dirección de memoria y uno de ellos intenta acceder a ella.

Los punteros colgantes también se denominan pérdidas de memoria porque pierden memoria del montón. Un montón es una región de memoria donde residen los datos dinámicos y el programador puede asignarlos o desasignarlos a pedido.

Ejemplo simple de punteros colgantes en C++

Los punteros colgantes son peligrosos porque pueden causar todo tipo de comportamiento impredecible.

Un ejemplo típico será si el puntero colgante apunta a un área de la memoria donde se ha colocado otra pieza de datos a lo largo del tiempo. Un ejemplo es un valor en una lista que cambió después de que se creó el puntero colgante.

Si esto sucede y el puntero no tiene referencia, accederá a este nuevo valor y provocará un comportamiento impredecible.

El problema del puntero colgante a menudo se puede evitar utilizando punteros inteligentes en lugar de punteros sin formato. Un puntero inteligente es una clase que proporciona la misma interfaz que un puntero sin procesar, pero también elimina automáticamente el objeto apuntado cuando el puntero inteligente queda fuera del alcance y libera los recursos que utiliza.

Analicemos un código de ejemplo de punteros colgantes.

#include <iostream>
using namespace std;

int main() {
  int *pointer = new int;
  *pointer = 90;
  delete pointer;
  cout << pointer << endl;
}

Como ha visto en el código anterior, asignamos la ubicación de la memoria dinámica a la variable del puntero y almacenamos 90 en ella.

En la siguiente línea, eliminamos la memoria dinámica usando el operador eliminar, pero la variable puntero todavía apunta a la memoria dinámica. Esto es lo que es un puntero colgante.

Haga clic aquí para comprobar el funcionamiento del código anterior.