型注釈が プライベートリストに完全修飾タイプ

Question

package com.company; 

import java.lang.annotation.ElementType; 
import java.lang.annotation.Retention; 
import java.lang.annotation.RetentionPolicy; 
import java.lang.annotation.Target; 
import java.util.List; 

public class Main { 

    @Target(ElementType.TYPE_USE) 
    @Retention(RetentionPolicy.RUNTIME) 
    public @interface A {} 

    public static void main(String[] args) { 
    } 

    private List<@A Integer> integers1; 

    private List<@A java.lang.Integer> integers2; 
} 

を使用しているとき「記号を見つけることができません」スロー< @Aはjava.lang.Integer> integers2。 エラーを取得： エラー：（20、21）は、Javaを：クラスのjava 場所：シンボル シンボルを見つけることができないクラスcom.company.Main

は、それはプログラムのバグですか？

Answer 1

これは明らかに正常な動作（9.7.4）である。言い換えれば

A type annotation is admissible if both of the following are true:

• The simple name to which the annotation is closest is classified as a TypeName, not a PackageName.

• If the simple name to which the annotation is closest is followed by "." and another TypeName - that is, the annotation appears as @Foo T.U - then U denotes an inner class of T .

@Aは（java）に最も近い単純な名前がPackageNameあるので、注釈は許容できないで、コンパイラエラーが発生します。

修飾名の型名の正しい構文はjava.lang.@A Integerです。