New的返回值和New的（3种）用法详解

我们知道，使用malloc/calloc等分配内存的函数时，一定要检查其返回值是否为“空指针”(亦即是检查分配内存的操作是否成功)，这是良好的编程习惯，也是编写可靠程序所必需的。但是，如果你简单的把这一招应用到new上，那就不一定正确了。我经常看到类似这样的代码：

    int* p = new int[SIZE];

        if(p==0) //检查p是否空指针

            return -1;

        //其他代码

    其实，这里的 if( p==0 )完全是没啥意义的。C++里，如果new分配内存失败，默认是抛出异常的。所以，如果分配成功，p==0就绝对不会成立；而如果分配失败了，也不会执行if( p==0 )，因为内存分配失败时，new就会抛出异常跳过后面的代码。如果你想检查new是否成功，应该捕捉异常：

    try{

        int* p = new int[SIZE];

        //其他代码

    }catch( const bad_alloc& e ){

        return -1;

    }

    据说一些老的编译器里，new如果分配内存失败，是不抛出异常的(大概因为那时C++还没加入异常机制)，而是和malloc一样，返回空指针。不过，我从来都没有遇到过new返回空指针的情况。

    当然，标准的C++亦提供了一个方法来抑制new抛出异常，而返回空指针：

    int* p = new (std::nothrow) int; //这样，如果new失败了，就不会抛出异常，而是返回空指针

        if( p==0 )//如此这般，这个判断就有意义了

            return -1；

            //其他代码

文章出处：http://tech.ddvip.com/2009-05/1242375623119337.html

 

P.S.

C++中new的用法(http://blog.csdn.net/pengzhixi/archive/2009/06/17/4274984.aspx)

C++中，new的用法很灵活，这里进行了简单的总结：

1. new() 分配这种类型的一个大小的内存空间，并以括号中的值来初始化这个变量；

2. new[] 分配这种类型的n个大小的内存空间，并用默认构造函数来初始化这些变量；

#include <iostream>

#include <cstring>

using namespace std;

int main()

{

    //char* p = new char("Hello");

    //error分配一个char(1字节)的空间

    //用"Hello"来初始化，这明显不对

    char* p = new char[6];

    //p = "Hello";

    //不能将字符串直接赋值给该字符指针p，原因是：

    //指针p指向的是字符串的第一个字符，只能用下面的

    //strcpy

    strcpy(p, "Hello");

    cout<<*p<<endl; //只是输出p指向的字符串的第一个字符！

    cout<<p<<endl;  //输出p指向的字符串！

    delete[] p;

    return 0;

}

输出结果：

H

Hello

3. 当使用new运算符定义一个多维数组变量或数组对象时，它产生一个指向数组第一个元素的指针，返回的类型保持了除最最左边维数外的所有维数。例如：

int *p1 = new int[10];

返回的是一个指向int的指针int*

int (*p2)[10] = new int[2][10];

new了一个二维数组，去掉最左边那一维[2]，剩下int[10]，所以返回的是一个指向int[10]这种一维数组的指针int(*)[10].

int (*p3)[2][10] = new int[5][2][10]; new了一个三维数组，去掉最左边那一维[5]，还有int[2][10]，所以返回的是一个指向二维数组int[2][10]这种类型的指针int (*)[2][10].

#include <iostream>

#include <typeinfo>

using namespace std;

int main()

{

    int* a = new int[34];

    int* b = new int[];

    int (*c)[2] = new int[34][2];

    int (*d)[2] = new int[][2];

    int (*e)[2][3] = new int[34][2][3];

    int (*f)[2][3] = new int[][2][3];

    a[0] = 1;

    b[0] = 1; //运行时错误，无分配的内存，b只起指针的作用，用来指向相应的数据

    c[0][0] = 1;

    d[0][0] = 1; //运行时错误，无分配的内存，d只起指针的作用，用来指向相应的数据

    e[0][0][0] = 1;

    f[0][0][0] = 1; //运行时错误，无分配的内存，f只起指针的作用，用来指向相应的数据

    cout<<typeid(a).name()<<endl;

    cout<<typeid(b).name()<<endl;

    cout<<typeid(c).name()<<endl;

    cout<<typeid(d).name()<<endl;

    cout<<typeid(e).name()<<endl;

    cout<<typeid(f).name()<<endl;

    delete[] a;

    delete[] b;

    delete[] c;

    delete[] d;

    delete[] e;

    delete[] f;

}

输出结果：

int*

int*

int (*)[2]

int (*)[2]

int (*)[2][3]

int (*)[2][3]

New的（3种）用法详解

一. 简介
new有三种使用方式：plain new，nothrow new和placement new。

（1）plain new顾名思义就是普通的new，就是我们惯常使用的new。在C++中是这样定义的：
    void* operator new(std::size_t) throw(std::bad_alloc);
    void operator delete(void *) throw();

提示：plain new在分配失败的情况下，抛出异常std::bad_alloc而不是返回NULL，因此通过判断返回值是否为NULL是徒劳的。

（2）nothrow new是不抛出异常的运算符new的形式。nothrow new在失败时，返回NULL。定义如下：
    void * operator new(std::size_t,const std::nothrow_t&) throw();
    void operator delete(void*) throw();

（3）placement new意即“放置”，这种new允许在一块已经分配成功的内存上重新构造对象或对象数组。placement new不用担心内存分配失败，因为它根本不分配内存，它做的唯一一件事情就是调用对象的构造函数。定义如下：
    void* operator new(size_t,void*);
    void operator delete(void*,void*);

提示1：palcement new的主要用途就是反复使用一块较大的动态分配的内存来构造不同类型的对象或者他们的数组。

提示2：placement new构造起来的对象或其数组，要显示的调用他们的析构函数来销毁，千万不要使用delete。

char* p = new(nothrow) char[100];
long *q1 = new(p) long(100);
int *q2 = new(p) int[100/sizeof(int)];

二.实例

1.plain new/delete.普通的new
定义如下：
void *operator new(std::size_t) throw(std::bad_alloc);
void operator delete(void*) throw();

注：标准C++ plain new失败后抛出标准异常std::bad_alloc而非返回NULL，因此检查返回值是否为NULL判断分配是否成功是徒劳的。

测试程序：

复制代码代码如下:

#include "stdafx.h"
#include <iostream>
using namespace std;

char *GetMemory(unsigned long size)
{
char *p=new char[size];//分配失败，不是返回NULL
return p;
}

int main()
{
try
{
  char *p=GetMemory(10e11);// 分配失败抛出异常std::bad_alloc
  //...........
  if(!p)//徒劳
   cout<<"failure"<<endl;
  delete [] p;

}
catch(const std::bad_alloc &ex)
{
  cout<<ex.what()<<endl;
}

    return 0;
}

2.nothrow new/delete不抛出异常的运算符new的形式，new失败时返回NULL。
定义如下：

复制代码代码如下:

void *operator new(std::size_t,const std::nothrow_t&) throw();
void operator delete(void*) throw();
struct nothrow_t{};  const nothrow_t nothrow;//nothrow作为new的标志性哑元

测试程序：

复制代码代码如下:

#include "stdafx.h"
#include <iostream>
#include <new>
using namespace std;

char *GetMemory(unsigned long size)
{
char *p=new(nothrow) char[size];//分配失败，是返回NULL
if(NULL==p)
  cout<<"alloc failure!"<<endl;
return p;
}

int main()
{
try
{
  char *p=GetMemory(10e11);
  //...........
  if(p==NULL)
   cout<<"failure"<<endl;
  delete [] p;

}
catch(const std::bad_alloc &ex)
{
  cout<<ex.what()<<endl;
}

    return 0;
}

3.placement new/delete 主要用途是： 反复使用一块较大的动态分配成功的内存来构造不同类型的对象或者它们的数组。例如可以先申请一个足够大的字符数组，然后当需要时在它上面构造不同类型的对象或数组。placement new不用担心内存分配失败，因为它根本不分配内存，它只是调用对象的构造函数。

测试程序：

复制代码代码如下:

#include "stdafx.h"
#include <iostream>
#include <new>
using namespace std;

class ADT
{
int i;
int j;
public:
ADT()
{
}
~ADT()
{
}
};

int main()
{
char *p=new(nothrow) char[sizeof(ADT)+2];
if(p==NULL)
  cout<<"failure"<<endl;

ADT *q=new(p) ADT;  //placement new:不必担心失败
// delete q;//错误!不能在此处调用delete q;
q->ADT::~ADT();//显示调用析构函数
delete []p;
    return 0;
}

注： 使用placement new构造起来的对象或数组，要显式调用它们的析构函数来销毁（析构函数并不释放对象的内存），千万不要使用delete.这是因为placement new构造起来的对象或数组大小并不一定等于原来分配的内存大小，使用delete会造成内存泄漏或者之后释放内存时出现运行时错误。