Question

c++中，析构函数在什么时候才会被调用？

如题。在下列代码中
#include <iostream>

using namespace std;

class A
{
public:
A();
A(const A&);
~A();
void operator = (const A&);
};
A::A() {cout<<"default constructor called\n";}
A::A(const A&){cout<<"copy constructor called\n";}
A::~A(){cout<<"destructor called\n";}
void A::operator = (const A&right_side){cout<<"assignment operator called\n";}

A foo( A& anObj)
{
cout<<"inside foo\n";
return anObj;
}

int main()
{
A thing;
A another = foo(thing);

system("pause");
return 0;
}
如果将foo 去掉&。变成
A foo( A anObj)
{
cout<<"inside foo\n";
return anObj;
}

则输出的结果不会出现destructor，请问这是为什么？

Answer 1

在该类生成的对象实例声明周期结束时，才被调用
析构函数，在定义类时，进行声明、定义，主要用来释放申请的资源，
如定义了指针变量，并对其进行空间分配( new XX ),就可以在析构函数中
释放资源。举例入下
class A
{
Class B pt ;

A()

{
pt = new B();

}
~A()
{
if( NULL != pt)

{
delete pt ;
pt = NULL;

}

}
}// end of class A

追问

哥，这题已经过了很久了吧…

Answer 2

析构函数是在对象销毁的时候被系统调用的。

另外，你这里说反了，如果去掉foo里面去掉&，就会多生成一个临时变量，foo结束后，这个对象会被析构，这时候就会多输入一个destructor。如果是原来的A foo(A& anObj)这里的参数是引用，则不会创建一个对象，也就没有所谓析构。所以引用不会多一个destructor

其实main里面里面也有定义两个A对象，在退出main的时候，也会被调用的，你在命令行里运行程序可以看到，程序结束后会有两个destructor输出：

default constructor called
inside foo
copy constructor called
destructor called // main函数里的A析构
destructor called // main函数里的A析构
Press any key to continue

这是我在VC中运行的结果。

追问

好的，我看懂了，谢谢。
我还想问一下，为什么在A another = foo(thing);里，

用到的copy而不是那个assignment赋值呢？

追答

定义变量时，其实：
A a = xx;
跟
A a(xx);
是等价的。
而跟：
A a;
a = xx;
不一样。
所以不能把 A a = xx; 理解为是纯赋值。

追问

所以第一个是单纯的assign，第二个是先copy再assign吗？

追答

不是的。而是：

A a = xx;
A a(xx);
这两种方法，都只会调用拷贝构造函数。实际不会调用=操作

而另一种情况：

A a; //这里调用默认构造函数，这时候已经生成了一个对象
a = xx; //调用=赋值操作，它是对一个已经存在了的对象而言的。

Answer 3

因为析构的时候你已经退出了。。。自然就显示不出来了。。。一般在new之后用delete可以看到结果

追问

那请问，在这个里
A foo( A& anObj)
{
cout<<"inside foo\n";
return anObj;
}

应该先是“insidexxxxxx”
然后为什么是”copy constructor
destructor“

而不是直接destructor呢？我的意思是为什么会出现copy呢？

追答

因为你返回了一个值呀，c++中除非用引用、指针，否则你的参数传到函数里，以及函数返回值这些都是重新复制构造一个对象，就会调用copy咯，在你这里引用是没错，但是返回的时候不是哦~~

追问

你的意思是不是一旦出现return，就是调用复制构造函数了呢？

追答

差不多，但是return &也就是引用类型，或者return （char *）p；也就是指针类型（当然不一定要是char型）的时候是没有调用copy的

追问

那么在这段代码中，因为foo最后return的是&类型，所以在foo里面是没有copy的，而是在最后another=foo（thing）才出现的copy constructor对吗？

追答

恩恩，是这样