0

我只是想知道这三种调用析构函数的方法是否有任何显着/严重的差异。考虑以下代码。还请考虑 中提到的两种情况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]);
}

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

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

4

2 回答 2

5

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

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

  • 在destroyApproach2其中destroyApproach3调用对象的析构函数并释放对象占用的内存（通过使用delete表达式）。在第一个TestUsingPlacementNew测试中，这两个也是错误的，因为对象占用的内存最初是通过调用分配的malloc，而不是由new.

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

于 2010-12-13T06:27:33.537 回答
1

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

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

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

delete在所有情况下都是为了释放分配的内存new。 delete this当对象未被分配时会引起麻烦new：

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

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

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

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

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

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

于 2010-12-13T07:39:20.323 回答