通过成员初始化列表初始化类的引用变量时出现问题

Question

代码

#include<iostream>
struct A
{
    private:
        
    public:
        int &p,q;
        A(int &k1,int k2):p(k1),q(k2)
        {
            
        }

};

int main()
{
    int x=2;
    A a1(x,3);

    std::cout<<&x<<"\n";
//  std::cout<<&k1<<"\n";    commented out this as it gives error
    std::cout<<&a1.p<<"\n";
    
}

输出

0x6ffe1c
0x6ffe1c

p 指的是 k1，k1 指的是 x。

K1 将超出范围，因此尝试访问它会出错。但是 a1.p 实际上指的是 k1 所以它指的是不存在的内存。那么为什么访问 a1.p 不会出错。

Answer 1

您似乎误解了引用的工作原理。

一旦你初始化了一个引用，你就再也不能访问引用变量本身了。引用变量的所有使用都将重定向到被引用的变量。

因此在 A 构造函数中，永远不能使用变量 k1，所有使用它的都是 x 函数中的 main 变量。在撰写此答案时，当前显示的代码不能有悬空引用。

简而言之：您无法创建引用的引用。

---

但是如果您修改了 A 构造函数以按值而不是按引用获取第一个参数：

A(int k1, int k2) : p(k1), q(k2) {}

然后那将导致 k1 变量的悬空引用。