在具有默认非平凡构造函数的结构上使用值初始化时，结构标量成员是否初始化为零

Question

如果我有以下结构

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

我初始化为

test *t = new test();

这应该值初始化对象并根据标准执行以下操作：

如果T是一个（可能是cv限定的）类类型，没有用户提供或删除的默认构造函数，则该对象为零初始化，并检查默认初始化的语义约束，如果T有一个非平凡的默认构造函数，则该对象为默认初始化的；

struct test有一个非常重要的构造函数，可以通过以下方法进行检查：

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

该标准是否意味着我的test对象在值初始化的情况下应该始终为零初始化，然后随后默认初始化？

如果我立即检查t，我是否能够可靠地假设在执行test*t=new test（）之后-

我这样问是因为Coverity给出了一个类型：未初始化指针读取（UNINIT）警告，因为如果您尝试执行类似if（t）的操作，它会报告以下内容-

分配：“t”=“new test”，已分配但未初始化。

Coverity是否将标准误解为“平凡构造函数的值初始化或非平凡构造函数的默认初始化”？如果我删除std：：字符串y 成员，因此测试有一个微不足道的默认构造函数，覆盖度不再有警告，并假设char*x成员初始化为零。

值得一提的是，我只是使用g-O3-std=c 17进行编译，并且我无法为我的test对象创建一个不发生零初始化的实际场景。

Answer 1

如下所述，该警告不适用于现代C（包括C 17）。

我是否能够可靠地假设在执行<代码>测试*t=新测试（）之后

是的，标准保证x是零初始化的，因此检查t-

将T类型的对象或引用初始化为零意味着：

• 如果T是（可能是cv限定的）非并集类类型，则其填充位初始化为零位，并且每个非静态数据成员、每个非虚拟基类子对象，并且如果该对象不是基类子对象，则每个虚拟基类子对象初始化为零

（强调地雷）