Wann ist es legal, mit einem Zeiger auf einen Zeiger in C zu tippen?

Question

In einem C-Programm habe ich eine Struktur

typedef struct { 
    void *payload; // opaque, real type known to callbacks 

     ... some stuff ... 
} MiddleMan; 

Um etwas Furnier von Typsicherheit zu schaffen könnte ich

CbData *get_cb_data(const MiddleMan *mm){ return mm->payload; } 
void set_cb_data(MiddleMan *mm, CbData *cbd){ mm->payload = cbd; } 

Getter und Setter erstellen Oder ich kann versuchen, es mit einem einzigen, Zeiger zu tun -basierte Accessor

CbData **cb_data(MiddleMan *mm){return (CbData**)&mm->payload;} 

Nun ist die zweite Lösung sieht dodgier als die erste, und es schränkt auch Benutzer auf nicht-const mm auch wenn sie o will nur lesen. Aber meine Frage ist, ob es überhaupt legal C ist?

Ich bin mir ziemlich sicher, dass Sie damit auf jeder Architektur, wo void* ist die gleiche Größe & Format wie CbData*. Aber kann jemand klar begründen, warum das überhaupt gilt (oder nicht)?

Answer 1

Im Allgemeinen sollten Sie das nicht tun. A void** kann die unterschiedliche Ausrichtungsanforderung mit CbData** haben. Ein expliziter Cast kann die unterschiedliche Adresse erzeugen.

C Standard 6.2.5.27:

Ein Zeiger für ungültig zu erklären soll die gleiche Darstellung und Ausrichtung Anforderungen als ein Zeiger auf ein Zeichen type.39 haben) Ähnlich Zeiger auf qualifizierte oder unqualifizierte Versionen kompatibel Typen müssen die gleichen Darstellung und Ausrichtung Anforderungen haben. Alle Zeiger auf Strukturtypen müssen die gleiche Darstellung und Ausrichtung haben wie die Anforderungen. Alle Zeiger auf Union-Typen müssen gleiche Darstellungs- und Ausrichtungsanforderungen haben. Zeiger zu anderen Typen müssen nicht die gleiche Darstellung oder Ausrichtung Anforderungen haben.