在构造变量之前是否定义好引用变量

Question

这在精神上类似于为c 询问和回答的question。那里的 cmets 暗示 c++ 的精确答案会有所不同，所以这里有一个类似的问题，适用于 c++ 中编写的代码。

下面的程序定义好了吗？

int f(int& b) 
{ 
  b = 42; 
  return b; 
}

int a { f(a) };

对我来说似乎没问题，但另一方面，a 是如何从由函数计算的值构造的，它本身会修改 a？我对此有一种鸡与蛋的感觉，所以解释一下会很好。对于它的价值，它appears 工作。

这似乎是同一个问题，所以这里；对于类类型和基本类型，答案是否会有所不同。即下面的格式是否正确？

struct S { int i; };

S f(S& b) 
{ 
    b.i = 42; 
    return b; 
}

S a { f(a) };

同样，不管它的价值，这个appears 也可以工作。

Answer 1

这种行为在 C++20 中似乎是未定义的。更改由 P1358 进行，解决了 CWG 2256。由于缺陷解决方案通常具有追溯性，因此该代码在所有 C++ 版本中都应视为 UB。

根据[basic.life]/1：

...T 类型对象的生命周期开始于：

• 获得了与 T 类型正确对齐和大小的存储，并且
• 其初始化（如果有）已完成（包括空初始化）...

在调用f(a) 的时候，对象a 还没有开始它的生命周期，因为它的初始化还没有完成。根据[basic.life]/7：

类似地，在对象的生命周期开始之前，但在分配对象将占用的存储空间之后......任何引用原始对象的glvalue都可以使用，但只能以有限的方式使用。 ...如果出现以下情况，则程序具有未定义的行为：

• glvalue 用于访问对象...

因此，在初始化完成之前写入a 是UB，即使存储空间已经分配。