使用 decltype 显式调用析构函数

Question

考虑以下 sn-p：

struct Foo {};

int main()
{
   Foo f;
   f.~decltype(f)(); // fine with clang, error with gcc
   f.~decltype(auto)(); // error with both clang and gcc 
}

显式析构函数调用的规则由标准语法处理，pseudo-destructor-name 定义如下：

伪析构函数名称：
嵌套名称说明符 opt 类型名称 :: ~ 类型名称
嵌套名称说明符模板 simple-template-id :: ~type-name
~ 类型名称
~ decltype-specifier

还有：

decltype-specifier:
decltype ( 表达式 )
decltype ( 自动 )

那么上面的 sn-p 不应该按照标准格式正确吗？ （不考虑析构函数在同一个对象上被调用两次然后第三次的事实。）

GCC Live
Clang Live

Answer 1

您的程序格式错误。
§7.1.6.4/[dcl.spec.auto] 声明：

在本节未明确允许的上下文中使用 auto 或 decltype(auto) 的程序是格式错误的。

在那里，我找不到任何可以让你写这个的东西。通常，decltype(auto) 仅用于变量和函数声明。不过，语法允许的事实并不意味着它的格式正确。

因此，像f.~decltype(f)() 这样的写法并没有被明确禁止，并且在语法中是允许的。 GCC 无法编译它的事实很可能是一个错误。