Gli elementi array contano come una sequenza iniziale comune?

Question

Sort of related to my previous question:

Gli elementi degli array vengono conteggiati come una sequenza iniziale comune?

struct arr4 { int arr[4]; }; 
struct arr2 { int arr[2]; }; 

union U 
{ 
    arr4 _arr4; 
    arr2 _arr2; 
}; 

U u; 
u._arr4.arr[0] = 0; //write to active 
u._arr2.arr[0]; //read from inactive 

Secondo this cppreference page:

In un'unione standard disposizione con un membro attivo della non unione tipo di classe T1, è permesso di leggere un non-statico membro di dati m di un'altra unione membro di classe non unione tipo T2 fornito m fa parte della sequenza iniziale comune di T1 e T2 ....

Questo sarebbe legale, o sarebbe anche punire tipo illegale?

Answer 1

C++ 11 dice (9.2):

Se un sindacato standard di layout contiene due o più struct standard di layout che condividono una sequenza iniziale comune, e se l'oggetto dell'unione standard di layout attualmente contiene una di queste strutture di layout standard, è consentito per ispezionare la parte iniziale comune di ognuna di esse. Due strutture di layout standard condividono una sequenza iniziale comune se i membri corrispondenti dispongono di tipi di layout compatibili e nessuno dei due è un campo di bit o entrambi campi di bit con la stessa larghezza per una sequenza di uno o più membri iniziali .

Quanto alla questione se le matrici di dimensioni diverse formano una sequenza iniziale comune valido, 3,9 dice:

Se due tipi T1 e T2 sono dello stesso tipo, quindi T1 e T2 sono tipi di layout compatibili

Questi array non sono dello stesso tipo, quindi questo non si applica. Non ci sono ulteriori eccezioni speciali per gli array, quindi gli array potrebbero non essere compatibili con il layout e non formare una sequenza iniziale comune.

In pratica, però, so di un compilatore (GCC) che:

• ignora la regola "comune sequenza iniziale", e
• permette digitare punning comunque, ma solo quando gli accessi sono "tramite il tipo di unione "(come nel tuo esempio), nel qual caso la regola" sequenza iniziale comune "è obbedita indirettamente (perché una" sequenza iniziale comune "implica un layout iniziale comune sulle architetture supportate dal compilatore).

Sospetto che molti altri compilatori adottino un approccio simile. Nel tuo esempio, in cui digiti tramite l'oggetto union, questi compilatori ti daranno il risultato atteso - la lettura dal membro inattivo dovrebbe darti un valore scritto tramite il membro inattivo.