• 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操作符调用都能通过编译了。

  • 相关阅读:
    echarts属性杂记
    vue工作问题小计
    vue 表单数据修改,导致页面列表数据被同步修改问题的解决。
    利用syslog记录日志的简单日志函数
    1 概述
    PowerDesigner 如何自定义Data Type
    Mybatisplus读取(GeoJson)和保存Postgis geography数据
    【Mybatis】model类通过注解忽略某属性
    如何利用PostGIS正确计算距离和面积
    Linux上编写监控jar包重启脚本
  • 原文地址:https://www.cnblogs.com/kyokuhuang/p/4199724.html
Copyright © 2020-2023  润新知