调用无关紧要的析构函数会有什么效果?

2022-05-19 00:00:00 destructor language-lawyer c++ lifetime

调用普通析构函数会终止对象的生命周期吗? 我读了this和this,但没有找到好的解释。这些线程声明简单的析构函数调用没有任何效果,像struct A { int x; } a; a.~A(); a.~A();这样的代码是合法的。 但我在标准中找到了这个例子:

struct C { };
void f() {
    C * pc = new C;
    using C2 = C;
    pc->C::~C2(); // OK, destroys *pc
    C().C::~C(); // undefined behavior: temporary of type C destroyed twice
    using T = int;
    0 .T::~T(); // OK, no effect
    0.T::~T(); // error: 0.T is a user-defined-floating-point-literal (5.13.8)
}

此处C具有简单的析构函数,但C类型的对象的双重析构仍具有未定义的行为?


解决方案

从C++20个简单的析构函数调用开始,结束对象的生命周期。在此之前,它们不执行此操作,并且多次调用析构函数是有效的。

在C++17(草案N4659)中,在[basic.life]/1.3中明确排除了琐碎的析构函数,而带有琐碎析构函数的对象将一直存在,直到它们的存储持续时间结束或其存储被重新使用([basic.life]/1.4)。

这已更改为this draft commit中的CWG issue 2256分辨率。

还要注意,在C++20中,伪析构函数调用也会结束生命周期,但在此之前不会。您在问题中链接的两个问题都讨论了这种伪析构函数调用。参见草案[diff.cpp17.basic]/1中与C++17的兼容性说明(N4861)。

相关文章