c++ - 在数组的初始化中使用前一个元素的值

Question

所以我发现这段代码有效：

int foo[] = {0, foo[0] + 1, foo[1] + 2, foo[2] + 4 };

这正式合法吗？我以为我在initializer_list这里做一个，但如果我可以访问以前初始化的元素，这一定是在做聚合初始化。

我试图找到有关此合法性的官方声明，但我似乎找不到。