关于char a[] = ""的初始化类型及C++标准对应条款的问询

结论 #

char a[] = ""在C++中属于聚合初始化（aggregate initialization），并非拷贝初始化。

详细解释 #

1. 类型判定：char a[]属于C++定义的聚合类型（aggregate type），字符数组是典型的聚合类型之一。
2. 初始化规则：当用字符串字面量""初始化字符数组时，触发聚合初始化逻辑。字符串字面量""会被解析为包含单个空字符'\0'的const char[1]数组，聚合初始化会将该数组的元素逐一复制到a中，最终a的大小被推导为1，仅存储空终止符。
3. 和拷贝初始化的区别：char* q = a;才是拷贝初始化——这里是将指针值（数组a隐式转换后的首地址）拷贝给q；而char a[] = ""的初始化过程是直接填充数组元素，不属于拷贝初始化的范畴。

C标准对应条款（以C20为例） #

根据C++20标准的[dcl.init.aggr]章节规定：

聚合初始化是用初始化器列表或字符串字面量初始化聚合类型的过程。当用字符串字面量初始化char、char8_t、char16_t、char32_t、wchar_t类型的数组时，字符串的每个字符（包括末尾的空终止符）会被依次初始化到数组的对应元素中，数组的大小由字符串的长度（含空终止符）自动推导。

和C语言的术语差异 #

C语言中将这类操作称为“array initialization”，本质逻辑和C++的聚合初始化一致，只是术语表述不同。

内容的提问来源于stack exchange，提问作者OwnageIsMagic