Why is it said: "Checked exceptions are not forwarded in calling chain (propagated)"?

Question

For unchecked (runtime) exceptions it is understandable. They are literally propagated through stack. But why is it said that checked exceptions are not? Yes, we have to declare (throws) or handle them (try-catch), but why is it not called 'propagating' in this case? Let me give you basic example:

public class Main {
    void m() throws IOException {
        throw new java.io.IOException("device error");//checked exception
    }
    void n() throws IOException {
        m();
    }
    void p(){
        try{
            n();
        }catch(Exception e){System.out.println("exception handled");}
    }
    
    public static void main(String args[]){
        new Main().p();
    }
}

In my opinion I just did a 'chaining' that worked fine. So why do the docs say "by default checked are not propagated"?

Yes, please, where are you quoting from? I don't know anyone who says that. — markspace
– markspace, Commented Sep 1, 2020 at 15:24

Andy Turner · Accepted Answer · 2020-09-01 15:42:43Z

by default checked are not propagated

I believe the source of this is here.

This is unusual terminology. I suspect what is meant by that statement is that you can't just write:

void m() {
    throw new IOException("device error");//checked exception
}
void n() {
    m();
}
void p(){
    try{
        n();
    }catch(Exception e){System.out.println("exception handled");}
}

because the exception isn't "propagated" from m() to n() to p(), because it's a checked exception, so this code doesn't even compile.

It would be "propagated" from m() to n() to p() by this code if it were an unchecked exception.

You have to explicitly propagate the exception, if that's what you want:

void m() throws IOException { ... }
void n() throws IOException { m(); }

The alternative to such propagation is that you handle it inside the method. The point is, you have to choose what to do with it.

Michael · Accepted Answer · 2020-09-01 15:26:30Z

2

There is actually no difference at all between the behaviour of checked and unchecked exceptions at runtime.

Checked exceptions are merely a subset of all exceptions, for which the compiler decides to look at them and see whether they are either explicitly declared as thrown or caught. If not, it's an error.

If you can somehow hack the compiler to skip this check, it behaves exactly like a runtime one.

Given the runtime semantics are identical, it does not make sense to say one is propagated and the other isn't.

answered Sep 1, 2020 at 15:26

Michael

44.5k12 gold badges97 silver badges143 bronze badges

1 Comment

Stefan Over a year ago

I totally agree with you. I think they could had put that rule better, as it is technically wrong. I think Andy made a good point why is that said.

Collectives™ on Stack Overflow

Why is it said: "Checked exceptions are not forwarded in calling chain (propagated)"?

2 Answers 2

Comments

1 Comment

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

2 Answers 2

Comments

1 Comment

Your Answer

Sign up or log in

Post as a guest

Related