调用析构函数方法比较

Question

我只是想知道这三种调用析构函数的方法是否有任何显着/严重的差异。考虑以下代码。另请考虑 main() 中提到的两种情况。

class Sample 
{
public:
    ~Sample()
    {
        cout << "destructor called" << endl;
    }
    void destroyApproach1() { this->~Sample(); }
    void destroyApproach2() { delete this; }
};

void destroyApproach3(Sample *_this)
{
    delete _this;
}

void TestUsingNew()
{
    Sample *pSample[] = { new Sample(), new Sample(),new Sample()};
    pSample[0]->destroyApproach1();
    pSample[1]->destroyApproach2();
    destroyApproach3(pSample[2]);
}
void TestUsingPlacementNew()
{
    void *buf1 = std::malloc(sizeof(Sample));
    void *buf2 = std::malloc(sizeof(Sample));
    void *buf3 = std::malloc(sizeof(Sample));
    Sample *pSample[3] = { new (buf1) Sample(), new (buf2) Sample(), new (buf3) Sample()};
    pSample[0]->destroyApproach1();
    pSample[1]->destroyApproach2();
    destroyApproach3(pSample[2]);
}
int main() 
{ 
    //Case 1 : when using new
    TestUsingNew();

    //Case 2 : when using placement new
    TestUsingPlacementNew();
    return 0;
}

回复时请具体说明您要回答哪种情况：情况 1 或情况 2，或两者兼而有之！

---

另外，我试图以这种方式编写 TestUsingPlacementNew() ，但它抛出运行时异常（MSVC++2008）。我不明白为什么：

void TestUsingPlacementNew()
{
    const int size = sizeof(Sample);
    char *buffer = (char*)std::malloc( size * 3);
    Sample *pSample[] = { new (buffer) Sample(), new (&buffer[size]) Sample(),new  (&buffer[2*size]) Sample()};
    pSample[0]->destroyApproach1();
    pSample[1]->destroyApproach2();
    destroyApproach3(pSample[2]);
}

也许内存填充和/或对齐可能是原因？

---

相关主题：销毁对象放置新后未调用析构函数

Answer 1

是的，这些方法之间存在巨大差异：

• 在destroyApproach1中，您只调用对象的析构函数；您实际上并没有释放它占用的内存。

• 在 destroyApproach2 和 destroyApproach3 中，您调用对象的析构函数并释放该对象占用的内存（通过使用>删除表达式）。在第一个 TestUsingPlacementNew 测试中，这两种方法也是错误的，因为对象占用的内存最初是通过调用 malloc 分配的，而不是通过 new 分配的。代码>.

上次测试中出现运行时错误是因为您尝试删除数组中索引1处的对象；指向该元素的指针最初并不是通过调用 new 获得的。在第一个示例中，它仅“有效”（其中“有效”实际上意味着“行为未定义，但它似乎仍然可以正确运行），因为所有三个指针都指向独立的堆分配。

Answer 2

delete this 不是在现代代码中调用析构函数的正确方法。一般来说，您不必调用析构函数：它们的魔力在于它们在适当的时间被调用：

struct A {
    ~A() { std::cout << "running destructor\n"; }
};

int main()
{
    A a;
    return 0;
}

在所有情况下，delete 都是为了释放由 new 分配的内存。当对象不是由 new 分配时，delete this 将会导致麻烦：

struct B {
    ~B() { delete this }
};

int main()
{
    B b;
    return 0;
}

这将使您的程序在几乎所有具有实际操作系统的平台上崩溃（“几乎所有”，因为这在技​​术上是未定义的行为，并且在这种情况下，允许符合标准的程序损坏自身并继续运行，请祈祷您的平台所做的不仅仅是让您在损坏的内存管理数据结构和无效堆栈中蹒跚而行。

---

放置new主要用于硬件设备驱动程序或其他必须在特殊地址分配指针的地方。 一般来说，您不想销毁通过放置分配的对象新。如果您愿意，只需直接调用析构函数：

My_object* o = new(0xffff) My_object();
o->~My_object();

但是，请记住，Bjarne Stroustrup 说：“应尽可能避免显式调用析构函数。有时，它们是必要的。...新手应该三思而后行。显式调用析构函数，并在这样做之前询问更有经验的同事”（C++ 编程语言，10.4.11）。