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

Question

可以使用析构函数调用语法显式析构 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 中的任何一个都是合法的，还是所有选项都只是相应编译器的扩展/错误？

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 成为类类型，使 x 依赖，等等)，并且在所有情况下，GCC 都拒绝了 ~decltype(. ..)。我假设这是一个 GCC 错误。