Risposta.

Storia della domanda: Nel linguaggio C, i puntatori sono variabili che memorizzano indirizzi di altri oggetti. È emerso un problema: come confrontare tali valori, visto che la memoria può essere distribuita in modo imprevedibile. Il linguaggio consente l'operazione di confronto tra puntatori, ma impone una serie di restrizioni affinché il comportamento rimanga definito.

Problema: È corretto confrontare tra loro solo puntatori a elementi dello stesso array o a uno stesso oggetto. Il confronto di puntatori che puntano a oggetti non correlati (variabili diverse o aree di memoria allocate che non appartengono allo stesso array) è un comportamento indefinito (undefined behavior).

Soluzione: Occorre evitare il confronto di puntatori tra aree di memoria non correlate, utilizzarli solo all'interno dello stesso array/stringa/buffer, e il confronto con NULL è sicuro.

Esempio di codice:

#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 punta a un elemento precedente dell'array rispetto a p2\n");
    }
}

Caratteristiche chiave:

La correttezza del confronto tra puntatori è determinata dalla loro appartenenza allo stesso oggetto.
Il confronto con NULL è sempre sicuro e utilizzato per verificare la validità.
Il confronto di puntatori su oggetti diversi porta a un comportamento indefinito.

Domande insidiose.

1. È possibile confrontare puntatori ottenuti tramite malloc che puntano a diverse aree di memoria?

No, confrontare tali puntatori non è consentito: il comportamento non è definito dal standard. È consentito confrontare solo puntatori che puntano allo stesso blocco di memoria allocato o con NULL.

2. Cosa restituisce il confronto tra puntatori di tipo int e double, se puntano a variabili diverse ma hanno lo stesso valore numerico?**

Il confronto è possibile solo se entrambi i puntatori sono castati allo stesso tipo e puntano allo stesso oggetto. Se ciò non avviene, il risultato non è definito: gli indirizzi potrebbero avere valori identici, ma il standard non garantisce questo comportamento.

3. È corretto confrontare un puntatore al primo elemento di un array con un puntatore alla sua fine (ad esempio, arr e arr + N)?

Sì, è corretto. arr + N punta a un elemento immaginario che segue l'ultimo, e il compilatore garantisce che arr <= arr + N.

Errori tipici e anti-pattern

Confronto di puntatori su oggetti diversi
Analisi dell'ordine dei puntatori senza considerare l'appartenenza all'array
Utilizzazione dei risultati del confronto per organizzare la logica tra aree non correlate

Esempio dalla vita reale

Un dipendente ha deciso di implementare una funzione di confronto degli indirizzi per determinare "chi è stato creato prima" tra due strutture allocate in diverse porzioni di memoria.

Vantaggi:

Il codice funzionava sul suo computer

Svantaggi:

Su un'altra architettura alcuni puntatori erano risultati minori di altri, rendendo il comportamento del codice imprevedibile, e il bug si manifestava raramente e in modo casuale.

Dopo la revisione, è stata implementata una verifica dell'appartenenza dei puntatori a un unico blocco di memoria mediante l'allocazione di tutte le strutture in un buffer comune e il successivo confronto nei limiti consentiti.