C99: Ist es möglich, portabel zu bestimmen, ob zwei Zeiger innerhalb desselben Aggregats zeigen?

Question

In c99, mein Verständnis ist, dass der Vergleich von zwei Zeigern, die nicht innerhalb der gleichen Aggregat zeigen, zu undefiniertem Verhalten führt. Gegeben ein Aggregat A, ein Zeiger p_good, von dem bekannt ist, dass er in A zeigt, und einen Zeiger p_unknown, der in A zeigen oder nicht zeigen kann, ist es möglich, einen tragbaren Test mit definiertem Verhalten zu konstruieren, der bestimmt, ob p_good und p_unknown?

Offensichtlich kann dieser Test nicht selbst in Konflikt mit den Einschränkungen beim Vergleichen von Zeigern fallen.

Ich vermute, dass die Antwort "Nein" ist, aber ich wäre glücklich, anders gezeigt zu werden.

Answer 1

kommentiert:

Ein anderer Weg, um die Frage, wie das wäre zu gestalten: die Definition eines Aggregat ‚A‘ und ein Zeiger p gegeben ist es möglich, die Frage, ‚tut p Punkt zu beantworten innerhalb A‘ohne die Regel auf Ungleichheit Testen von Zeigern auf verschiedene Aggregate zu verletzen

die einzige Art, wie ich dies sinnvoll interpretieren kann, ist, dass Sie entweder ein Objekt vom Typ haben Aggregate type oder einen Zeiger auf ein. Dann ist die Antwort einfach:

Pseudo-Code:

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

Es gibt keine Möglichkeit zu sagen, ob ein Streu Zeiger auf ein unbekanntes Aggregate Objekt gehört (oder Punkte „zwischen“ Elementen in einem Aggregate).