从函数和未定义的行为返回局部部分初始化的结构

Question

使用可以用register定义的自动未初始化变量，因为rvalue是未定义的行为。可以使用寄存器存储类说明符定义结构。

6.3.2.1

请注意，它特别指出，并且没有对它执行任何赋值。

struct test
{
    int a;
    int b;
};

struct test Get( void )
{
    struct test g;
    g.a = 123;
    return g;
}

{
    struct test t = Get();
}

我的说法正确吗？

Answer 1

除了从函数返回值的细节之外，这恰恰是Clive Feather于2000年提交的缺陷报告222的主题，该DR的解决方案似乎非常清楚地回答了这个问题：返回部分未初始化的结构是定义良好的（尽管未初始化成员的值可能不会被使用）

对DR的决议澄清了struct和union对象不具有陷阱表示形式（这被明确添加到§6.2.6.1/6)。因此，不能在单个成员可能陷入的体系结构上使用逐个成员的复制。虽然可能是为了简洁起见,标准中没有增加这方面的明确说明,但先前提到逐个成员复制可能性的脚注42（现为脚注51）被一个弱得多的说明取代,说明不需要复制填充位。

第14工作组会议（2000年10月，多伦多）的记录很清楚（着重部分是后加的）：

DR222-部分初始化的结构

当赋值的源是struct（其某些成员未被赋予值）时，这个DR会询问struct赋值是否定义良好。由于常见的用法，包括标准指定的结构structtm，因此大家一致认为应该对其进行很好的定义。还有一个共识是，如果对某些成员的赋值未初始化（因此可能具有陷阱值）进行了良好定义，那么要求至少一个成员正确地给定了一个值就没有什么价值了。
因此，将结构或联合的值作为一个整体可以具有陷阱值的概念正在被删除。

有趣的是，在上述会议记录中，委员会认为，甚至没有必要为struct的单个成员赋予一个值。然而，后来在某些情况下恢复了这一要求，决议为DR338（见下文）。

这样的对象可以分配给另一个相同类型的聚合对象，可能是在从函数返回之后，而不需要调用未定义的行为。

读取副本中的未初始化成员要么是未定义的，要么是不确定的，这取决于陷阱表示形式是否可能。（例如，通过指向无符号窄字符类型的指针读取无法捕获。）但如果你在阅读之前写了成员，你就没事了。

我不认为union和struct对象的赋值在理论上有任何区别。很明显，union不能逐个成员复制（这意味着什么），而且某些非活动成员碰巧具有陷阱表示形式这一事实与此无关，即使该成员没有被任何其他元素别名。struct没有明显的不同的原因。