Lancia una struct T * a una struct C * comportamento non definito, se il primo campo di T è un C?

Question

Durante il tentativo di eseguire il debug di un problema che sto avendo con Speex, ho notato che (bene, non solo Speex, ma qualche esempio di codice pure) effettua le seguenti operazioni:

• Ritorna un puntatore a EncState da un funzione di inizializzazione
• Cast che puntatore a un puntatore nullo
• Conservare il puntatore nullo
• (altrove)
• cast del puntatore nullo a un puntatore a puntatore a SpeexMode
• dereference il puntatore

Accade così che la definizione di EncState inizia con un campo di tipo SpeexMode *, e quindi i valori interi di un puntatore al primo campo e un puntatore alla struttura capita di essere la stessa . Il dereferenziamento funziona in runtime.

Ma ... la lingua effettivamente lo consente? Il compilatore è libero di fare ciò che vuole se lo compila? Lanciare una struct T * a una struct C * comportamento non definito, se il primo campo di T è un C?

Answer 1

Dalla serie C11:

(C11 §6.7.2.1.15: "Un puntatore a un oggetto struttura, opportunamente convertito, indica suo membro iniziale ... e viceversa ci possono. essere imbottitura senza nome all'interno come oggetto la struttura, ma non al suo inizio . ")

il che significa che il comportamento che si vede è consentito e garantito.