复制构造函数初始化初始化列表中的引用成员会导致指针悬空

Copy constructor initialize a reference member in initialization list causes dangling pointer

本文关键字:初始化 指针 引用 列表 构造函数 复制 成员      更新时间:2023-10-16

我有一个带有引用成员的 A 类num.我已经编写了一个复制构造函数,用于初始化列表中的num。但结果似乎很奇怪,打印出来的值不应该是 100 吗?我的程序何时修改了a.numaa.num的值?

#include <iostream>
using namespace std;
class A{
public:
int& num;
A(int n):num(n){}
A(const A& obj):num(obj.num){}
void print(){
cout << num << endl;
}
};
int main(){
A a(100);
A aa = a;
a.print();  //Expected to be 100, but it isn't
aa.print(); //Also expected to be 100, but it isn't
//The address of a.num and aa.num are the same, so both of them are referencing to the same place. But the question is why the value isn't 100 but a strange value
cout << &(a.num) << " " << &(aa.num) <<endl;
}

输出为:

-1077613148
-1077613148
0xbfc4ed94 0xbfc4ed94

该问题与复制构造函数无关。在构造函数A::A(int n)中,您将成员引用num绑定到构造函数参数n,该参数在退出构造函数时将被销毁,使引用num悬而未决。对它的任何取消引用都会导致 UB。

您可以将构造函数更改为接受引用,

A(int& n):num(n){}

然后像

int i = 100;
A a(i);