时间戳

首页 > 解决方案 > 调用C++对象析构函数的各种方式

c++ - 调用C++对象析构函数的各种方式

问题描述

可以使用析构函数调用语法显式破坏 C++ 对象（对于伪破坏的非类类型）。但看起来除了普遍接受的语法外，几乎所有现代编译器都支持自己的调用析构函数的方式：

using T = int;
const int x = 1;
int main() { 
    x.~T();             //ok everywhere
    x.~int();           //#1: ok in MSVC only
    x.~auto();          //#2: ok in GCC only
    x.~decltype(x)();   //#3: ok in Clang and MSVC only
}

除了x.~T()适用于所有编译器的 ，还有至少 3 个其他选项，演示：https ://gcc.godbolt.org/z/895bd9T5c

根据标准，选项#1、#2 或#3 中的任何一个是否合法，或者它们都只是相应编译器的扩展/错误？

标签： c++language-lawyerexplicit-destructor-call

解决方案

语法不允许（1）和（2），所以这些是非法的。
（参见[expr.prim.id.dtor]-> id-expression -> unqualified-id -> type-name。）

虽然语法确实允许 (3) (... -> unqualified-id -> decltype-specifier )，但我没有看到任何[expr.prim.id.dtor]不允许decltype在这种情况下使用的内容。

我尝试了几种不同的方法（创建T类类型、创建x依赖等），并且在所有情况下 GCC 都拒绝了~decltype(...). 我假设这是一个 GCC 错误。

推荐阅读