Unreachable statement using final and non-final variable in Java
Unreachable statements in Java refers to those sets of statements that won’t get executed during the execution of the program are called Unreachable Statements. These statements might be unreachable because of the following reasons which are as follows:
- Have a return statement before them
- Have an infinite loop before them
- Execution forcibly terminated before them
This is because the statement ‘System.out.println(“Unreachable statement”)’, will never be executed and java doesn’t support unreachable statements. Making those variables final also makes them constant variables and in java or any other programming language, the value of the constant variable can’t be changed. So, throughout the life cycle of the program, no condition will be approached to come out of the while loop.
This, in turn, makes the second statement unreachable i.e. JVM can’t reach that statement during the program life cycle. So, it is giving an “unreachable statement” error. Here, the program is right if looked from the coding point of view but what actually JVM thinks is that if in any condition a statement is not executed, then what is the need of using that statement? So, try to avoid this type of situation.
What if the above syso statement is commented?
Geek you mut be wondering the same what if it is commented out or removed then what will be the expected output will be fuflfiled. Yes you are right, hold and think about it as the required code will also fulfil condition of containing unreachable statement. It is as shown below in the programs as follows:
What if the final keyword in itself is removed ?
Here, an interesting thing happens. Removing the final keyword prints the output. But in this case, also, the last print statement is unreachable.
So, it is made possible in program as the variables are declared as non-final. So, the value of these variables can be changed in the program. JVM thinks that at any point in time there is a chance that the change the value of a and b, and the last statement may be executed, so no error is coming in the second program. It means that the second program encounters the infinite loop but there is a chance(as the variables are declared non-final) that the loop may terminate and the last statement may be executed.
Note: In the second program, while executing, the output will be TLE as the while loop is not terminating.
Attention reader! Don’t stop learning now. Get hold of all the important Java Foundation and Collections concepts with the Fundamentals of Java and Java Collections Course at a student-friendly price and become industry ready. To complete your preparation from learning a language to DS Algo and many more, please refer Complete Interview Preparation Course.