オブジェクトへのポインタ==最初のメンバへのポインタ？

Question

次のコードのif条件がtrueになるのはなぜですか？

struct A 
{ 
    int firstMember; 
} a1; 

if (&a1 == static_cast<void*>(&a1.firstMember)) std::cout << "equal"; 

空のクラスは、以下の特別声明にStroustrup's FAQを読んだとき、私は少し混乱しました：

if (p1 == p2) cout << "nice: good optimizer"; 

Answer 1

あなたのコードに関わる一切の言及はありません。 "アドレスの"演算子（また&）と参照を混同しないでください。

この場合、オブジェクトは最初の（かつ唯一の）フィールドとしてメモリ内の同じ場所で開始されるため、条件がtrueを返します。つまり、いわゆるPOD（plain-old-data）オブジェクトの場合ですが、必ずしもそうではありません。

たとえば、クラスに仮想関数が含まれていると条件がfalseになる可能性があります。それに頼らないでください。

Answer 2

リファレンスはC++のポインタとよく似ています。変数への参照を取得すると、その変数のメモリ内の場所を尋ねてきます。この場合、a1の最初の情報をa1自体と比較しています。これはこれがうまくいく特定のケースであり、あなたが頼りにするべきものではありません。

Answer 3

参照演算子は、メンバを含むメモリアドレスへのポインタを返す。

ここで、a1はfirstMemberのみを含むクラスなので、メモリ内の構造はその要素です。メモリ内のa1の先頭はfirstMemberの先頭と同じです。

Answer 4

はい、あなたはそれに頼ることはできません。特に、64ビットOSでは、コンパイラがメモリ内のアラインメントを考慮してアドレスを調整することがあります。