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 中的任何一个是否合法,或者它们都只是相应编译器的扩展/错误?

回答

语法不允许 (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 错误。


以上是C++对象析构函数的多种调用方式的全部内容。
THE END
分享
二维码
< <上一篇
下一篇>>