转载链接:https://www.cnblogs.com/lustar/p/10717502.html
前段时间复习面试的时候,看到这个问题经常有问到,我这个小白就看了些博客和书,总结一下。
new可以说是个一个关键字,也可以说是一个运算符,并且可以被重载。
1、new operator
这个就是平时最经常用的new,用法如下程序所示:
class A
{
public:
A(int i) :a(i){}
private:
int a;
};
int main()
{
A* example = new A(1);
}
new operator实际上执行了以下三个步骤:
1、调用operator new分配内存(后面要说的第二种new),如果类本身定义了operator new,那么会调用类自己的operator new,而不是全局的;
2、调用A的构造函数A::A(int);
3、返回相应的指针
2、operator new
operator new不调用构造函数,而仅仅分配内存,有两个版本,前者抛出异常,后者当失败时不抛出异常,而是直接返回:
void* operator new (std::size_t size);
void* operator new (std::size_t size, const std::nothrow_t& nothrow_value) noexcept;
可以看到,operator new的作用有点类似与C语言中的malloc,有的地方说operator new的底层实现可以是malloc。
C++中可以用set_new_handler()设置抛出bad_alloc()异常时调用的处理函数,<<Effective C++>>有几个条款很详细描述了具体做法。
我还是太菜了,水平不够,不太能理解自定义异常处理函数的内容…T T
class A
{
public:
A(int i) :a(i){}
void* operator new(size_t size)
{
cout << "call A::operator new" << endl;
return malloc(size);
}
void operator delete(void* p)
{
cout << "call A::operator delete" << endl;
return free(p);
}
void* operator new(size_t size, const nothrow_t& nothrow_value) noexcept
{
cout << "call A::operator new (noexcept)" << endl;
return malloc(size);
}
void operator delete(void* p, const nothrow_t& nothrow_value) noexcept
{
cout << "call A::operator delete (noexcept)" << endl;
free(p);
}
private:
int a;
};
int main()
{
A* example1 = new A(1);
delete example1;
A* example2 = new(nothrow) A(2);
delete example2;
}
用一个小例子可以证明一下,确实调用的是自定义operator new/delete,而不是全局的。
3、placement new
placement new仅在一个已经分配好的内存指针上调用构造函数,基本形式如下:
void* operator new (std::size_t size, void* ptr) noexcept;
placement new不需要抛出异常,因为它自身不分配内存。
同时,ptr指针是已经分配好的,可能在栈上也可能在堆上,如下面的例子:
class A
{
public:
A(int i) :a(i){}
int getValue(){ return a; }
private:
int a;
};
int main()
{
A* p1 = new A(1); //在堆上分配
A A2(2); //在栈上分配
A* p2 = &A2;
cout << "placement new前的值: " << p1->getValue() << " " << p2->getValue() << endl;
A* p3 = new(p1) A(3); //在p1的位置上构造
A* p4 = new(p2) A(4); //在p2的位置上构造
cout << "placement new后的值: " << p1->getValue() << " " << p2->getValue() << endl;
}