C99: ¿Es posible determinar de manera portable si dos punteros apuntan dentro del mismo agregado?

Question

En c99, tengo entendido que comparar dos punteros que no apuntan dentro del mismo resultado agregado en un comportamiento indefinido. Dado un agregado A, un puntero p_good que se sabe que apunta dentro de A, y un puntero p_conocido que puede apuntar o no dentro de A, es posible construir una prueba portátil con un comportamiento definido que determine si es seguro comparar p_good y p_unknown?

Obviamente, esta prueba no puede en sí misma entrar en conflicto con las restricciones de la comparación de punteros.

Sospecho que la respuesta es 'no', pero estaría encantado de que se muestre lo contrario.

Answer 1

Ha comentado:

Otra forma de enmarcar la pregunta sería la siguiente: Teniendo en cuenta la definición de un agregado 'A' y un puntero p, es posible responder a la pregunta 'hace punto p dentro de un' sin violar la regla en las pruebas de la desigualdad de punteros a diferentes agregados

la única manera de que pueda interpretar esta significativa es que o bien tiene un objeto de tipo Aggregate type o un puntero a uno. Entonces la respuesta es sencilla:

pseudo-código:

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

No hay manera de saber si un puntero callejero pertenece a un objeto agregado desconocida (o puntos de "entre" elementos en un agregado).