Respuesta.

Historia de la pregunta: En el lenguaje C, los punteros son variables que almacenan direcciones de otros objetos. Surgió el problema: ¿cómo comparar tales valores, ya que la memoria puede estar distribuida de la manera más impredecible? El lenguaje permite la operación de comparación entre punteros, pero impone una serie de restricciones para que el comportamiento siga siendo definido.

Problema: Solo se pueden comparar correctamente punteros a elementos del mismo arreglo o a un mismo objeto. Comparar punteros que apuntan a objetos no relacionados (diferentes variables o áreas de memoria asignadas que no pertenecen al mismo arreglo) es un comportamiento indefinido (undefined behavior).

Solución: Es necesario evitar comparar punteros entre áreas de memoria no relacionadas, usarlos solo dentro de un mismo arreglo/cadena/búfer, y la comparación con NULL es siempre segura.

Ejemplo de código:

#include <stdio.h>

int main() {
    int arr[5] = {1, 2, 3, 4, 5};
    int *p1 = &arr[1];
    int *p2 = &arr[3];

    if (p1 < p2) {
        printf("p1 apunta a un elemento anterior del arreglo que p2\n");
    }
}

Características clave:

La corrección de la comparación de punteros se determina por su pertenencia al mismo objeto.
La comparación con NULL siempre es segura y se usa para verificar la validez.
Comparar punteros a diferentes objetos conduce a un comportamiento indefinido.

Preguntas engañosas.

1. ¿Se pueden comparar punteros obtenidos a través de malloc que apuntan a diferentes bloques de memoria?

No, no se pueden comparar tales punteros: el comportamiento no está definido por el estándar. Solo se permite comparar punteros a un mismo bloque de memoria asignado o con NULL.

2. ¿Qué devuelve la comparación de punteros de tipo int y double, si apuntan a diferentes variables pero tienen el mismo valor numérico?**

La comparación solo es posible si ambos punteros se han convertido al mismo tipo y apuntan al mismo objeto. Si no es así, el resultado no está definido: los valores de las direcciones pueden ser iguales, pero el estándar no garantiza este comportamiento.

3. ¿Es correcto comparar un puntero al primer elemento de un arreglo con un puntero a su final (por ejemplo, arr y arr + N)?

Sí, esto es correcto. arr + N apunta a un elemento imaginario que sigue al último, y el compilador garantiza que arr <= arr + N.

Errores comunes y anti-patrones

Comparar punteros a diferentes objetos
Analizar el orden de los punteros sin tener en cuenta la pertenencia al arreglo
Usar los resultados de comparación para organizar la lógica entre áreas no relacionadas

Ejemplo de la vida real

Un empleado decidió implementar una función para comparar direcciones para determinar "qué se creó primero" entre dos estructuras asignadas de diferentes bloques de memoria.

Ventajas:

El código funcionó en su computadora

Desventajas:

En otra arquitectura, algunos punteros resultaron ser menores que otros, el resultado del código se volvió impredecible, el error se presentó rara y aleatoriamente.

Después de la revisión, se implementó una verificación del pertenencia de los punteros a un mismo bloque de memoria al asignar todas las estructuras en un búfer común y luego comparar dentro de los límites permitidos.