删除别名指针

Question

这样做：

 union{
     int * integer;
     char * character;
 } u;
 u.integer = new int;
 delete u.character;

 u.integer = new int[5];
 delete [] u.character;

我认为如果这些类型中的任何一个具有不平凡的析构函数，这将不起作用，但是这样可以吗？

Answer 1

如果我们假设“工作”意味着具有明确定义的行为而不是看起来可以工作（即不崩溃），那么在任何情况下这都行不通。

Answer 2

不，无论该项目是否具有简单的析构函数，这都是未定义的行为。如果析构函数很简单，它可能看起来可以“工作”，而实际上它会泄漏内存等。

Answer 3

我想说这是介于实现定义和未定义之间的某个地方。

5.3.5/2：“在第一个替代方案（删除对象）中，
delete 的操作数可能是...指向
由先前的 new 表达式创建的非数组对象....

按照您的方式使用时，指针的值不会改变，因此只要 sizeof(char*) == sizeof(int*)，这应该按预期工作。该特定比较的结果是实现定义的，如果假设为假，则行为未定义。

所以它确实不是特别安全。

Answer 4

很容易看出这是一个危险的错误。这两种类型可能具有完全不同且不兼容的内存分配和释放方式。这包括填充、垃圾收集、簿记、特定于类的内存操作等。只是不要这样做。

#include <cstddef>
#include <cstdlib>
#include <iostream>

using namespace std;

class A
{

    public:

        void* operator new (size_t size)
        {
            cout << "A::operator new (size_t)" << endl;
            return malloc(size);
        }

        void* operator new [] (size_t size)
        {
            cout << "A::operator new [] (size_t)" << endl;
            return malloc(size);
        }

        void operator delete (void* ptr)
        {
            cout << "A::operator delete (void*)" << endl;
            free(ptr);
        }

        void operator delete [] (void* ptr)
        {
            cout << "A::operator delete [] (void*)" << endl;
            free(ptr);
        }

};

class B
{

    public:

        void* operator new (size_t size)
        {
            cout << "B::operator new (size_t) with some B-specific stuff" << endl;
            return malloc(size);
        }

        void* operator new [] (size_t size)
        {
            cout << "B::operator new [] (size_t) with some B-specific stuff" << endl;
            return malloc(size);
        }

        void operator delete (void* ptr)
        {
            cout << "B::operator delete (void*) with some B-specific stuff" << endl;
            free(ptr);
        }

        void operator delete [] (void* ptr)
        {
            cout << "B::operator delete [] (void*) with some B-specific stuff" << endl;
            free(ptr);
        }

};


int main (int, char**)
{

    union{
        A* a;
        B* b;
    } u;

    u.a = new A();
    delete u.b;

    u.a = new A[5];
    delete [] u.b;

}