java语法中具有多个类型参数列表的构造函数

Question

Java 语言规范 v7 中的 java grammar 为构造函数指定了以下语法规则：

Primary:
    ...
    new Creator
    ...

Creator:  
    NonWildcardTypeArguments CreatedName ClassCreatorRest
    CreatedName ( ClassCreatorRest | ArrayCreatorRest )

CreatedName:   
    Identifier [TypeArgumentsOrDiamond] { . Identifier [TypeArgumentsOrDiamond] }

ClassCreatorRest: 
    Arguments [ClassBody]

这里让我感到困惑的是CreatedName 规则。根据这个标记，诸如

之类的表达式

new Class1<Integer>.Class2<Integer>();

将是有效的构造函数。他们当然不是。

事实上，我找不到任何情况是标识符链（例如Class1.Class2）会有多个类型参数列表（例如<Integer>）。这种情况是否存在，还是语法没有意义？

作为参考，JLS 的section 15.9 中给出的等效语法规则存在相同的问题（这些规则引用了TypeDecl 非终结符，它在section 4.3 中定义）。

Answer 1

这条规则看起来像是在一个规则中允许两者的技巧：

• new Class1<...>();
• new Class1.Class2<...>(); // Where Class2 is a static inner class

允许的表达式：new Class1<Integer>.Class2<Integer>(); 永远不会在 Java 中编译，因为：

成员类型 Class1.Class2 不能用 参数化类型，因为它是静态的。删除参数 限定类型 Class1

Answer 2

语法只是描述了一组有效的 Java 源代码。据我所知，只有最后一个 TypeArgumentsOrDiamond 可能存在，但您正在查看的（简化）语法不处理这种极端情况。