C++ new/new operator、operator new、placement new初识
简要释义
1.operator new是内存分配函数(同malloc),C++在全局作用域(global scope)内提供了3份默认的operator new实现,并且用户可以重载operator new。
1 void* operator new(std::size_t) throw(std::bad_alloc);//normal new 2 void* operator new(std::size_t,const std::nothrow_t&) throw();//nothrow new 3 void* operator new(std::size_t,void*) throw();//placement new
下面这两行代码是等价的,都是分配一块大小为sizeof(widget)的内存并返回指针,没有执行构造函数。
1 widget *a=(widget*) ::operator new(sizeof(widget)); 2 widget *b=(widget*)malloc(sizeof(widget));
2.new/new operator即C++内置的new操作符。
//这里new一个widget对象分成两步 //1.运行期系统调用operator new开辟sizeof(widget)大小的内存 //2.在该内存地址上构造一个widget对象 widget *c=new widget();
我们平常的new操作由运行期系统调用operator new,然后调用构造函数初始化。这个过程是不可重定义的。即程序员不能重载C++内建的new操作符。我们能重载的仅是其中的 operator new/operator new[],即分配内存的部分。
3.placement new是operator new在全局作用域上的一个重载版本,即如上我们看到的
1 void* operator new(std::size_t,void*) throw();//placement new
placement new并不分配内存,而是返回已分配的内存的指针,这个指针正是函数参数列表中的void *,即“返回一个你刚传入的已分配的内存的指针”。
std::中该函数的实现:
1 inline _LIBCPP_INLINE_VISIBILITY void* operator new (std::size_t, void* __p) _NOEXCEPT {return __p;}
那么为什么需要这个placement new呢?
答案是:当你需要在一段已分配的内存中构造对象时,调用寻常的new widget()会开辟另外一个内存空间,而非在已知地址上构造widget()对象。
//这里先申请了一段内存空间,由指针widget*a持有,并未调用构造函数 //然后用placement new在a地址上构造了widget对象 //这里::表示调用在global scope中的匹配函数 widget *a=(widget*) ::operator new(sizeof(widget)); ::new(a) widget();
进一步的讨论
1.placement new实质上是有额外实参之operator new,一般情况下我们指的placement new是那个额外实参为void*的重载版本(已被纳入C++标准程序库),这些叫法对我们的讨论没有影响,只要知道placement new同时也是一种operator new即可。但是不要忘了我们可以重载其它版本的placement new,例如额外实参为std::ostream&,提供log功能。
1 #include <iostream> 2 class widget 3 { 4 public: 5 static void * operator new(std::size_t _size,std::ostream& o) 6 { 7 o<<"void * operator new(std::size_t _size,ostream& o)"<<std::endl; 8 return ::operator new(_size); 9 } 10 widget() 11 { 12 std::cout<<"widget()"<<std::endl; 13 }; 14 ~widget() 15 { 16 std::cout<<"~widget()"<<std::endl; 17 }; 18 19 }; 20 int main() 21 { 22 //下面两种构造方法是等价的 23 //构造一个widget对象,并且使用有log功能的operator new 24 widget* a=(widget*) widget::operator new(sizeof(widget), std::cout); 25 ::new(a) widget(); 26 27 //同样构造一个widget对象,并且使用有log功能的operator new 28 widget* b=new(std::cout) widget(); 29 return 0; 30 }
这份示例代码中,我在类中重载了placement new,附带的额外参数是ostream&。
2.注意作用域遮掩问题。如果你在类内重载了一个operator new,当你对这个类及其子类使用new操作符的时候,会掩盖全局作用域中的operator new,编译器发现里层作用域(类内)有operator new声明,就不会查找全局作用域是否有其它operator new声明,而是直接进入参数匹配阶段,如果你重载的operator new参数和调用的不匹配,便会抛出一个编译错误。
解决方法就是:如果类内重载了operator new,并且你仍有可能使用到全局作用域中的operator new,请同时也重载和全局作用域同型的operator new,确保调用成功。
为你的类建立一个base class,内含全局作用域同型的operator new,使其调用全局作用域内的operator new即可。
1 #include <iostream> 2 class globalScopeNew 3 { 4 public: 5 static void* operator new(std::size_t size) throw(std::bad_alloc) 6 { 7 return ::operator new(size); 8 } 9 static void* operator new(std::size_t size,const std::nothrow_t& t) throw() 10 { 11 return ::operator new(size, t); 12 } 13 static void* operator new(std::size_t size,void* p) throw() 14 { 15 return ::operator new(size, p); 16 } 17 18 }; 19 class widget:public globalScopeNew 20 { 21 public: 22 using globalScopeNew::operator new; 23 static void * operator new(std::size_t _size,std::ostream& o) 24 { 25 o<<"void * operator new(std::size_t _size,ostream& o)"<<std::endl; 26 return ::operator new(_size); 27 } 28 widget() 29 { 30 std::cout<<"widget()"<<std::endl; 31 }; 32 ~widget() 33 { 34 std::cout<<"~widget()"<<std::endl; 35 }; 36 37 }; 38 int main() 39 { 40 widget* w2=new(std::cout) widget(); 41 //这句调用原来不能通过编译 42 widget* w1=new widget(); 43 widget* w3=(widget*)operator new(sizeof(widget)); 44 //这句调用原来不能通过编译 45 new(w3) widget(); 46 return 0; 47 }
注意,这边需要在子类中using globalScopeNew::operator new;即在子类中使基类的operator new可见。
这样,各种形式的new操作符调用都能通过编译了。
posted on 2015-01-06 01:15 kyokuhuang 阅读(513) 评论(2) 编辑 收藏 举报