standard-layout classのささいな条件

standard-layout classのささいな条件

あるクラスがstandard-layout classの条件を満たしたときに保証される動作はいくつかあるが、その中でも...概要を表示 あるクラスがstandard-layout classの条件を満たしたときに保証される動作はいくつかあるが、その中でもとくに重要なものに、クラスのオブジェクトへのアドレスは、クラスの最初の非staticデータメンバーのサブオブジェクトへのアドレスに等しい。というものがある。 struct A { int x ; int y ; } ; A a ; A * a_ptr = &a ; int * ptr = reinterpret_cast<int *>( a_ptr ) ; この場合、ptrはa.xを指す。これは規格で保証されている。ちなみにこの時、++ptrがa.yを指す保証はない。なぜならば、実装はデータメンバーの間にpaddingを入れるかもしれないからだ。ともかく、このクラスのオブジェクトへのアドレスが、クラスの最初の非staticデータメンバーへのサブオブジェクトのアドレスに等しい

• c++