Respuesta.

Historia de la cuestión:

Los punteros son una de las herramientas básicas en C++ desde la aparición del lenguaje, la base para la gestión de memoria y estructuras dinámicas, así como para la interacción con bibliotecas de sistema de bajo nivel. Las referencias fueron añadidas más tarde (con la aparición de C++) para simplificar la sintaxis y aumentar la seguridad del código.

Problema:

Los errores en el manejo de la memoria son uno de los problemas más comunes en C++, especialmente con el uso incorrecto de punteros (punteros colgantes, fugas de memoria). A veces, un principiante no entiende en qué casos utilizar una referencia y en cuáles un puntero, o erróneamente asume que son completamente intercambiables.

Solución:

Un puntero (T*) es una variable que almacena la dirección de un objeto, puede ser nullptr, soporta aritmética, permite la asignación y liberación dinámica, y también puede cambiar a qué apunta.

Una referencia (T&) es un alias de otro objeto existente. Las referencias deben ser inicializadas al crearse, no pueden ser "nulas" (referenciando null), no soportan aritmética, pero son convenientes y más seguras (por ejemplo, al pasarlas a funciones).

Ejemplo de código:

void increment_pointer(int* p) { if(p) ++(*p); }
void increment_reference(int& r) { ++r; }

int main() {
    int a = 5;
    increment_pointer(&a);
    increment_reference(a);
}

Características clave:

Los punteros se pueden redirigir, las referencias no.
Una referencia debe estar inmediatamente asociada con un objeto real, un puntero puede ser nullptr.
Las referencias son preferibles al pasar a una función, si no se puede usar una referencia, se utiliza un puntero.

Preguntas engañosas.

¿Se puede cambiar una referencia después de su inicialización para que apunte a otro objeto?

No. Una referencia en C++ es un alias constante. Después de la inicialización, la referencia siempre apuntará al mismo objeto, a diferencia de un puntero, que se puede redirigir.

Ejemplo de código:

int a = 1;
int b = 2;
int& ref = a;
// ref = b - asigna el valor de b, pero ref sigue apuntando a a.

¿Se puede crear una referencia "nula" o una referencia a nullptr?

No, el estándar no permite referencias a objetos no existentes. Esto lleva a un comportamiento indefinido.

Ejemplo:

int* p = nullptr;
// int& r = *p; - UB

¿Cuál es la diferencia entre int const ptr y const int ptr?**

int* const ptr es un puntero constante a int (el puntero no se puede redirigir, pero el valor puede cambiar). const int* ptr es un puntero a un int constante (no se puede modificar el contenido al que apunta, pero el puntero se puede redirigir).

Ejemplo de código:

int a = 1, b = 2;
const int* ptr1 = &a; // *ptr1 no se puede cambiar, ptr1 = &b - se puede.
int* const ptr2 = &a; // *ptr2 se puede cambiar, ptr2 = &b - no se puede.

Errores comunes y anti-patrones

Uso de referencias a valores temporales o a objetos ya eliminados.
Redistribución de memoria sin reasignar punteros.
Referencia "nula" — UB.

Ejemplo de la vida real

Caso negativo

Un joven desarrollador utilizó punteros para pasar parámetros, no verificó si eran nullptr, y obtenía cierres inesperados cuando ocurrían errores.

Ventajas:

Funcionó hasta que surgieron errores.

Desventajas:

Caídas poco obvias en caso de llamadas incorrectas.
Dificultad para rastrear errores.

Caso positivo

Un desarrollador experimentado utilizó int& cuando la transmisión está garantizada, y int* cuando era posible que fuese nullptr, verificando siempre el puntero en busca de null.