동적 파견, 과부하 및 제네릭

Question

이 클래스를 사용 :

public class Fallible<T> { 

    private final Exception exception; 
    private final T value; 

    public Fallible(final T value) { 
     this.value = value; 
     this.exception = null; 
    } 

    public Fallible(final Exception exception) { 
     this.value = null; 
     this.exception = exception; 
    } 

} 

내가 안전하게 value 것이다 결코는 예외 객체를 포함 할 가정 수 있습니까?

Answer 1

아니요, 그런 가정을 할 수 없습니다. 예 :

Object obj = new Exception(); 
Fallible f = new Fallible(obj); 

은 일반 생성자를 호출합니다.

유일한 방법이 명시 적으로 instanceof를 사용 value의 종류를 확인하는 것입니다 확인 :

public Fallible(final T value) { 
    if (value instanceof Exception) { 
    this.exception = (Exception) value; 
    this.value = null; 
    } else { 
    this.value = value; 
    this.exception = null; 
    } 
} 

Answer 2

아니 당신은 할 수 없습니다.

당신은 런타임 얻는 유형 삭제 버전 고려한다면이 분석하는 것이 더 쉽습니다 :

public Fallible(final T value)는 public Fallible(final java.lang.Object value)이되고 있습니다.

그래서 더 좋은 일치 인 경우 오버로드 Fallible(final Exception exception)이 사용됩니다. 즉 exception이 Exception 또는 그 하위 클래스 유형 인 경우

java.lang.Object에서 작성을 허용하지만 Java에서 하위 클래스의 생성 (컴파일 타임에)을 금지하는 클래스를 빌드하는 것은 Java에서 불가능합니다. 런타임 검사 (instanceof & c.)에 의존해야합니다. 템플릿을 사용하여 C++에서이 문제를 해결할 수 있습니다. 이 점과 많은면에서 Java는 C++의 진화로 간주 될 때 한 걸음 더 나아가 두 단계 뒤로 돌아갑니다.