C++ new函数的背后

来源:互联网 发布:后窗解析知乎 编辑:程序博客网 时间:2024/09/21 06:36

在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函数的使用方法,此处做一个简单的测试,便可见一斑:


版本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不会自动调用内存分配失败函数。




5 0