構造体のメンバメモリレイアウト

Question

は：

struct S { 
    ANY_TYPE a; 
    ANY_TYPE b; 
    ANY_TYPE c; 
} s; 

を無事以下の仮定は、常にすべてのプラットフォームで真であると想定することはできますか？

((char *)&s.a) < ((char *)&s.c) 
((char *)&s.a + sizeof(s.a) + sizeof(s.b)) <= ((char *)&s.c) 

C++でも？

Answer 1

はい、少なくともCです。コンパイラは構造体メンバの後ろに自由にパディングを挿入できますが、メンバの順序を変更しないでください。

最初のメンバーの前にパディングを挿入する必要もありません。 C99、6.7.2.1から

：ビットフィールドは、それらの順序で増加アドレスを持って存在する構造物、非ビットフィールドメンバーとユニット内

13/宣言されている。適切に変換された構造体オブジェクトへのポインタは、その最初のメンバ（またはそのメンバがビットフィールドの場合はそれが存在するユニット）を指し、逆の場合も同様です。構造体オブジェクト内に無名のパディングがあるかもしれませんが、最初はありません。

15/構造体または共用体の最後に名前のないパディングがある可能性があります。

Answer 2

C++では、これらの前提が確実に成り立つことがあります。このような構造体では、コンパイラはメンバの順序を変更できません。

Answer 3

はい、デフォルトでは、C++コンパイラは両方のステートメントを自明にする構造体の要素を移動することはできません。

Answer 4

1. はい（ - Can sizeof return 0 (zero)を見る限りはsizeof（ANY_TYPE）がない0であるようにいくつかのコンパイラは非標準であり、それを可能にします）。あなたは< =で安全であるか、標準のコンパイラを想定しています。あまりに

2. はい

そしてC++インチ

ポインタの比較は、配列と構造体/クラスの内部でのみ意味があり、一般的ではありません。

Answer 5

これは構造体に当てはまりますが、アクセス指定子を導入するとすぐにC++で変更されます。コンパイラは、アクセス指定子で区切られたブロック全体を並べ替えることができます。