2

在下面的代码中，当我将一个未命名的A变量传递给 ctor 时B，该变量在该行之后被破坏。根据这个答案：

临时对象在它们所属的完整表达式结束时被销毁。完整表达式是不是某个其他表达式的子表达式的表达式。通常这意味着它在; (or ) for if, while, switch etc.)表示语句的结尾处结束。

我明白了，但是类在被破坏后如何B​​知道其变量的值？mamber_a我知道那个 copy ctor ofA被称为 enver 。这怎么可能？

#include <iostream>
using namespace std;

class A 
{
        int sign;
        A();
        const A & operator=(const A &);
public:
        A(int x) : sign(x) { 
                cout << "A ctor : " << sign << endl; 
        }

        void WriteA() const { 
                cout << sign << endl; 
        }

        ~A() { 
                cout << "A dtor : " << sign << endl; 
        }

        A(const A &) {
                cout << "A copied : " << sign << endl;
        }
};

class B
{
        int sign;
        const A & member_a;
public:
        B(const A & aa , int ww ) : sign (ww) ,member_a(aa) { 
                cout << "B ctor : " << sign << endl; 
        }

        void WriteB() const {
                cout << "Value of member_a :";
                member_a.WriteA();      
        } 

        ~B() { 
                cout << "B dtor : " << sign  << endl;
        }
};

int main() {
        A a(10);
        B b1(a,1);
        b1.WriteB();     

        B b2(A(20),2);
        b2.WriteB();

        return 0;
}

输出是：

A ctor : 10
B ctor : 1
Value of member_a :10
A ctor : 20
B ctor : 2
A dtor : 20
Value of member_a :20 // Object A was destructed. Where does this 20 come from?
B dtor : 2
B dtor : 1
A dtor : 10
4

2 回答 2

5

你有 C++ 的棘手部分之一

member_a 的值为 20 纯属机会。您遇到了被称为未定义行为的行为。

当一个类保留对外部对象的引用时，程序员有责任确保对象的生命周期比被引用的对象长。在这种情况下，当您调用对象时member_a.WriteA();，对象已经被销毁，因此您正在访问可能不属于您的内存（在这种情况下，它恰好位于附近尚未被覆盖的位置（完全是偶然的）） .

如果要保留对对象的引用。您可以保留 const 引用，但有时最好将参数设为普通引用，以免意外传递临时值（这并不总是有效，因为您可能必须通过引用传递 const 对象）。

于 2011-03-19T21:10:26.030 回答
1

使用对被破坏对象的引用是一种“未定义的行为”。

在 A 的析构函数中，尝试将“sign”设置为“-1”，看看会发生什么。奇怪的是，对“WriteB”的调用将表明您已向已故对象发送了一条消息。

现在尝试使用代码在 b2 的构造函数和对 b2.WriteB 的调用之间放置一堆堆栈，例如对子例程的调用。您现在可能会发现调用打印的内容有所不同。

于 2011-03-19T21:22:41.327 回答