将通过引用传递的值分配给成员变量（在 C++ 中）

Question

我正在尝试了解 C++ 中的范围。请考虑以下事项：

class C
{
    int i_;
public:
    C() { i_ = 0;}
    C(int i) { i_ = i; }
    C(const C &c) {
        i_ = c.i_;
        cout << "C is being copied: " << i_ << endl;
    }
    int getI() { return i_; }
    ~C() {cout << "dstr: " << i_ << endl;}
};

class D
{
    C c_;
public:
    void setC(C &c) { c_ = c; }
    int getC_I() { return c_.getI(); }
};

void Test(D &d)
{
    C c(1);
    d.setC(c);
    //here c is going out of scope, surely it will be destroyed now?
}

int main()
{
    D d;
    Test(d); //this sets value of c_ to the local variable in Test. 
             //Surely this will be invalid when Test returns?
    int ii = d.getC_I();
    cout << ii << endl;
}

运行此程序输出：

dstr: 1
1
dstr: 1

显然，第一次析构函数调用发生在 Test 中，第二次调用发生在程序终止且 d 被销毁时。

所以我的问题是：c 被复制到哪里了？我的推理有问题吗？我想问的一般要点是：拥有一个获取对象引用然后将其存储在成员变量中的成员函数是否安全？

非常感谢您的帮助。

Answer 1

你的代码现在就很好。 D::c_ 的类型为 C 而不是 C &。您的 SetC 获取对 C 的引用，并将该引用引用的值分配给 C::c_，因此您拥有的是完全独立的 C 具有相同值的对象。由于您在 main 中创建了具有自动存储持续时间的 d，因此它和它的一部分 c_ 保持有效，直到您退出 main。

Answer 2

c 被复制到哪里了？

当您执行 c_ = c;Where was c Copy? 时，您正在对 c_ 调用 operator= ，这将复制 的内容>c 到 c_。

如果 c_ 是一个引用，则不会复制任何内容，并且程序会像您期望的那样导致错误。

Answer 3

C 在这里被复制：

void setC(C &c) { c_ = c; }

如果您想存储引用，那么您的成员变量c_ 也应该是一个引用。如果您要存储引用，那么您必须小心传入变量的生命周期。