Wirf eine Struktur T * auf ein strukturiertes C * undefiniertes Verhalten, wenn Ts erstes Feld ein C ist?

Question

Bei dem Versuch, ein Problem zu debuggen Ich habe Speex verwenden, bemerkte ich, dass es (na ja, nicht nur speex, aber einige Beispiel-Code als auch) macht folgendes:

• einen Zeiger von ein bis EncState Initialisierungsfunktion
• Besetzung, die Zeiger auf einen Zeiger Hohlraum
• Shop der Hohlraum Zeiger
• (anderswo)
• den Hohlraum Zeiger auf einen Zeiger zu gieße SpeexMode auf Zeiger
• die Zeiger dereferenzieren

kommt es vor, so dass die Definition der EncState mit einem Feld des Typ SpeexMode * beginnt, und so ist die ganzzahligen Werte von einem Zeiger auf das erste Feld und einen Zeiger auf die Struktur passieren, das gleiche sein . Die Dereferenzierung funktioniert zur Laufzeit.

Aber ... erlaubt die Sprache das tatsächlich? Kann der Compiler tun, was er will, wenn er das kompiliert? Wirf eine Struktur T * in ein strukturiertes C * undefiniertes Verhalten, wenn Ts erstes Feld ein C ist?

Answer 1

Vom C11 Standard:

(C11 §6.7.2.1.15: „Ein Zeiger auf ein Strukturobjekt, in geeigneter Weise umgewandelt, weist auf seinen Anfangsglied ... und vice versa Es kann. unbenannte Polsterung sein innerhalb als Strukturobjekt, aber nicht an seinem Anfang. ")

Was bedeutet, dass das Verhalten, das Sie sehen, ist erlaubt und garantiert.