[java] 구문 나쁜 관행을 만족시키기 위해 return 문이 있습니까?

이런 상황에서

public Object getClone(SomeInterface a) throws TotallyFooException {
    // Precondition: "a" should be null or should have a someMethod method that
    // does not throw a SomeException.
    if (a == null) {
        throw new TotallyFooException() ; }
    else {
        try {
            return a.someMethod(); }
        catch (SomeException e) {
            throw new IllegalArgumentException(e) ; } }
}

흥미롭게도 “try 문은 결코 실패하지 않을 것”이라고 말하지만, 여전히 e.printStackTrace();실행되지 않을 것이라고 주장하는 문을 작성하는 데 어려움을 겪었습니다 . 왜?

아마도 당신의 믿음이 그다지 확고하지 않은 것 같습니다. 당신의 믿음은 당신이 작성한 코드가 아니라 당신의 고객이 전제 조건을 위반하지 않을 것이라는 기대에 근거하기 때문에 (제 생각에는) 좋습니다. 공개 방법을 방어 적으로 프로그래밍하는 것이 좋습니다.

그건 그렇고, 당신의 코드는 나를 위해 컴파일되지 않을 것입니다. 당신은 호출 할 수 없습니다 a.clone()의 유형이 경우에도 a입니다 Cloneable. 적어도 Eclipse의 컴파일러는 그렇게 말합니다. 표현 a.clone()은 오류를 준다

clone () 메서드는 Cloneable 유형에 대해 정의되지 않았습니다.

당신의 특정한 경우에 제가 할 일은

public Object getClone(PubliclyCloneable a) throws TotallyFooException {
    if (a == null) {
        throw new TotallyFooException(); }
    else {
        return a.clone(); }
}

에 PubliclyCloneable의해 정의되는 곳

interface PubliclyCloneable {
    public Object clone() ;
}

또는 매개 변수 유형이이어야하는 Cloneable경우 최소한 다음이 컴파일됩니다.

public static Object getClone(Cloneable a) throws TotallyFooException {
//  Precondition: "a" should be null or point to an object that can be cloned without
// throwing any checked exception.
    if (a == null) {
        throw new TotallyFooException(); }
    else {
        try {
            return a.getClass().getMethod("clone").invoke(a) ; }
        catch( IllegalAccessException e ) {
            throw new AssertionError(null, e) ; }
        catch( InvocationTargetException e ) {
            Throwable t = e.getTargetException() ;
            if( t instanceof Error ) {
                // Unchecked exceptions are bubbled
                throw (Error) t ; }
            else if( t instanceof RuntimeException ) {
                // Unchecked exceptions are bubbled
                throw (RuntimeException) t ; }
            else {
                // Checked exceptions indicate a precondition violation.
                throw new IllegalArgumentException(t) ; } }
        catch( NoSuchMethodException e ) {
            throw new AssertionError(null, e) ; } }
}