为什么为重载运算符new调用类构造函数

Why class constructor being called for overloaded operator new?

本文关键字：调用 构造函数 new 运算符 重载 为什么      更新时间：2023-10-16

我使用的是c++11(g++v4.7.2(

我已经为"Base"类重载了运算符new和运算符delete。显然，他们不应该在调用new/delete时调用构造函数/析构函数，因为我还没有在重载的new/delete中实现ctor/dtor调用。但输出与相反

//Output of below program
Base new opnd.cpp 87
Base ctor
10
Base dtor
Base delete

为什么为重载运算符new/delete调用ctor/dtor？

#include <iostream>
using namespace std;
#define NEW new(__FILE__, __LINE__)
#define DELETE delete
class Base
{
    public:
        Base():m_i(10){ cout << "Base ctor" << endl; }
        virtual ~Base(){ cout << "Base dtor" << endl; }
        void* operator new(size_t size, const char* file, int line) throw(std::bad_alloc);
        void operator delete(void *rawMem, size_t size);
        int geti(){ return m_i; }
    private:
        int m_i;
};
void* Base::operator new(size_t size, const char* file, int line) throw(std::bad_alloc)
{
    void *p;
    cout << "Base new " << file << " " << line << endl;
    //Handle 0 byte requests
    if(size == 0)
        size = 1;
    if(size != sizeof(Base))
    {
        return ::operator new(size);       // To handle new requests for derived classes
    }
    while(true)
    {
        p = malloc(size);
        if(p)
            return p;
        new_handler globalHandler = set_new_handler(0);
        set_new_handler(globalHandler);
        if(globalHandler) (*globalHandler)();
        else throw std::bad_alloc();
    }
}
void Base::operator delete(void *rawMem, size_t size)
{
    cout << "Base delete" << endl;
    if(rawMem == 0)
        return;
    if(size != sizeof(Base))
    {
        ::operator delete(rawMem);     //To handle delete requests for derived classes
        return;
    }
    free(rawMem);
}
int main()
{
   Base *b = NEW Base;
   cout << b->geti() << endl;
   DELETE b;
   return 0;
}

operator new函数(无论是全局函数还是类特定函数(都不是new表达式的全部实现。这只是分配函数。当您在代码中写入new T时，会发生以下情况：

  1. 选择并调用一个名为operator new的适当分配函数来获得对象的空间。

  2. T的构造函数是在从点1获得的空间上调用的。

这意味着没有办法通过编写自己的operator new来绕过构造函数调用——调用构造函数是由语言完成的，而不是由分配函数完成的。

'Operator new'和'new Operator'是两个不同的东西。当我们使用new来创建像这样的对象时

     MyClass* ca= new MyClass();

我们正在使用"新操作员"。它做两件事：

  1. 调用"Operator new"以分配足够的内存。它可能会像你一样超载
  2. 调用对象的构造函数来设置初始化数据

无论空间如何分配，都将执行这两个步骤。因此，在使用重载的"Operator new"分配内存后，将调用构造函数。

相关文章：