Is it true that in the union of the object with the structure, which contains only one this object, they will definitely match each other?
<p>Is it true that by the standard, in the union of the object with the structure, which contains only one this object, they will definitely match each other?
And is the following code correctly for all types?</p>

<pre><code>#include &lt;iostream&gt;
using namespace std;

struct T {
  int a;
  float b;
  // many other types...
};

union T_union {
 T t1;
 struct T_owner {
  T t;
 } t2;
};

int main() {
    T_union un;
    un.t1.a = 10;
    cout &lt;&lt; un.t2.t.a &lt;&lt; endl; // I can always do that?

    return 0;
}
</code></pre>
