C++の非POD型でsizeof演算子を使用するのは安全ですか

Question

C++の非POD型でsizeof演算子を使用するのは安全ですか？この値は、すべてのメンバーのサイズよりも大きいか等しいでしょうか？

Answer 1

もちろん安全です。また、sizeofはコンパイル時にと評価されています。

sizeof非PODタイプは、空の基底クラスの最適化を除いて、すべてのメンバのサイズの合計よりもより小さくはなりません。

梱包の手配と、メンバーを持たないクラスが非ゼロのsizeofを有するという事実のために、すべてのメンバーのサイズの合計よりも、である可能性があります。

Answer 2

はい。 Sizeofは、オブジェクトを保持するのに十分なバイト数を返すことが保証されています。パディングやその他のタイプの「非表示」フィールド（シリアル化するためのパディングなど）が保証されます。

コンパイル時に評価されるのはおそらく唯一の警告ですが、それは多態性ではありません。 、

class Base 
{ 
    int x; 
}; 

class Derived : public Base 
{ 
    int y; 
}; 

int main() 
{ 
    Base* k = new Derived; 

    return sizeof(*k)/sizeof(int); 
} 

戻り1いうより2ある 、それはそれは、オブジェクトが実際に実行時にDerivedであってもその仮型Baseに評価されています。

Answer 3

ワーキングドラフト、[5.3.3/2]によれば：クラスに適用される場合

、結果は、アレイ内のそのタイプのオブジェクトを配置するために必要なパディングを含む、そのクラスのオブジェクトのバイト数であります。最も派生したクラスのサイズは0より大きくなければならない。基本クラスのサブオブジェクトにsizeofを適用すると、基底クラス型のサイズになります。

Here最後の文に関連する脚注：

基本クラスサブオブジェクトの実際のサイズが原因仮想基底クラスに、サブオブジェクトにはsizeofを適用した結果より少なく厳密であってもよいです基本クラスのサブオブジェクトに対するパディング要件。

だから：はい、それは安全であるとの結果がそのメンバーのすべてのより以上以下のサイズです。