分かりましたね。では、集約がどう特別なのか見てみましょう。集約クラス以外のクラスとは異なり、集約は中括弧で初期化できます{}。この初期化構文は配列でよく知られており、これらが集約であることを学びました。それでは、集約から始めましょう。

Type array_name[n] = {a1, a2, …, am};

if(m == n)配列の
i^{番目の要素は}_{iで初期化されます}
。else if(m < n)
配列の最初の m 要素は₁、 a ₂、…、 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)を使用して初期化されることを意味します。ユーザー宣言のデフォルト コンストラクターを持つクラス型のオブジェクトが値初期化されると、そのデフォルト コンストラクターが呼び出されます。デフォルト コンストラクターが暗黙的に定義されている場合、すべての非静的メンバーが再帰的に値初期化されます。この定義は不正確で少し間違っていますが、基本的な考え方は伝わるはずです。参照は値初期化できません。非集約クラスの値初期化は、たとえばクラスに適切なデフォルト コンストラクターがない場合に失敗する可能性があります。bool0.0double

配列の初期化の例:

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
}

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}};

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
};