笔记：new/delete表达式

//提问：对象销毁与执行析构函数是不是一样的？
----> 析构函数的执行只是对象销毁的一部分。
----> 析构函数，只是清除数据成员的内容，没有销毁对象本身。尤其是new的内存没有得到释放。

new工作步骤

使用new表达式时发生的三个步骤：

1. 申请空间：调用operator new库函数，分配足够大的原始的未类型化的内存，以保存指定类型的一个对象(可自定义，可重载，内部使用malloc，而不是用new，避免死循环)。
2. 运行该类型的一个构造函数初始化对象。
3. 返回指向对象的指针。

delete工作步骤

（销毁对象）
使用delete表达式时发生的两个步骤：

1. 调用析构函数，回收对象中数据成员所申请的资源。
2. 调用operator delete库函数释放该对象所占内存。

operator new和operator delete函数的重载版本

//operator new库函数
void * operator new(size_t);
void * operator new[](size_t);		//new int[10]
//operator delete库函数
void operator delete(void *);
void operator delete[](void *);		//delete[] arr

下面通过例子来说明这两个函数的用法：

class Student
{
    public: Student(int id, const char * name)
    : _id(id)
    , _name(new char[strlen(name) + 1]())
    {
        strcpy(_name, name);
        cout << "Student()" << endl;
    }
    ~Student()
    {
        delete [] _name;
        cout << "~Student()" << endl;
    }
    void * operator new(size_t sz)		//默认static静态函数？
    {
        //printf("this:%p\n",this);		//没有this指针
        cout<<"opreator new"<<endl;
        void * ret = malloc(sz);
        return ret;
    }
    void operator delete(void * pointer)
    {
        //printf("this:%p\n",this);
        cout<<"opreator delete"<<endl;
        free(pointer);
    }
    void print() const
    {
        cout << "id:" << _id << endl
            << "name:" << _name << endl;
    }
private:
    int _id;
    char * _name;
};

int main(void)
{
    Student * stu = new Student(100, "Jackie");
    stu->print();
    delete stu;
    return 0;
}

应用

要求一个类只能创建栈对象

//栈对象创建条件：构造函数与析构函数都需要设置为public。
----> 如果要求一个类只能创建栈对象，其意思是在创建出栈对象的同时，不能创建堆对象。以Student类型而言，要达到以下效果，需要将operator new/operator delete私有化private。

void test0()
{
    Student s1(101, "John");		//ok
    Student * stu = new Student(101, "Mark");	//error
}

要求一个类只能创建堆对象

如果要求一个类只能创建堆对象，其意思是在创建出堆对象的同时，不能创建栈对象。以Student类型而言，要达到以下效果，需要将析构函数私有化private。

void test1()
{
    Student s1(101, "John");		//error
    Student * stu = new Student(101, "Mark");	//ok
    //delete stu;		//error，析构函数私有不可直接调用，通过成员函数
}
class Student
{
    void destroy()
    {
        delete this;
    }
};

malloc/free与new/delete异同点？

1. malloc/free为标准库函数，new/delete为C++关键字。
2. 分配空间：malloc需要传入参数确定大小，new自动分配空间大小。
3. malloc只申请了堆空间，new申请空间同时还进行了初始化。
4. 两者都是申请堆空间。
5. 都必须成对出现。否则会造成内存泄露。

C++中有了malloc/free , 为什么还需要new/ delete？

1). malloc与free是C++/C语言的标准库函数，new/delete是C++的运算符。它们都可用于申请动态内存和释放内存。
2). 对于非内部数据类型的对象而言，光用maloc/free无法满足动态对象的要求。对象在创建的同时要自动执行构造函数，对象在消亡之前要自动执行析构函数。
由于malloc/free是库函数而不是运算符，不在编译器控制权限之内，不能够把执行构造函数和析构函数的任务强加于malloc/free。因此C++语言需要一个能完成动态内存分配和初始化工作的运算符new，以一个能完成清理与释放内存工作的运算符delete。注意new/delete不是库函数。
最后补充一点体外话，new 在申请内存的时候就可以初始化， 而malloc是不允许的。另外，由于malloc是库函数，需要相应的库支持，因此某些简易的平台可能不支持，但是new就没有这个问题了，因为new是C++语言所自带的运算符。
----> 特别的，在C++中，如下的代码，用new创建一个对象(new 会触发构造函数， delete会触发析构函数)，但是malloc仅仅申请了一个空间，所以在C++中引入new和delete来支持面向对象。