是否允许递归初始化数组？

我有以下代码片段:

int i[] = {42, i[0]};

是允许这样的初始化还是导致未定义的行为？

三大编译器(GCC,铛,MSVC)给我42的i[1].因此看起来合法,但我希望从这个案例的标准中看到一个引用.

是的,它定义明确.

int i[] = {42, i[0]};

这是聚合¹初始化².聚合初始化遵循此规则:

[dcl.init.aggr]/6

聚合元素的初始化按元素顺序进行评估.也就是说,与给定元素相关联的所有值计算和副作用在按顺序跟随它的任何元素之前排序.

¹⁾ http://eel.is/c++draft/dcl.init.aggr#1

²⁾ http://eel.is/c++draft/dcl.init.aggr#3