使用值初始化带非平凡默认构造函数的结构体时，其标量成员是否被零初始化？

问题背景 #

现有如下结构体定义：

struct test
{
    char *x;
    std::string y;
};

当使用test *t = new test();对其进行值初始化时，参考C++标准中的描述：

若T是（可能带cv限定的）无用户提供或删除默认构造函数的类类型，则先对对象进行零初始化，再检查默认初始化的语义约束；若T拥有非平凡默认构造函数，则执行默认初始化；

struct test拥有非平凡构造函数，可通过以下代码验证（代码会触发断言失败）：

static_assert(std::is_trivially_constructible<test>::value, "test is not is_trivially_constructible");

核心疑问 #

• 标准是否意味着该test对象在值初始化时会先执行零初始化，随后执行默认初始化？
• 是否可以绝对可靠地认为，执行test *t = new test()后，t->x == nullptr必然成立？毕竟char *x属于指针/标量类型，按照标准应在结构体值初始化过程中被零初始化。

工具与编译器表现 #

• Coverity扫描结果：会触发Type: Uninitialized pointer read (UNINIT)警告，提示内容为“Assigning: "t" = "new test", which is allocated but not initialized.”。但如果移除std::string y;成员，使结构体拥有平凡默认构造函数，Coverity则不再告警，认定char *x已被零初始化。
• GCC编译验证：使用g++ -O3 -std=c++17编译代码时，目前未出现零初始化未执行的情况。

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