Kiedy można legalnie pisać przy użyciu wskaźnika do wskaźnika w C?

Question

W programie C Mam struct

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

     ... some stuff ... 
} MiddleMan; 

Aby stworzyć pewne pozory typu bezpieczeństwa mógłbym stworzyć pobierające i ustawiające

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

Albo mogę spróbować zrobić to z jednym, wskaźnik -na accessor

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

obecnie drugim rozwiązania wygląda dodgier niż pierwszy, a także ogranicza użytkowników do const mm nawet jeśli oni o raczej chcę czytać. Ale moje pytanie brzmi, czy to nawet legalne C?

Jestem prawie pewien, że możesz sobie z tym poradzić w każdej architekturze, w której void* ma ten sam rozmiar co format & jako CbData*. Ale czy ktoś może jasno uzasadnić, dlaczego jest on (lub nie jest) w ogóle ważny?

Answer 1

Generalnie nie powinieneś tego robić. A void** może mieć różne wymagania dotyczące wyrównania z CbData**. Wyraźna obsada może wytworzyć inny adres.

C średnia 6.2.5.27:

Wskaźnik do unieważnienia mają taką samą reprezentację i wyrównanie Wymogi jako wskaźnik do type.39 znaków) Podobnie wskaźniki uprawnionych lub niewykwalifikowanych wersje kompatybilne typy muszą mieć takie same wymagania odwzorowania i wyrównania. Wszystkie wskaźniki dla typów konstrukcji muszą mieć takie same wymagania odwzorowania i wyrównania, jak siebie nawzajem. Wszystkie wskaźniki dla typów związków muszą mieć takie same wymagania odwzorowania i wyrównania, jak siebie nawzajem. Wskaźniki do innych typów nie muszą mieć tej samej reprezentacji lub wymagań wyrównania .