Question

我正在使用c ++ 11（g ++ v4.7.2）

我已经重载了操作员new和operator delete for＆＃34; Base＆＃34;类。显然他们不应该在调用new / delete时调用构造函数/析构函数，因为我没有在重载的new / delete中实现ctor / dtor调用。但输出与此相反

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

为什么要调用ctor / dtor来重载operator new / delete？

#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;
}

Answer 1

operator new函数（无论是全局函数还是类特定函数）不是new表达式的整个实现。它只是分配功能。当您在代码中编写new T时，会发生以下情况：

选择并调用名为operator new的适当分配函数以获取对象的空间。
T的构造函数在从第1点获得的空间上调用。

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

Answer 2

'操作员新'和'新操作员'是两个截然不同的东西。当我们使用new创建一些像

这样的对象时

     MyClass* ca= new MyClass();

我们正在使用'新运营商'。它做了两件事：

调用'operator new'来分配足够的内存。它可以像你一样重载。
调用对象的构造函数来设置初始化数据。

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

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

2 个答案: