std::vector<std::array<double,10>>的零初始化

Question

考虑以下代码

std::vector<std::array<double,10>> a(10);

如果我正确地理解了标准，a将不会被零初始化，因为en.cppreference.com上的std：：向量构造函数说

1. 构造带有计数默认插入的T实例的容器，不创建副本。

因此，因为默认初始化std::array<double, 10>不会用零填充它，所以a也不会包含零。

这是真的吗？

如何执行零初始化？

a.data()会指向100个连续的double值吗？

编辑：

这是来自-O2 gcc 10.2的哥德螺栓的输出。

main:
        mov     edi, 800
        sub     rsp, 8
        call    operator new(unsigned long)
        mov     rdi, rax
        lea     rdx, [rax+800]
.L2:
        mov     QWORD PTR [rax], 0x000000000
        add     rax, 80
        mov     QWORD PTR [rax-72], 0x000000000
        mov     QWORD PTR [rax-64], 0x000000000
        mov     QWORD PTR [rax-56], 0x000000000
        mov     QWORD PTR [rax-48], 0x000000000
        mov     QWORD PTR [rax-40], 0x000000000
        mov     QWORD PTR [rax-32], 0x000000000
        mov     QWORD PTR [rax-24], 0x000000000
        mov     QWORD PTR [rax-16], 0x000000000
        mov     QWORD PTR [rax-8], 0x000000000
        cmp     rdx, rax
        jne     .L2
        mov     esi, 800
        call    operator delete(void*, unsigned long)
        xor     eax, eax
        add     rsp, 8
        ret

所以它看起来是零初始化的。那么问题仍然是为什么。

Answer 1

正确的是，重载将默认插入元素。

但是您必须继续阅读，因为默认插入意味着插入的值将是值初始化，值初始化聚合(如std::array)将值初始化聚合中的所有元素。

double值的值初始化将与零初始化相同。

因此，向量的每个数组中的所有元素都将初始化为零。

Answer 2

为了确保数组为零初始化，可以将1元素初始化程序列表作为第二个参数添加到a构造函数调用中：

std::vector<std::array<double, 10>> a(10, { 0.0, });

这将使用该列表初始化每个元素(数组)，因为它将使用在这里描述的构造函数#3版本。

用于初始化每个数组的“值”参数将使用聚合初始化(请看这里)，这将对列表中的任何“缺失”值进行零初始化。

Answer 3

您可以这样做，如下面的演示程序所示：

#include <iostream>
#include <array>
#include <vector>

int main() 
{
    std::vector<std::array<double,10>> v(10, { {} } );
    
    for ( const auto &a : v )
    {
        for ( const auto &item : a )
        {
            std::cout << item << ' ';
        }
        std::cout << '\n';
    }
    
    
    return 0;
}

程序输出是

0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0