I(I()) 的含义

Question

示例代码：

typedef int I;
struct X{ X(int); };

int main()
{
    int(int());
    X(X());
    I(I());
}

int(int()); 行是一个使用函数转换符号的表达式——它是一个临时的int，用值初始化的int 初始化。

X(X()); 行是一个名为X 的函数的声明，它不带任何参数返回结构X。

我的问题是：I(I()) 这里是什么意思？标准中的哪些规则决定了这三种情况的含义差异？

Answer 1

规则说，如果一个构造对于声明或语句的语法有歧义，那么它被认为是一个声明。

[stmt.ambig] 1 在涉及表达式语句和声明的语法中存在歧义：表达式- 以函数式显式类型转换 (5.2.3) 作为其最左边的子表达式的语句可以是 indis- 可以从第一个声明符以 ( 开头的声明中区分出来。在这些情况下，声明是 声明。

X(X()); 是模棱两可的，因为它可能是一个强制转换，也可能是一个函数声明，所以它被认为是一个声明。

int(int()); 不能是函数声明，因为作为关键字的 int 不是函数的有效名称。所以，没有歧义，这是一个演员表。

同样，I(I()); 不能是函数声明，因为尽管不是关键字，I 也不是有效名称，因为它会将类型 I 重新声明为函数，这是不允许的，所以它是演员表。