Java語法：NonWildcardTypeArguments

Question

以下是在JLS https://docs.oracle.com/javase/specs/jls/se7/html/jls-18.html

NonWildcardTypeArguments: 
    <TypeList> 

TypeList: 
    ReferenceType { , ReferenceType } 

ReferenceType: 
    Identifier [TypeArguments] { . Identifier [TypeArguments] } 

TypeArguments: 
    < TypeArgument { , TypeArgument } > 

TypeArgument: 
    ReferenceType 
    ? [ (extends | super) ReferenceType ] 

根據NonWildcardTypeArguments的名稱第18章的規定，它不應該允許外卡。但是，下面的代碼編譯

public class NonWildcardTypeArgumentsTest { 
    public void test(Test<java.util.Set<? extends Object>> args) { 

    } 
} 

class Test<T> {} 

本例中的類型參數滿足NonWildcardTypeArguments的定義，它包含通配符：

<java.util.Set<? extends Object>> 

我爲此感到困惑。爲什麼它有效？謝謝

Answer 1

通配符是Set的類型參數，而不是Test。這裏的語法是一個樹狀結構，其中每個類型參數適用於其外部的類型。

Test<T> 
    ↓ 
    Set<E> 
     ↓ 
    ? extends Object 

NonWildcardTypeArguments只要求每個類型參數是一個ReferenceType，其Set<? extends Object>滿足，因爲它的形式Identifier<TypeArgument>的。 （? extends Object是TypeArgument，但不是一個ReferenceType。）

例如，​​是NonWildcardTypeArguments但<? extends Set<Object>>不是。

所以是的，在類型參數中有一個通配符「in」，但它嵌套在樹中的一個級別。 NonWildcardTypeArguments構造只關心它內部的參數。

無論如何，正如assylias指出的，這個語法結構似乎不再存在了，但我認爲解釋仍然很有趣。 （我試過搜索JLS 8 PDF爲「NonWildcardTypeArguments」，並沒有拿出任何東西。）