C ++数组元素的构造顺序

Question

C ++中是否有关于数组元素构造顺序的保证？

#include <iostream>
using namespace std;

struct A {
  A() { cout << this << endl; }
};

int main()
{
  cout << "[0] is " << new A[3];
}

打印出来

0x602010
0x602011
0x602012
[0] is 0x602010

意味着元素是按照[0]，[1]和[2]的顺序构建的。 该语言是否保证该顺序？

Answer 1

是的，这是由C ++ 11 12.6 / 3（[class.init] / 3）保证的：

当一个类对象数组被初始化（显式或隐式）并且元素由构造函数初始化时，应该按照下标顺序为数组的每个元素调用构造函数。