操作员如何“删除这个”呢？

Question

我只是测试运算符“删除这个”。使用句柄系统调用“new / delete”将丢失一个覆盖删除函数调用。

句柄功能如下：

inline void* operator new(size_t size)
{
    void* p = ::malloc( size );
    fprintf( stderr, "new size %ld: %p\n", size, p );
    return p; 
}

inline void* operator new[]( size_t size )
{
    void* p = ::malloc( size );
    fprintf( stderr, "new size[] %ld: %p\n", size, p );
    return p; 
}

inline void  operator delete(void* p)    
{
    fprintf( stderr, "delete: %p\n", p );
    ::free(p); 
}

inline void  operator delete[](void* p)  
{
    fprintf( stderr, "delete []: %p\n", p );
    ::free(p); 
}

和测试类：

class A
{
    public:
        A() : a(NULL)
        {
            printf( "A construct\n" );
            a = new int[100];
        }

        ~A()
        {
            printf( "A destruct \n" );
            freeA();
        }

        void freeA()
        {
            if ( a ) { delete [] a; a = NULL; }
        }

        void release()
        {
            delete this;
        }

    private:
        int*    a;
};

我打电话的时候

A* a = new A();
a->release();

结果是：

new size 8: 0x5642fc1c4e70
A construct
new size[] 400: 0x5642fc1c52a0
A destruct 
delete []: 0x5642fc1c52a0

错过了关于A（0x5642fc1c4e70）的删除调用，为什么？

Answer 1

我刚发现问题：使用内联，运算符delete（void * p）根本无法调用。 但删除[]（void * p）即可。 现在我将结束这个。

Answer 2

https://timsong-cpp.github.io/cppwp/replacement.functions#3

使用程序的定义而不是实现提供的默认版本（[support.dynamic]）。 这种替换发生在程序启动之前（[basic.def.odr]，[basic.start]）。 程序的声明不应指定为内联。 无需诊断。

这是规则。 内联不允许。 这就是你缺少一个删除的原因，它没有内联说明符。

Answer 3

我在c ++ 14下面运行你的代码，可以正确调用你的delete操作符。

https://onlinegdb.com/S1zAgzXbB

但是，运行版本c ++ 14（包括c ++ 14），然后需要将代码从inline void operator delete(void* p)更改为inline void operator delete(void* p,std::size_t sz)或删除inline关键字。 那么你的代码将正确运行

https://onlinegdb.com/BJ3hMz7WH

希望它会对你有所帮助。

Answer 4

由于您已经定义了析构函数，因此无需定义释放函数。 直接在实例的指针上使用delete

代替

A* a = new A();
a->release();

你将会拥有

A* a = new A();
delete a;

删除一个将调用~A（）析构函数