在范围内引用值会产生垃圾

Posted 2023-02-22

【中文标题】在范围内引用值会产生垃圾

【英文标题】：Reference to value in scope produces garbage

【发布时间】：2018-03-28 19:13:44

【问题描述】：

我想编写一个将引用作为字段的类，但我发现即使是这个初始化引用并打印其值的简单代码也失败了：

struct Referencer 
    explicit Referencer(int in) : num(in) 
    void print() 
        std::cout << num << std::endl;
    
    int &num;
;
int main() 
    int longlived = 500;
    Referencer ref(longlived);
    ref.print();

结果是垃圾（没有抛出错误，也没有程序段错误）。我的理解是变量longlived 与Referencer 的实例具有相同的生命周期，因为它们都在堆栈中声明并且具有相同的范围。因此，当调用ref.print() 时，字段num 应该指向有效的堆栈内存。为什么不是这样？

【问题讨论】：

仔细看Referencer(int in) : num(in)

in 离开构造函数后不再在作用域内。也许你的意思是int & in。

"我的理解是变量longlived与Referencer的实例具有相同的生命周期"当然可以。但是..您的Referencer::num 没有引用longlived。

哎呀，我的错。

为了更好地理解，试着用指针做同样的事情......

【参考方案1】：

Referencer 的构造函数按值获取参数。所以in 拥有longlived 中值的副本。然后将num 初始化为对in 的引用，一旦构造函数返回，它就会被销毁。

如果您希望num 持有对用作构造函数参数的对象的引用，请通过引用传递in，如explicit Referencer(int &in) : num(in) 。