メモリのアライメントの問題

Question

このタイプのオブジェクトをスタックに作成すると、このオブジェクトのメモリが正しくアライメントされるという保証はありますか？

union my_union 
{ 
    int value; 
    char bytes[4]; 
}; 

charバイト[4]をスタックに作成して整数にキャストしようとすると、整列の問題が発生する可能性があります。その問題をヒープで作成することで回避できますが、ユニオンオブジェクトの保証はありますか？論理的にはあるはずですが、私は確認したいと思います。

ありがとうございました。

Answer 1

まあ、それはどういう意味ですか。

あなたが意味する場合：私は、互いに独立してそれらを使用することができるように

は、両方の労働組合のintとchar[4]メンバーが適切に整列されますか？

はい。あなたが意味する場合：私はchar[4]を通じてintの個々のバイトにアクセスできるように

はintとchar[4]メンバーは、同じ量の空間を占有するために整列されることが保証されますか？

次に、 sizeof(int)は4であることが保証されていないためです。intが2バイトの場合、charの要素のどれがunionのint（標準は指定されていません）に対応するでしょうか？あなたがintの個々のバイトにアクセスするために労働組合を使用したい場合は

、これを使用する：各メンバーが同じサイズである

union { 
    int i; 
    char c[sizeof(int)]; 
}; 

ので、それらが同じスペースを占有することが保証されています。これは私があなたが知りたいと思っていることであり、私はそれに答えることを願っています。

Answer 2

そうでなければ、組合はまったく役に立たないでしょう。