c++ - 使用 decltype 显式调用析构函数

Question

考虑以下代码段:

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 定义如下:

pseudo-destructor-name:
nested-name-specifier opt type-name :: ~ type-name
nested-name-specifier template simple-template-id :: ~type-name
~ type-name
~ decltype-specifier

还有:

decltype-specifier:
decltype ( expression )
decltype ( auto )

那么上面的代码片段不应该按照标准格式正确吗？ (不考虑析构函数在同一个对象上被调用两次然后第三次的事实。)

GCC Live
Clang Live

Answer 1

您的程序格式不正确。
§7.1.6.4/[dcl.spec.auto] 规定:

A program that uses auto or decltype(auto) in a context not explicitly allowed in this section is ill-formed.

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

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