关于C语言复合字面量初始化指针数组的两个技术疑问

问题1：声明中第一层括号的作用与区别 #

声明int (*(arr1[]))和int *(arr1[])（甚至简化成int *arr1[]）完全没有区别，外层的括号是冗余的，不改变任何语义。

原因是C语言的声明优先级规则：数组下标[]的优先级高于解引用运算符*。不管有没有外层括号，编译器都会先解析arr1[]——这是一个数组，再解析*——表示数组的每个元素是指向int类型的指针。本质上都是定义了一个“存储int指针的数组”，去掉外层括号后代码可读性反而更好。

问题2：复合字面量内存连续的原因 #

你对理论的理解是对的：C标准没有强制要求这些复合字面量创建的数组必须存在连续内存中，每个复合字面量都是独立对象，它们的地址本可以是任意的。

你看到的内存连续是编译器的优化行为：

• 当用多个同类型、同大小的常量复合字面量初始化数组时，编译器为了提升内存使用效率和缓存性能，会主动把这些小型数组对象安排在连续的内存区域里。
• 这种行为是编译器实现的选择，不是C标准的硬性规定。换用不同编译器、调整优化选项，或者复合字面量的大小/类型有差异，内存布局都可能变成不连续的。

作者展示的只是他所用编译环境下的结果，不能当成普遍适用的规则。

内容的提问来源于stack exchange，提问作者P.Jo