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

What is the effect of call to a trivial destructor?(调用无关紧要的析构函数会有什么效果？)

问题描述

调用普通析构函数会终止对象的生命周期吗？ 我读了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)。

这篇关于调用无关紧要的析构函数会有什么效果？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持编程学习网！