＞よって、同じメモリの割り当てをされると結論づけられるとでも思ってるの？

じゃないと、

A a;
A b;

memcmp(&a,&b,sizeof(A));

とか出来なくなりますよね。