同じ型レイアウトの変数の構造体は、その型の配列を含む構造体と互換性がありますか？

Question

これらの2つの構造体はレイアウトに対応していますか？

struct One { 
    float x, y, z; 
}; 

struct Two { 
    float c[3]; 
}; 

ように、この説明は（N3797からの）真とみなすことができるので、3台のフロートが含ま両方：タイプのレイアウト互換 ある

16 2つの標準レイアウト構造体（条項9）それらが同じ数の非静的データメンバーを持ち、 対応する非静的データメンバー（宣言順）が のレイアウト互換型（3.9）である場合。

N4659は異なるテキストを有する2つの標準的なレイアウト構造体（条項12） タイプの

共通の初期シーケンスは、非静的データメンバの最長シーケンスとbit-のfi ELDより でありますエンティティがビットマップフィールドであるか、またはその両方が同じ幅を有するビットフィールドであるかのいずれかであるような、構造体のそれぞれの最初のエンティティから始まる。

共通の初期シーケンスがすべてのメンバーで構成され、両方のクラス（6.9）のビットフィールドが の場合、2つの標準レイアウト構造（12節）タイプはレイアウト互換の クラスです。

答えは何されていない場合、彼らはその後、レイアウト互換性がありません：それは、委員会の意向でしたか？おそらく彼らはOneとTwoをレイアウト互換にしたいと思うかもしれません（委員会のメンバーがこれを読んで、明確にするかもしれません）。

---

ボーナスの質問：それは、sizeof(One)==sizeof(Two)を保証しますか？

Answer 1

まあ、ない：

[...]彼らは非静的データメンバの数が同じ場合は、[...]

Oneは3人のメンバーがあります：x、yを、およびz。 Twoのメンバーは、cです。それらは静的でないデータメンバーと同じ数を持たないため、レイアウトに適合しません。

---

新しい表現は異なりますが、同じ場所で終わります。 [basic.types]は、のようにレイアウトと互換性の定義：

二種類CV1 T1およびCV2のT2 T1及びT2は同じタイプ、レイアウト互換列挙、またはレイアウトと互換性標準レイアウト・クラス・タイプである場合、レイアウト互換型です。

[class.mem]レイアウト互換クラスを定義している：それらの共通の初期シーケンスは、すべてのメンバーとの両方のクラスのビットフィールドは、（[基本含む場合

2つの標準レイアウト構造体のタイプは、レイアウトと互換性のクラスです。タイプ]）。

共通の初期シーケンスである：

つの標準レイアウト構造体タイプの共通の初期シーケンスが始まる、宣言のために、非静的データメンバとビットフィールドの最長シーケンスであります対応するエンティティがレイアウト互換型を持ち、どちらもエンティティがビットフィールドでないか、または両方が同じ幅を持つビットフィールドであるように、各構造体の最初のエンティティです。ここ

、One（float x）の最初のメンバーは、レイアウト互換Two（float c[3]）の第一部材としないので、共通の初期シーケンスは空です。

Answer 2

コンパイラは、メンバー間で、classまたはstructにパディングを追加することができます。

配列要素は連続した位置にあります。

は、コンパイラがstructのメンバーを編成する仕方によってはレイアウト互換性がありません。