Question

_{这是关于此问题的第n个问题，但我找不到确切的重复...}

假设以下代码：

#include <iostream>

struct S {
    int x;
    int y;
};

class C {
public:
    S s;
    C() : s{123, s.x} {}
};

int main() {
     std::cout << C().s.y << '\n';
}

可以像这样初始化s.y吗？（只有JetBrains的ReSharper通过以下方式抱怨它：Object member this->s.x might not be initialized）。

如果有人用标准中的引用确认他们的答案，那就太好了。

Answer 1

来自C ++ 14

8.5.1聚合[dcl.init.aggr]

1聚合是一个数组或类（第9条），没有用户提供的构造函数（12.1），没有私有或者受保护的非静态数据成员（第11条），没有基类（第10条），没有虚函数（10.3）。

2当初始化程序列表（如8.5.4中所指定）初始化聚合时，初始化程序列表的元素被视为聚合成员的初始化者，增加下标或成员顺序。

这意味着首先使用123初始化s.x，然后使用s.x初始化s.y。

如果没有优化，GCC 6.3会生成

C::C():
        push    rbp
        mov     rbp, rsp
        mov     QWORD PTR [rbp-8], rdi
        mov     rax, QWORD PTR [rbp-8] # read address of s
        mov     DWORD PTR [rax], 123   # write 123 to s.x (offset 0 from s)
        mov     rax, QWORD PTR [rbp-8] # read address of s again
        mov     edx, DWORD PTR [rax]   # read contents of s.x to edx
        mov     rax, QWORD PTR [rbp-8] # read address of s
        mov     DWORD PTR [rax+4], edx # write s.y (offset 4 from s)
        nop
        pop     rbp
        ret

这与标准所说的一致。

Answer 2

虽然似乎没有规则明确指出这个技巧是不正确的，但它还不足以让它具有明确定义的行为。

我认为评估顺序存在一些问题：

this rule定义了支撑列表中表达式的评估顺序;当然，也有成员初始化的订单。

可以肯定地说，在对括号列表中的相应表达式进行评估之后，每个结构成员都被初始化（显然在初始化s.x之前评估了支撑列表中的s.y）。

但是，似乎没有规则表明在评估支撑列表的第二个元素之前必须初始化您的案例中的s.x，例如在开始初始化struct字段之前，程序可以评估括号列表中的所有表达式。

当然，缺乏规则并不容易证明，但如果不存在，则看起来像UB。

UPD ：the rule from @PaulFloyd's answer确实非常类似于我的答案中遗漏的内容，也许它毕竟不是UB。

使用自己的数据成员聚合结构的初始化

2 个答案: