C++删除运算符和析构函数：它们实际上是做什么的，两者有什么区别？

Question

我试图在 C++ 中找出删除运算符和析构函数之间的区别，并尝试使用以下两个 sn-ps（我使用 Visual Studio 2019 编译它们）：

代码 1：

#include <stdio.h>
class A
{
    public:
        A() { a = new int; *a = 42; b = 33; }
        ~A()
        {
            printf("destructor!\n");
            delete a;
        }

        int* a;
        int  b;
};

int main(int argc, const char** argv)
{
    A* myA = new A();
    printf("a:%d  b:%d\n", *(myA->a), myA->b);
    //delete myA;
    myA->~A();
    printf("b:%d\n", myA->b);
    printf("a:%d\n", *(myA->a));
}

code2：（和code 1差不多，只是将use delete改为使用destructor）

#include <stdio.h>
class A
{
    public:
        A() { a = new int; *a = 42; b = 33; }
        ~A()
        {
            printf("destructor!\n");
            delete a;
        }

        int* a;
        int  b;
};

int main(int argc, const char** argv)
{
    A* myA = new A();
    printf("a:%d  b:%d\n", *(myA->a), myA->b);
    delete myA;
    //myA->~A();
    printf("b:%d\n", myA->b);
    printf("a:%d\n", *(myA->a));
}

代码1的结果是：

在运行代码 2 时抛出异常： , 控制台是：

从结果我猜，当你运行 myA->~A() 时，它只是执行了定义的析构函数，即 delete a，使这个指针成为悬空指针。 当您运行 delete myA 时，它不会同时执行析构函数，并使指针 myA 成为悬空指针。但我不确定这些具体是如何实现的。

两个结果不同的解释是我的第一个问题

第二个问题s：sn-p的代码是从Here复制过来的，结果也和我的不一样，希望哪位大神也能解释一下

Answer 1

delete myA; 是一个delete expression。如果myA不是nullptr，它会先调用myA指向的对象的析构函数（如果指向的类型有析构函数），然后释放对象之前分配的存储空间new expression。

myA->~A(); 显式调用myA 指向的对象的析构函数。它不会释放先前分配的存储空间。在这种情况下，您正在泄漏与A 关联的内存。除非您使用placement new（您的示例中未使用的高级语言功能），否则显式调用析构函数几乎肯定是错误的。

关于printf("b:%d\n", myA->b); 和printf("a:%d\n", *(myA->a)); 在这两个示例中的输出，这些都会导致未定义的行为。

当您执行delete myA; 时，指针myA 现在有一个无效的指针值（通常称为“悬空指针”），不允许您取消引用。在printf 中你都尝试myA-> 这是未定义的行为，所以结果是没有意义的。

当您执行myA->~A(); 时，指针myA 仍然指向有效存储，但它不再指向A。 A 被破坏了。因此，类似地，尝试取消引用myA 也将是未定义行为，导致无意义的输出。

您的印象似乎是，如果运行您的代码不会产生可见的错误，那么它一定没问题。但这在 C++ 中是不正确的。许多错误会导致未定义的行为，这不需要崩溃或给出任何明确的诊断，即出现问题。 myA->~A(); 示例没有导致运行时错误这一事实并不意味着它比使用 delete myA; 的示例更不正确。