C++ new函数的背后

在C++中，new操作主要是分为一下三个版本：[来自cplusplus.com]

首先，如果要求你new一个int，你会觉得 so easy。直接

int *p = new int(5);

int *p = new int;

new操作实际上执行了3个步骤： 在堆上分配一块内存，调用构造函数（对于简单类型，则省略了第二步），以及返回指针。

接下类，复杂一点，为下面的类new一个对象，

class A

{

private: int a;

public: A(int _a):a(_a) {   };

};

A *pa = new A; //错误，A并没有默认构造函数（题外话了！）

A *pa = new A(3);  这一句相当于执行了下面的三行代码：

A *pa = (A*)malloc(sizeof(A));

pa->A::A(3);

return pa;

啊哦，正好印证了上面的三个步骤。

在实际的应用程序中，建议使用new操作符，因为上述malloc如果调用失败，是不会自动调用内存分配失败的函数的，但是如果使用new的话是可以的，建议参考 STL库的alloc空间配置器，讲的很详细。

其次: 对于上述的三个new函数的使用方法，此处做一个简单的测试，便可见一斑：

#include 
   
   
    
    
#include 
    
    
     
     

using namespace std;

class A
{
    public:
        A(){cout << "Construct " << this << endl; }
};
int main()
{
    A *pa = new A;
    //allocate memory and call constructor and return ptr
    A *pa2 = new (nothrow) A;
    //allocate ... but no throw
    new(pa2) A;
    A *pa3 = (A *) ::operator new(sizeof(A));

    delete pa;
    delete pa2;
    delete pa3;

    return 0;
}

    
    
   
   

版本1与版本2只是重载的关系，对于 nothrow_t ，其实就是标准库为了重载这个函数引入的一个常量，该变量是个struct，定义为   struct nothrow_t{   };    结构体为空。

版本2在内存分配失败后是不会抛出异常的，而是以返回一个null指针来代替。

版本3很有意思，仅仅只是返回ptr的值，不会分配内存空间。如果使用一个new操作符的结果来调用该函数，那么就相当于在该内存上执行对应类型的构造函数.

上述代码的执行结果：

可以很清楚的看到，new (pa2) A; 该行代码并没有分配空间，因为它的内存地址与pa2是完全一致的。

pa3只是分配内存，并没有创建构造函数，也就没有调用构造函数，输出了一个空行~~

Note:

STL库中的new与delete在底层都是通过malloc和free来实现的。区别就是，malloc不会自动调用内存分配失败函数。