This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 119a. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
2025-12-20
[Accepted as a DR at the June, 2018 (Rapperswil) meeting.]
According to 11.4 [class.mem] paragraph 25,
If a standard-layout class object has any non-static data members, itsaddress is the same as the address of its first non-static datamember. Otherwise, its address is the same as the address of its first baseclass subobject (if any). [Note: There might therefore be unnamedpadding within a standard-layout struct object, but not at its beginning,as necessary to achieve appropriate alignment. —end note][Note: The object and its first subobject arepointer-interconvertible (6.9.4 [basic.compound],7.6.1.9 [expr.static.cast]). —end note]
This wording does not consider the case when the first non-staticdata member is a bit-field, which cannot have its address taken.
Proposed resolution, February, 2018: [SUPERSEDED]
Change 11.4 [class.mem] paragraph 25 as follows:
If a standard-layout class object has any non-static data members, itsaddress is the same as the address of its first non-static datamemberif that member is not a bit-field.Otherwise, itsIts address isalso the same as the addressofeach of itsfirstbase class subobjects(if any). [Note: There might therefore be unnamed paddingwithin a standard-layout struct objectinserted by animplementation, but not at its beginning, as necessary to achieveappropriate alignment. —end note] [Note: The object andits first subobject are pointer-interconvertible(6.9.4 [basic.compound], 7.6.1.9 [expr.static.cast]). —endnote]
Notes from the March, 2018 meeting:
It was pointed out that the definition of pointer interconvertibilityin 6.8.6.3 [basic.stc.thread] paragraph 4 refers to “the first baseclass subobject” of the object and must also be updated to reflectthe above proposed resolution.
Proposed resolution (March, 2018):
Change 6.9.4 [basic.compound] bullet 4.3 as follows:
Two objects a and b arepointer-interconvertible if:
...
one is a standard-layout class object and the other is the firstnon-static data member of that object, or, if the object has no non-staticdata members,
the firstany base class subobject ofthat object (11.4 [class.mem]), or...
Change 11.4 [class.mem] paragraph 25 as follows:
If a standard-layout class object has any non-static data members, itsaddress is the same as the address of its first non-static datamemberif that member is not a bit-field.Otherwise,itsIts address isalso the same as the addressofeach of itsfirstbase class subobjects(if any). [Note: There might therefore be unnamed paddingwithin a standard-layout struct objectinserted by animplementation, but not at its beginning, as necessary to achieveappropriate alignment. —end note] [Note: The object andits first subobject are pointer-interconvertible(6.9.4 [basic.compound], 7.6.1.9 [expr.static.cast]). —endnote]