显式调用 `int` 析构函数 - 为什么需要类型别名？ [复制]

Question

下面的程序...

int main()
{
    int{1}.~int();
}

无法在 上编译（请参阅 conformance viewer）：

• clang++ 主干，带有-std=c++1z

• g++ 主干，带-std=c++1z

• CL 19 2017

---

为int引入一个类型别名...

int main()
{
    using X = int;
    int{1}.~X();
}

...使程序在所有前面提到的编译器上都有效，没有警告（参见conformance viewer）。

为什么在调用int 的析构函数时需要类型别名？这是因为int 不是用于销毁调用的有效语法元素吗？

Answer 1

之所以有效，是因为语法没有为内置类型做出规定，但它确实为别名做出了规定：

[expr.post]/1:

postfix-expression:
    postfix-expression . pseudo-destructor-name
    postfix-expression -> pseudo-destructor-name

pseudo-destructor-name:
    ~ type-name
    ~ decltype-specifier

还有[dcl.type.simple]/1：

type-name:
  class-name
  enum-name
  typedef-name
  simple-template-id

您可以想象type-name 下的每个变量代表什么。对于手头的情况，[expr.pseudo]/1 指定它只是一个void 表达式：

在点之后使用伪析构函数名称。或箭头 -> 运算符 表示 由 type-name 表示的非类类型的析构函数 或 decltype 说明符。结果只能用作操作数 对于函数调用操作符()，这样调用的结果有 键入无效。唯一的效果是评估后缀表达式 在点或箭头之前。

需要注意的有趣的事情是，您应该能够在没有别名的情况下执行此操作（如果您有一个命名对象），因为伪析构函数调用也适用于 decltype 说明符：

auto a = int{1};
a.~decltype(a)();