読み方：
この記事はかなり長いです。集約とPOD（プレーンな古いデータ）の両方について知りたい場合は、時間をかけて読んでください。集計だけに関心がある場合は、最初の部分のみを読んでください。PODのみに関心がある場合は、最初に集計の定義、影響、および例を読む必要があります。その後、PODにジャンプできますが、最初の部分全体を読むことをお勧めします。集約の概念は、PODを定義するために不可欠です。エラー（文法、文体、書式、構文などを含む）が見つかった場合は、コメントを残してください。編集します。
この回答はC ++ 03に適用されます。他のC ++標準については、以下を参照してください。
集合体とは何か、なぜそれらが特別なのか
C ++標準からの正式な定義（C ++ 03 8.5.1§1）：
集約は、ユーザー宣言コンストラクター（12.1）、プライベートまたは保護された非静的データメンバー（句11）、基本クラス（句10）、仮想関数（10.3）のない配列またはクラス（句9）です。 ）。
それでは、この定義を解析してみましょう。まず、どの配列も集合体です。次の場合、クラスは集合体になることもできます。構造体や共用体については何も言われていません。それらは集合体になりませんか？はい、できます。C ++では、この用語classはすべてのクラス、構造体、および共用体を指します。したがって、クラス（または構造体、共用体）は、上記の定義の基準を満たす場合にのみ、集合体になります。これらの基準は何を意味しますか？
これは、集約クラスがコンストラクターを持つことができないことを意味しません。実際には、ユーザーによって明示的にではなく、コンパイラーによって暗黙的に宣言されている限り、デフォルトのコンストラクターやコピーコンストラクターを持つことができます。
プライベートまたは保護された非静的データメンバーはありません。プライベートクラスおよび保護されたメンバー関数（コンストラクターを除く）だけでなく、プライベートクラスまたは保護された静的データメンバーおよびメンバー関数も、必要に応じていくつでも持つことができ、集約クラスのルールに違反しません。
集約クラスには、ユーザー宣言/ユーザー定義のコピー割り当て演算子やデストラクタを含めることができます
配列は、非集合クラス型の配列であっても集合です。
次に、いくつかの例を見てみましょう。
class NotAggregate1
{
virtual void f() {} //remember? no virtual functions
};
class NotAggregate2
{
int x; //x is private by default and non-static
};
class NotAggregate3
{
public:
NotAggregate3(int) {} //oops, user-defined constructor
};
class Aggregate1
{
public:
NotAggregate1 member1; //ok, public member
Aggregate1& operator=(Aggregate1 const & rhs) {/* */} //ok, copy-assignment
private:
void f() {} // ok, just a private function
};
あなたはアイデアを得ます。次に、集計が特別な方法を見てみましょう。非集計クラスとは異なり、中括弧で初期化できます{}。この初期化構文は配列でよく知られていますが、これらは集約であることを学びました。それでは、それらから始めましょう。
Type array_name[n] = {a1, a2, …, am};
if（m == n）配列の
i番目の要素はa iで初期化され
ますelse if（m <n）
配列の最初のm要素は 1、a 2、…、a mおよびその他のn - m要素で初期化されます可能であれば、値を初期化します（用語の説明については以下を参照してください）
else if（m> n）
コンパイラはエラー
else を発行します（これは、nがのようにまったく指定されていない場合int a[] = {1, 2, 3};）
のサイズ配列（n）はmに等しいと仮定されるため、int a[] = {1, 2, 3};と同等です。int a[3] = {1, 2, 3};
スカラー型のオブジェクト（場合bool、int、char、double、ポインタ、等）がある値に初期化それがで初期化されている手段0（そのタイプのfalseためbool、0.0用double等）。ユーザー宣言のデフォルトコンストラクターを持つクラスタイプのオブジェクトが値で初期化されると、そのデフォルトコンストラクターが呼び出されます。デフォルトのコンストラクタが暗黙的に定義されている場合、すべての非静的メンバーは再帰的に値で初期化されます。この定義は不正確で少し不正確ですが、基本的な考え方がわかるはずです。参照を値で初期化することはできません。非適切なクラスの値の初期化は、たとえば、クラスに適切なデフォルトのコンストラクタがない場合に失敗する可能性があります。
配列の初期化の例：
class A
{
public:
A(int) {} //no default constructor
};
class B
{
public:
B() {} //default constructor available
};
int main()
{
A a1[3] = {A(2), A(1), A(14)}; //OK n == m
A a2[3] = {A(2)}; //ERROR A has no default constructor. Unable to value-initialize a2[1] and a2[2]
B b1[3] = {B()}; //OK b1[1] and b1[2] are value initialized, in this case with the default-ctor
int Array1[1000] = {0}; //All elements are initialized with 0;
int Array2[1000] = {1}; //Attention: only the first element is 1, the rest are 0;
bool Array3[1000] = {}; //the braces can be empty too. All elements initialized with false
int Array4[1000]; //no initializer. This is different from an empty {} initializer in that
//the elements in this case are not value-initialized, but have indeterminate values
//(unless, of course, Array4 is a global array)
int array[2] = {1, 2, 3, 4}; //ERROR, too many initializers
}
ここで、中括弧で集約クラスを初期化する方法を見てみましょう。ほぼ同じです。配列要素の代わりに、クラス定義での出現順に非静的データメンバーを初期化します（定義によりすべてパブリックです）。メンバーよりも少ない初期化子がある場合、残りは値で初期化されます。明示的に初期化されていないメンバーの1つを値初期化することが不可能な場合は、コンパイル時エラーが発生します。イニシャライザが必要以上に多い場合、コンパイル時エラーも発生します。
struct X
{
int i1;
int i2;
};
struct Y
{
char c;
X x;
int i[2];
float f;
protected:
static double d;
private:
void g(){}
};
Y y = {'a', {10, 20}, {20, 30}};
上記の例でy.c用いて初期化される'a'、y.x.i1と10、y.x.i2と20、y.i[0]と20、y.i[1]と30とy.f値初期化、で初期化されます0.0。保護された静的メンバーdはなので、まったく初期化されませんstatic。
集計ユニオンは、最初のメンバーのみを中括弧で初期化できるという点で異なります。ユニオンの使用を検討するのに十分な高度なC ++を使用している場合（その使用は非常に危険であり、慎重に検討する必要があります）、標準でユニオンのルールを調べることができると思います:)。
集計の何が特別なのかがわかったところで、クラスの制限を理解してみましょう。つまり、なぜ彼らがそこにいるのか。中括弧を使用したメンバーごとの初期化は、クラスがそのメンバーの合計に過ぎないことを意味することを理解する必要があります。ユーザー定義コンストラクタが存在する場合は、ユーザーがメンバーを初期化するために追加の作業を行う必要があるため、ブレースの初期化は正しくありません。仮想関数が存在する場合、これは、このクラスのオブジェクトが（ほとんどの実装で）コンストラクターで設定されるクラスのいわゆるvtableへのポインターを持っていることを意味するため、ブレース初期化では不十分です。残りの制限は、演習と同様の方法で理解できます。
集計については十分です。これで、より厳密なタイプのセット、つまりPODを定義できます
PODとは何か、なぜPODが特別なのか
C ++標準からの正式な定義（C ++ 03 9§4）：
POD構造体は、非POD構造体、非PODユニオン（またはそのような型の配列）、または参照のタイプの非静的データメンバーがなく、ユーザー定義のコピー割り当て演算子とユーザー定義のデストラクタ。同様に、PODユニオンは、非POD構造体、非PODユニオン（またはそのようなタイプの配列）、または参照のタイプの非静的データメンバーがなく、ユーザー定義のコピー代入演算子がない集約ユニオンです。ユーザー定義のデストラクタはありません。PODクラスは、POD構造体またはPODユニオンのいずれかであるクラスです。
これは解析が難しいですね。:)ユニオンを（上記と同じ理由で）除外し、少し明確に言い換えましょう。
集約クラスは、ユーザー定義のコピー割り当て演算子とデストラクタがなく、非静的メンバーが非PODクラス、非PODの配列、または参照でない場合、PODと呼ばれます。
この定義は何を意味しますか？（私はPODがPlain Old Dataの略であることを言及しましたか？）
- すべてのPODクラスは集合体です。逆に言えば、クラスが集合体でない場合は、PODではありません。
- クラスは、構造体と同様に、標準的な用語がどちらの場合もPOD構造体であっても、PODになることができます。
- 集計の場合と同様に、クラスがどの静的メンバーを持っているかは関係ありません
例：
struct POD
{
int x;
char y;
void f() {} //no harm if there's a function
static std::vector<char> v; //static members do not matter
};
struct AggregateButNotPOD1
{
int x;
~AggregateButNotPOD1() {} //user-defined destructor
};
struct AggregateButNotPOD2
{
AggregateButNotPOD1 arrOfNonPod[3]; //array of non-POD class
};
PODクラス、PODユニオン、スカラー型、およびそのような型の配列は、まとめてPODタイプと呼ばれます。
PODは多くの点で特別です。いくつか例を挙げます。
PODクラスはCの構造体に最も近いものです。それらとは異なり、PODはメンバー関数と任意の静的メンバーを持つことができますが、これら2つのどちらもオブジェクトのメモリレイアウトを変更しません。したがって、Cや.NETからも使用できる多かれ少なかれ移植可能な動的ライブラリを作成したい場合は、エクスポートされたすべての関数がPOD型のパラメータのみを取得して返すようにする必要があります。
非PODクラスタイプのオブジェクトの存続期間は、コンストラクタが終了したときに始まり、デストラクタが終了したときに終了します。PODクラスの場合、存続期間はオブジェクトのストレージが占有されると始まり、そのストレージが解放または再利用されると終了します。
PODタイプのオブジェクトの場合、標準によって、memcpyオブジェクトのコンテンツをcharまたはunsigned charの配列にしてからコンテンツをオブジェクトにmemcpy戻すと、オブジェクトは元の値を保持することが保証されます。非PODタイプのオブジェクトについては、そのような保証がないことに注意してください。また、を使用してPODオブジェクトを安全にコピーできますmemcpy。次の例では、TがPODタイプであると想定しています。
#define N sizeof(T)
char buf[N];
T obj; // obj initialized to its original value
memcpy(buf, &obj, N); // between these two calls to memcpy,
// obj might be modified
memcpy(&obj, buf, N); // at this point, each subobject of obj of scalar type
// holds its original value
gotoステートメント。ご存知かもしれませんが、変数がまだスコープ内にないポイントから、すでにスコープ内にあるポイントにgotoを介してジャンプすることは違法です（コンパイラーはエラーを発行する必要があります）。この制限は、変数が非PODタイプの場合にのみ適用されます。次の例ではf()は、g()整形式ですが、整形式です。Microsoftのコンパイラはこのルールに寛大すぎることに注意してください。両方の場合に警告を発行するだけです。
int f()
{
struct NonPOD {NonPOD() {}};
goto label;
NonPOD x;
label:
return 0;
}
int g()
{
struct POD {int i; char c;};
goto label;
POD x;
label:
return 0;
}
PODオブジェクトの先頭にはパディングがないことが保証されています。つまり、PODクラスAの最初のメンバーがタイプTの場合、安全にreinterpret_castからA*のT*第1部材およびその逆へのポインタを取得します。
リストはどんどん続きます…
結論
ご覧のように、多くの言語機能は動作が異なるため、PODが正確に何であるかを理解することが重要です。