C++类和new、delete操作符和堆和栈内存的分配

185 阅读3分钟

如果你是Java、C#、PHP程序员,那么会对 new 非常熟悉,在这些编程语言中,只能通过 new 来创建对象。

在C++中,你可以像定义变量一样来创建对象,如:


    
Student stu;  //对象已被实例化,已分配内存空间,可以使用了stu.say();  //调用成员函数

这种情况下,系统会在栈区为对象分配内存。栈区是内存中的一块区域,由系统自动分配和释放,程序员无法操控,一般用来存放函数的参数值、局部变量、局部对象等。

当发生函数调用时,系统将函数参数、局部变量、局部对象依次压入栈区;函数执行结束,再按照先进后出的原则将它们弹出(销毁)。

对于大部分程序,这不会有什么问题。但当你希望在函数调用结束前销毁对象时,你是无能为力的。或者你希望通过 for 循环来创建多个对象,这种方法同样也做不到。

这个时候 new 和 delete 就派上了用场:使用 new 创建的对象,可以在任意时刻通过 delete 销毁,而且只需要一个指针指向它。

以前面的 Student 类为例,可以这样来动态创建对象:

new Student;

也可以使用构造函数:

new Student("小明", 15, 90.5f);

这样,就在堆区为对象分配了内存,并调用了构造函数。

但是此时程序员还无法访问这个对象,因为这个对象既没有名字,也没有指针指向它。这种对象称为 匿名对象 ,它确实存在,但无法访问。

用一个指针来指向Student类的对象:

Student *pStu;
pStu = new Student("小明", 15, 90.5f);

或者:

Student *pStu = new Student("小明", 15, 90.5f);


当不再需要对象时,可以通过 delete 销毁:

delete pStu;

这样,就释放掉了对象占用的内存,并调用了析构函数。

需要说明的是:new 在堆区为对象分配内存。与栈区不同的是,堆区内存由程序员分配和释放,系统不会自动销毁,即使函数调用结束了,仍然会保留堆区内存。如果程序员不主动回收堆区内存,那么只能在程序运行结束后由操作系统回收。

为了避免内存泄露,强烈建议 new 和 delete 成对出现,及时销毁不再需要的对象。

例如,下面的代码会造成严重的内存泄露:


    
#include <iostream>#include <cstdlib>using namespace std;class Demo{private:    double n;    double m;    int i;};void func(){    Demo *p = new Demo;}int main(){    int i;    for(i=1; i<=1000000; i++){        func();    }       system("pause");    return 0;}

当程序运行到 system("pause"); 语句时,你可以打开任务管理器,会发现这个小小的程序竟然占用了 32M 内存。

这是因为每次调用 func 函数,都会创建一个对象,并用 p 指向它。函数运行结束,仅仅释放了指针变量 p 占用的内存,而没有释放 p 所指向的对象占用的内存。

如果在 func 函数中不回收对象内存,那么你将永远无法回收,只能等到程序运行结束由操作系统回收,这就是典型的内存泄露。

另外注意,C语言中的 malloc、free 函数不能用来为对象分配和释放内存。请看下面的例子:


    
#include <iostream>using namespace std;class Demo{public:    Demo();    ~Demo();};Demo::Demo(){    cout<<"Constructor"<<endl;}Demo::~Demo(){    cout<<"Destructor"<<endl;}int main(){    cout<<"------new------"<<endl;    Demo *p1 = new Demo;  //创建一个对象    Demo *p2 = new Demo[5];  //创建一组对象    cout<<"------malloc------"<<endl<<endl;    Demo *p3 = (Demo*)malloc(sizeof(Demo));    cout<<"------delete------"<<endl;    delete p1;  //销毁一个对象    delete[] p2;  //销毁一组对象    cout<<"------free------"<<endl;    free(p3);    return 0;}

运行结果:
------new------
Constructor
Constructor
Constructor
Constructor
Constructor
Constructor
------malloc------

------delete------
Destructor
Destructor
Destructor
Destructor
Destructor
Destructor
------free------

从程序运行结果可以看出:malloc 虽然分配了内存,但没有调用构造函数;free 虽然释放了内存,但也没有调用析构函数。