c++ - 重载运算符new

Question

我对运算符重载 new 和 delete 有点困惑。 我写了一些测试：

#include <iostream>

using namespace std;

class Test
{
    public :

    Test()
    {
        cout << "Test - ctor" <<endl;
    }

    ~Test()
    {
        cout << "Test - dtor" <<endl;
    }

    Test(const Test& t)
    {
        cout << "Test - copy ctor" <<endl;
    }

    Test& operator = (const Test& t)
    {
        cout << "Test - assiment operator" <<endl;
    }

    void* operator new(size_t size)
    {
        cout << "Test - operator new" <<endl;
        return NULL;
    }

    void print()
    {
        cout << "print" << endl;
    }
};


int main()
{
   Test* t = new Test();
   t->print();
   return 0;
}

输出是：

Test - operator new                                                                                                                                                                                
Test - ctor                                                                                                                                                                                        
print  

现在，如果我从 "new" 返回 "NULL" ，为什么我调用 print 函数时程序不会崩溃？ 谢谢。

Answer 1

因为print() 实际上并不需要它的类Test 的任何东西。它所做的只是向stdout 打印一条消息。记住t->print();和print(t);是一样的，你的函数签名其实是：

void print(Test* t);

但这都是编译器为你完成的。

t 只是没有在该方法中使用，因此您（不）幸运，因为它运行了。不过，这仍然只是普通的未定义行为。

如果你绝对希望看到事情崩溃和燃烧，那么稍微改变你的班级：

class Test
{
    public :

    Test() : x(0)
    {
        cout << "Test - ctor" <<endl;
    }

    ~Test()
    {
        cout << "Test - dtor" <<endl;
    }

    Test(const Test& t)
    {
        cout << "Test - copy ctor" <<endl;
    }

    Test& operator = (const Test& t)
    {
        cout << "Test - assiment operator" <<endl;
    }

    void* operator new(size_t size)
    {
        cout << "Test - operator new" <<endl;
        return NULL;
    }

    void print()
    {
        cout << "print" << x << endl;
    }

private:
    int x;
};

Answer 2

这个具体现象与你的operator new函数无关。

通过 NULL 指针调用成员函数的行为是未定义。您的结果是这种未定义行为的表现。

它恰好适用于您的特定情况（可能是因为您的类只是一个函数包）。

（现在最好使用nullptr，而不是老式且不完全正确的NULL。）