问初始化顺序:具有指向同一数组的单独指针的数组

EN

我有一行代码声明了char的静态数组，如下所示：

char buf[7];

我想使用指针遍历这个数组，但是buf本身显然不能增加或减少。我的问题基本上是，是合法的，还是这个未定义的行为：

// Does this guarantee ptr == buf?
char buf[7], *ptr = buf;

// ... because if not, then this could crash my program!
std::cout << *ptr << '\n';

这个例子和类似的例子在我的计算机(WSL，gcc 9.3.0)上编译和运行都很好，带有所有的优化标志。在我运行的每一次测试中，buf == ptr。但从技术上讲，C++标准是否允许编译器重新排序这些声明，以便将ptr初始化为一些垃圾值？

显然，我可以将它分成两行，避免任何疑问，但我想知道这个一行声明是否有效。