调用无关紧要的析构函数会有什么效果?
调用普通析构函数会终止对象的生命周期吗?
我读了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)。
相关文章