列表初始化固定大小C数组时未使用索引置零是否为标准行为?
列表初始化绑定数组参数时的零初始化行为是标准规定的吗?
这种未指定元素自动置零的行为是C++标准明确规定的可依赖行为,不会因平台或编译器不同产生差异。
具体依据如下:
- 当你使用
{3,2}或{}这类列表初始化语法去匹配接收const int(&)[4]引用参数的构造函数时,编译器会先创建一个临时的4元素int数组,再将其绑定到构造函数的引用参数上。 - 这个临时数组的初始化属于聚合初始化,根据C++标准:
- 若提供的初始化器数量少于数组元素数量,剩余未被显式初始化的元素会被值初始化;
- 对于
int这类算术类型,值初始化的结果就是零初始化,即被设置为0; - 若使用空列表
{}初始化聚合类型,所有元素都会被值初始化,也就是全部置为0。
对应你的代码场景:
构造函数定义:
A(const int(&inArr)[4]) { ... }
- 执行
A a({3,2});时,编译器隐式生成的临时数组等价于int temp[4] = {3,2};,后两个元素自动初始化为0,因此inArr接收的数组是[3,2,0,0]; - 执行
A a({});时,临时数组等价于int temp[4] = {};,所有元素均为0,因此inArr接收的是[0,0,0,0]。
包括MSVC、Clang、GCC在内的主流编译器都会严格遵循这一标准规则,你可以放心依赖该行为,无需担心跨平台或编译器的差异。
内容的提问来源于stack exchange,提问作者Mark A. Ropper
相关产品推荐
相关产品推荐

