C++对象析构函数的多种调用方式

Question

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

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个其他选项，demo：https://gcc.godbolt.org/z/895bd9T5c

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

Answer 1

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

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

我尝试了几种不同的方法（使 T 成为 class 类型，使 x 从属，等等），但在所有情况下，GCC 都拒绝了 ~decltype(...)。我假设这是一个 GCC 错误。

C++对象析构函数的多种调用方式

Various ways of calling C++ object destructor

c++

language-lawyer

explicit-destructor-call