メモリアライメント保証

Question

次のコードは、クロスコンパイル可能ですか？言い換えれば

struct Foo { 
    alignas(1) char c1; 
    alignas(1) char c2; 
    alignas(4) int i; 
}; 
static_assert(sizeof(Foo) == (sizeof(int) + 4), "No cross-compilable"); 

は、それがどのようなアーキテクチャ/プラットフォーム用のsizeof(Foo) == (sizeof(int) + 4)ことが保証されていますか？

Answer 1

保証されていません。これは今日の多くのアーキテクチャーで機能しますが、8バイトの境界（8バイトの境界に整列）のシステムでは、これは機能しません。しかし、この場合、intにあまり厳密ではない整列を適用しようとしているので、コンパイラー診断を取得する必要があります。 [dcl.align]を参照してください。