1. c语言中动态分配和释放
在c中,申请动态内存是使用malloc和free,这两个函数是c的标准库函数,分配内存使用的是系统调用,使用它们必须包含stdlib.h,才能编译通过。
malloc后需要检查内存是否分配成功,free则要在指针不为空的情况下才能进行。
示例代码如下:
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
int main()
{
char *p = (char*)malloc(10);
if ( p == NULL)
{
printf("error\n");
}
strncpy(p, "23456", sizeof(p)-1);
printf("p=%s\n", p);
if ( p != NULL)
{
free(p);
p = NULL;
}
return 0;
}
2. c++动态分配和释放
c++中,申请动态内存是使用new和delete,这两个关键字实际上是运算符,并不是函数。
需要注意的是:new的不是数组的话,则直接delete就好,并且只会调用一次析构函数,而new[]的话,则需使用delete[]来释放,并且数组中每一个元素都会调用一次析构函数,调用完析构函数再释放内存。
3. new/delete的底层实现
对于基本数据类型(无需构造函数)而言new是重载了new运算符,调用了operator new,复杂数据类型则在此基础上还会调用构造函数,而operator new里面则是调用的malloc函数,如果调用malloc失败,则直接抛出异常;
对于基本数据类型(无需析构函数)而言delete是重载了delete运算符,调用了operator delete,复杂数据类型则在此基础上还会调用析构函数,而operator delete里面则是调用的free函数。
4. new[]/delete[]的底层实现
- 简单数据类型(包括基本数据类型和不需要析构函数的类型) 对于简单数据类型而言,new[]调用的是operator new[],计算出数组总大小之后调用operator new。值得一提的是,可以通过()初始化数组为零值,实例:
char* p = new char[32]();
等同于:
char *p = new char[32];
memset(p,0, 32);
简单数据类型时delete[]则和delete一样,没区别。
- 复杂数据类型 对于复杂数据类型而言new[]先调用operator new[]分配内存,然后在指针的前四个字节写入数组大小,最后看分配了多少个元素就调用多少次构造函数,之所以要在前4个字节写入数组大小,是因为释放内存之前会调用每个对象的析构函数。但是编译器并不知道p实际所指对象的大小。如果没有储存数组大小,编译器就不知道应该调用几次析构函数;
new[]分配的内存只能由delete[]释放,如果由delete释放会崩溃,为什么会崩溃呢?
假设指针p指向new[]分配的内存,因为要4字节存储数组大小,实际分配的内存地址为[p-4],系统记录的也是这个地址,delete[]实际释放的就是p-4指向的内存,而delete会直接释放p指向的内存,这个内存根本没有被系统记录,所以会崩溃。
5. c++中new失败了怎么办
根据前面new实现原理说的,C++里,如果new分配内存失败,默认是抛出异常的。所以,如果分配成功,p == NULL就绝对不会成立;而如果分配失败了,也不会执行 if ( p == NULL ),因为分配失败时,new 就会抛出异常跳过后面的代码。如果你想检查 new 是否成功,应该捕捉异常:
try {
int* p = new int[SIZE];
// 其它代码
} catch ( const bad_alloc& e ) {
return -1;
}
当然,标准 C++ 亦提供了一个方法来抑制 new 抛出异常,而返回空指针,如下:
int* p = new (std::nothrow) int; // 这样如果 new 失败了,就不会抛出异常,而是返回空指针
if ( p == NULL ) // 像这样,这个判断就有意义了
return -1;
6. delete失败时是什么现象,一般是因为什么原因
delete失败可能是因为内存在之前已经delete过一次了,再次delete就会失败,linux下报错:double free or corruption,已放弃。
7. placement new的使用
placement new用于在已经分配好的内存上,再进行二次分配,具体实现如下:
//假设有类X,成员函数Do(),代码如下:
int main()
{
char *buf = new char[sizeof(X)];
X *x = new (buf) X;
x->Do();
x->~X(); //一定要主动调用析构函数去析构
delete []buf;
return 0;
}