C++析构函数的自动调用问题

首先要明确一点，系统只会自动释放栈内空间，而堆内空间需要用户自己维护。

C++中，除了new来的空间存放在堆内，其他均存放在栈中。

当单纯的创建对象的时候，对象存放在栈中，此时在程序块的}后面，系统会自动调用析构函数，释放掉栈空间。

但是，如果创建了指向new来的一块空间的指针的时候，如果在没有显示释放掉new到的堆空间时，系统是不会自动调用析构函数去释放栈空间中的指针的。

示例代码如下

#pragma once
#include <iostream>
using namespace std;
class CBase

{

  public:

     CBase(int num){this->num = num;cout<<num<<"号Base类构造函数运行！"<<endl;};

     ~CBase(){cout<<num<<"号Base类析构函数运行！"<<endl;};
private:
 int num;
};

void main()

{

    CBase bobj(1);//析构函数会自动调用

    CBase *bptr = new CBase(2);

    //delete bptr;//如果没有这句，系统不会自动运行2号的析构函数。

}
此处delete释放的是堆空间中的指针。指针释放后，系统会自动调用析构函数，释放栈中的CBase 2号对象。

 

Effective C++ 条款6：析构函数里对指针成员调用delete

 

大多数情况下，执行动态内存分配的的类都在构造函数里用new分配内存，然后在析构函数里用delete释放内存。最初写这个类的时候当然不难做，你会记得最后对在所有构造函数里分配了内存的所有成员使用delete。

然而，这个类经过维护、升级后，情况就会变得困难了，因为对类的代码进行修改的程序员不一定就是最早写这个类的人。而增加一个指针成员意味着几乎都要进行下面的工作：
·在每个构造函数里对指针进行初始化。对于一些构造函数，如果没有内存要分配给指针的话，指针要被初始化为0(即空指针)。
·删除现有的内存，通过赋值操作符分配给指针新的内存。
·在析构函数里删除指针。

如果在构造函数里忘了初始化某个指针，或者在赋值操作的过程中忘了处理它，问题会出现得很快，很明显，所以在实践中这两个问题不会那么折磨你。但是，如果在析构函数里没有删除指针，它不会表现出很明显的外部症状。相反，它可能只是表现为一点微小的内存泄露，并且不断增长，最后吞噬了你的地址空间，导致程序夭折。因为这种情况经常不那么引人注意，所以每增加一个指针成员到类里时一定要记清楚。

另外，删除空指针是安全的(因为它什么也没做)。所以，在写构造函数，赋值操作符，或其他成员函数时，类的每个指针成员要么指向有效的内存，要么就指向空，那在你的析构函数里你就可以只用简单地delete掉他们，而不用担心他们是不是被new过。

当然对本条款的使用也不要绝对。例如，你当然不会用delete去删除一个没有用new来初始化的指针，而且，就象用智能指针对象时不用劳你去删除一样，你也永远不会去删除一个传递给你的指针。换句话说，除非类成员最初用了new,否则是不用在析构函数里用delete的。

说到智能指针，这里介绍一种避免必须删除指针成员的方法，即把这些成员用智能指针对象来代替，比如c++标准库里的auto_ptr。想知道它是如何工作的，看看条款m9和m10。

 

      析构函数(destructor) 与构造函数相反，当对象脱离其作用域时（例如对象所在的函数已调用完毕），系统自动执行析构函数。析构函数往往用来做“清理善后” 的工作（例如在建立对象时用new开辟了一片内存空间，应在退出前在析构函数中用delete释放）。

　　前面的一些例子都没有说明析构函数，这是因为所用到的类在结束时不需要做特别的清理工作。下面的程序给出了一新的Date类，其中包括一个字符串指针，用来表示月份。

 

　　在Date对象的构造函数中，首先用new运算符为字符串month动态分配了内存，然后从内部数组中把月份的名字拷贝给字符串指针month。

 

      析构函数在删除month指针时，可能会出现一些问题。当然从这个程序本身来看，没什么麻烦；但是从设计一个类的角度来看，当Date类用于赋值时，就会出现问题。假设上面的main()修改为“

　　

      这会生成一个名为today的空的Date型变量，并且把birthday值赋给它。如果不特别通知编译器，它会简单的认为类的赋值就是成员对成员的拷贝。在上面的程序中，变量birthday有一个字符型指针month，并且在构造函数里用new运算符初始化过了。当birthday离开其作用域时，析构函数会调用delete运算符来释放内存。但同时，当today离开它的作用域时，析构函数同样会对它进行释放操作，而today里的month指针是birthday里的month指针的一个拷贝。析构函数对同一指针进行了两次删除操作，这会带来不可预知的后果。

 

　　如果假设today是一个外部变量，而birthday是一个自变量。当birthday离开其作用域时，就已经把对象today里的month指针删除了。显然这也是不正确的。

　　再假设有两个初始化的Date变量，把其中一个的值赋值给另一个：

　　

      问题就更复杂了，当这两个变量离开作用域时，birthday中的month的值已经通过赋值传递给了today。而today中构造函数用new运算符给month的值却因为赋值被覆盖了。这样，birthday中的month被删除了两次，而today中month却没有被删除掉。

 

 

自我理解：

C++ 如果类中有一个指针数据成员，而你没有用new， 析构函数是不用delete的。

在类中，int、char 这些只要不是new的，也同样不用释放，系统会自动把他们占的内存释放掉，只有new 的才会手动的去delete。

int char ,这些基本类型，是局部变量，存在于栈上。而一个指针定义的时候，也是在栈上比如int *p;p在栈上，而且p的值也是栈的一个地址。

但是当int *p = new int ;这时候，p这个变量是在栈上的。但是p的值是一个地址，这个地址是堆上的一个地址。

如果不delete p;那么，这个地址会一直被占用着，不能被其他的对象所使用，所以我们用完这个地址，要把这个地址释放掉。