[java] java.util. @ Nullable의 의미는 무엇입니까?

public static <T> java.util.@Nullable Optional<T> toJavaUtil일반적인 스타일 public static <T> @Nullable java.util.Optional<T> toJavaUtil이 유효하지 않기 때문에 행 은 다음과 같이 작성 됩니다. 이것은 JLS §9.7.4에 정의되어 있습니다 .

T 유형의 주석이 유형 컨텍스트의 유형 (또는 유형의 일부)에 적용되고 T가 유형 컨텍스트에 적용 가능하고 주석이 허용되지 않으면 컴파일 타임 오류입니다.

예를 들어 just로 메타 주석이 달린 주석 유형 TA를 가정하십시오 @Target(ElementType.TYPE_USE). 용어 @TA java.lang.Object와는 java.@TA lang.Object단순한 이름이있는에 @TA가 가장 가까운 패키지 이름으로 분류되어 있기 때문에 불법이다. 반면에 java.lang.@TA Object합법적입니다.

유형 선언 org.checkerframework.checker.nullness.qual@Nullable은 다음과 같습니다.

@Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})

이 규칙에 적용됩니다.

패키지 java.util와 클래스 이름 Optional이 분리되어 있기 때문에이 구조가 실행을 중단시키지 않는다는 것은 다음을 사용하여 컴파일 된 코드를 볼 때 볼 수 있습니다 javap -c [compiled class name].

class just.a.test.Main {
  just.a.test.Main();
    Code:
       0: aload_0
       1: invokespecial #1          // Method java/lang/Object."<init>":()V
       4: return

  public static <T> java.util.Optional<T> toJavaUtil(blub.Optional<T>);
    Code:
       0: aload_0
       1: ifnonnull     8
       4: aconst_null
       5: goto          12
       8: aload_0
       9: invokevirtual #2          // Method blub/Optional.toJavaUtil:()Ljava/util/Optional;
      12: areturn
}

^{( blub.Optional디 컴파일 / 컴파일하기위한 최소한의 예제를 얻기 위해 Guava 코드를 복사 한 로컬 클래스입니다)}

보시다시피 주석은 더 이상 존재하지 않습니다. 메소드가 널 (및 소스 코드 리더에 대한 힌트)을 리턴 할 때 경고를 방지하는 것은 컴파일러의 마커 일 뿐이지 만 컴파일 된 코드에는 포함되지 않습니다.

이 컴파일러 오류는 다음과 같은 변수에도 적용됩니다.

private @Nullable2 java.util.Optional<?> o;

그러나 주석 ElementType.FIELD이 동일한 JLS 절에 작성된대로 대상 유형을 추가로 가져 오면 허용 될 수 있습니다 .

TA에 추가로 메타 주석이 추가 된 경우 필드 선언과 같이 선언 및 유형 컨텍스트가 모두있는 위치에서이 @Target(ElementType.FIELD)용어 @TA java.lang.Object가 유효합니다 @TA java.lang.Object f;. 여기서 TA는 필드 선언 컨텍스트에 적용 할 수 있으므로 @TA는 f 선언 (java.lang.Object 유형이 아닌)에 적용되는 것으로 간주됩니다.

답변

...
@Target(value={TYPE_USE,TYPE_PARAMETER})
<public @interface Nullable
...

public static <T> @Nullable Optional<T> toJavaUtil
public static <T> java.util.@Nullable Optional<T> toJavaUtil

@Retention(RetentionPolicy.RUNTIME)
@Target(ElementType.TYPE_USE)
@interface InterceptedReturnValue {
    boolean value() default true;
}

public java.lang.@InterceptedReturnValue(true) String testMethod(String param) {
    return null;
}

public @InterceptedReturnValue(false) String testMethod(int param) {
    return null;
}

public static void main(String[] args) throws Exception {
    Method m = Main.class.getDeclaredMethod("testMethod", String.class);
    if(m.getAnnotatedReturnType().isAnnotationPresent(InterceptedReturnValue.class)) {
        InterceptedReturnValue config = m.getAnnotatedReturnType()
                .getAnnotation(InterceptedReturnValue.class);

        if(config.value()) {
            //logging return value enabled
        }
    }
}