Quando è legale digitare type-pun usando un puntatore a puntatore in C?

Question

In un programma C Ho una struct

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

     ... some stuff ... 
} MiddleMan; 

di creare qualche parvenza di tipo di sicurezza che potrei creare getter e setter

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

Oppure posso provare a farlo con una sola, puntatore di accesso basata su

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

ora la seconda soluzione sembra dodgier rispetto alla prima, e limita inoltre agli utenti di non-const mm anche se o voglio solo leggere. Ma la mia domanda è se è addirittura legale C?

Sono abbastanza sicuro che è possibile farla franca su qualsiasi architettura in cui lo void* è della stessa dimensione del formato & come CbData*. Ma qualcuno può dare un chiaro ragionamento sul perché questo sia (o non sia) valido in generale?

Answer 1

Generalmente, non dovresti farlo. Un void** potrebbe avere i diversi requisiti di allineamento con CbData**. Un cast esplicito può produrre il diverso indirizzo.

standard C 6.2.5.27:

Un puntatore a void avrà la stessa rappresentazione e allineamento requisiti un puntatore a una type.39 carattere) Analogamente, puntatori alle versioni qualificato o non qualificato di compatibili i tipi devono avere gli stessi requisiti di rappresentazione e allineamento. Tutti i puntatori ai tipi di struttura devono avere la stessa rappresentazione e allineamento i requisiti tra loro. Tutti i puntatori ai tipi di unione devono avere lo stesso requisiti di allineamento e di rappresentazione reciproci. I puntatori ad altri tipi non devono avere la stessa rappresentazione o allineamento requisiti.