在C++中，用自身初始化引用或指针会导致UB吗？

Question

int &r1 = r1; // r1 0 initialized, `r1` references 0, not UB?
int *p1 = p1; // p1 0 initialized, `p1` is a null ptr, not UB?

int main() {
 
 int &r2 = r2; // reference to intermediate value. has UB ?
 int &r3 = r2; // Also has UB ?
 int *p2 = p2; // pointer to garbage location. has UB ?
 int *p3 = p2; // Also has UB ?

 return 0;
} 

• 在文件作用域和块作用域中为自身分配引用。
• 在文件作用域和块作用域中为自身分配指针。
• 将未初始化的引用分配给另一个引用。
• 将未初始化的指针分配给另一个指针。

Answer 1

// namespace scope
int *p1 = p1; // p1 0 initialized, `p1` is a null ptr, not UB?

标准在这种情况下是模棱两可的，但“不是UB”可以合理地争论，因为静态初始化在动态初始化之前。另一方面，标准意味着对象的生存期还没有开始。

关于这里的二义性的更多细节：如果一个全局变量被初始化两次（静态，然后动态），哪个初始化开始它的生存期？

// block scope
int *p2 = p2; // pointer to garbage location. has UB ?

是的。与静态存储持续时间的情况不同，自动对象缺少静态初始化阶段，并且在初始化之前具有一个不确定的值。您正在使用这个不确定的值进行初始化，程序的行为是明确的未定义的。

// block scope
int *p3 = p2; // Also has UB ?

在p2的初始化中，行为已经未定义。但假设p2是一个不确定值，没有前面的ub：

int *p2;
int *p3 = p2;

这个例子的行为也是未定义的。

请注意，这些与对象是指针关系不大。这几乎适用于所有类型的对象。

必须初始化引用以引用有效的对象或函数。因此，这三个问题都是：

// namespace scope
int &r1 = r1; // r1 0 initialized, `r1` references 0, not UB?

// block scope
int &r2 = r2; // reference to intermediate value. has UB ?
int &r3 = r2; // Also has UB ?

使程序格式不正确。