c++ - 为什么在下面的例子中 int(a) 是一个表达式而 int(unsigned(a)) 是一个 type-id？

Question

在[dcl.ambig.res]/2我们发现以下内容:

void foo(signed char a) {
    sizeof(int(a)); // expression
    sizeof(int(unsigned(a))); // type-id (ill-formed)
}

为什么 int(a) 是一个表达式而 int(unsigned(a)) 是一个 type-id？

乍一看，我会说两者都是表达式。

Answer 1

int(unsigned(a))的解析和int(unsigned a)一样，都是函数类型