Behaviour of return statement in catch and finally

Please see the following code and explain the output behavior.

public class MyFinalTest {

    public int doMethod(){
        try{
            throw new Exception();
        }
        catch(Exception ex){
            return 5;
        }
        finally{
            return 10;
        }
    }

    public static void main(String[] args) {

        MyFinalTest testEx = new MyFinalTest();
        int rVal = testEx.doMethod();
        System.out.println("The return Val : "+rVal);
    }

}

The result is the return Val : 10.

Eclipse shows a warning: finally block does not complete normally.

What happens to the return statement in catch block ?


Solution 1:

It is overridden by the one in finally, because finally is executed after everything else.

That's why, a rule of thumb - never return from finally. Eclipse, for example, shows a warnings for that snippet: "finally block does not complete normally"

Solution 2:

finally is always executed (the only exception is System.exit()). You can think of this behavior this way:

  1. An exception is thrown
  2. Exception is caught and return value is set to 5
  3. Finally block gets executed and return value is set to 10
  4. The function returns

Solution 3:

This is an easy question if you remember the low level layout of the VM.

  1. The return value is put up the stack by the catch code.
  2. Afterwards, the finally code is executed and overwrites the value on the stack.
  3. Then, the method returns with the most up to date value (10) to be used by the caller.

If unsure about things like this, fall back to your understanding of the underlying system (ultimately going to assembler level).

(funny sidenote)

Solution 4:

enter image description here

Finally block always get executed unless and until System.exit() statement is first in finally block.

So here in above example Exection is thrown by try statement and gets catch in catch block. There is return statement with value 5 so in stack call value 5 gets added later on finally block executed and latest return value gets added on top of the stack while returning value, stack return latest value as per stack behavior "LAST IN FIRST OUT" so It will return value as 10.