Respuesta.

Historia de la cuestión:

La aritmética de punteros surgió en el lenguaje C para asegurar un manejo eficiente de la memoria, matrices y estructuras. Está estrechamente relacionada con la direccionamiento de memoria y cómo C opera en el nivel más bajo: sumar o restar de un puntero permite acceder a elementos secuenciales de una matriz.

Problema:

La principal dificultad radica en que la aritmética de punteros no es equivalente a la aritmética de números: sumar 1 a un puntero lo incrementa en el tamaño del tipo al que apunta. Los errores clásicos incluyen el desbordamiento de matriz, trabajar con punteros de tipos incompatibles y realizar cálculos con void *.

Solución:

Siempre considerar el tamaño del tipo al trabajar con punteros, evitar cálculos algebraicos con void*, controlar los límites de la matriz. Para acceder a un elemento de la matriz, usar indexación o punteros calculados, verificando previamente los límites.

Ejemplo de código:

#include <stdio.h>
int main() {
   int arr[5] = {1, 2, 3, 4, 5};
   int *p = arr;
   printf("%d\n", *(p + 2)); // 3
   // Inválido: p + 10 excede los límites de la matriz
   return 0;
}

Características clave:

Sumar a un puntero incrementa la dirección en sizeof(tipo), no en byte
Solo se pueden comparar punteros que apuntan a elementos de la misma matriz
La aritmética con void* es indeseable (con excepciones de algunas extensiones de GNU)

Preguntas con trampa.

¿Se puede sumar a un puntero un valor del tipo float o variables de otros tipos?

No, solo se pueden sumar o restar valores enteros a punteros. Usar punto flotante resultará en un error de compilación.

*¿Devolverán siempre (arr + i) y arr[i] lo mismo, incluso si i excede los límites de la matriz?

No. Semánticamente son equivalentes, pero si el índice excede los límites de la matriz, ambas expresiones conducen a un comportamiento indefinido (undefined behavior).

¿Qué sucederá al restar punteros que apuntan a diferentes matrices?

El resultado no está definido por el estándar y se considera un error. Solo se pueden restar punteros que estén dentro de la misma matriz (o memoria asignada en un solo bloque).

Errores comunes y anti-patrones

Exceder los límites de la matriz al trabajar con punteros (buffer overrun)
Realizar aritmética con void* sin conversión explícita
Usar punteros para acceder a memoria que ya ha sido liberada

Ejemplo de la vida real

En el código, el desarrollador utiliza aritmética de punteros para recorrer la matriz:

Ventajas:

Más rápido que la indexación en algunas arquitecturas.

Desventajas:

Al mismo tiempo, olvidó verificar los límites, lo que provocó una corrupción de memoria (segmentation fault).

En la versión refactorizada se utilizan verificaciones explícitas de límites en cada paso: