c++ - 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 There is an ambiguity in the grammar involving expression-statements and declarations: An expression- statement with a function-style explicit type conversion (5.2.3) as its leftmost subexpression can be indis- tinguishable from a declaration where the first declarator starts with a (. In those cases the statement is a declaration.

X(X()); 是有歧义的，因为它既可以是强制转换，也可以是函数声明，所以它被认为是声明。

int(int()); 不能是函数声明，因为作为关键字的 int 不是函数的有效名称。所以，没有歧义，就是类型转换。

同样，I(I()); 不能是函数声明，因为虽然不是关键字，I 也不是有效名称，因为它会重新声明键入 I 作为函数，这是不允许的，因此它是一个转换。