C99: è possibile determinare in modo portabile se due puntatori puntano all'interno dello stesso aggregato?

Question

Nel c99, la mia comprensione è che confrontando due puntatori che non puntano all'interno dello stesso risultato aggregato nel comportamento non definito. Dato un aggregato A, un puntatore p_good che è noto per puntare all'interno di A, e un puntatore p_unknown che può o meno puntare all'interno di A, è possibile costruire un test portatile con un comportamento definito che determina se è sicuro confrontare p_good e p_unknown?

Ovviamente, questo test non può a sua volta cadere in contrasto con le restrizioni sul confronto dei puntatori.

Sospetto che la risposta sia "no", ma sarei felice di essere mostrato diversamente.

Answer 1

È commentato:

Un altro modo per inquadrare la questione sarebbe come questo: Considerata la definizione di un aggregato 'A' e un puntatore p, è possibile rispondere alla domanda 'fa punto p all'interno a' senza violare la regola sui test disuguaglianza di puntatori a diversi aggregati

l'unico modo che posso interpretare questo significato è che hai i un oggetto di tipo Aggregate type o un puntatore a uno. Allora la risposta è semplice:

pseudo-codice:

bool p_in_A = false; 
for (each element in Aggregate A) 
    if (&element == p) 
     p_in_A = true; 

Non v'è alcun modo per indicare se un puntatore vagante appartiene a un oggetto aggregato sconosciuta (o punti di "tra" elementi in un aggregato).