In a standard-layout union with an
active member
of struct type
T1, it is permitted to read a non-static
data member
m of another union member of struct type
T2
provided
m is part of the common initial sequence of
T1 and
T2;
the behavior is as if the corresponding member of
T1 were nominated
.