Why is default required for a switch on an enum?

by

The reason that you have to uncomment the default is that your function says that it returns a String, but if you only have case labels defined for A and B then the function will not return a value if you pass in anything else. Java requires that all functions that state that they return a value actually return a value on all possible control paths, and in your case the compiler isn’t convinced that all possible inputs have a value returned.

I believe (and I’m not sure of this) that the reason for this is that even if you cover all your enum cases, the code could still fail in some cases. In particular, suppose that you compile the Java code containing this switch statement (which works just fine), then later on change the enum so that there’s now a third constant – let’s say C – but you don’t recompile the code with the switch statement in it. Now, if you try writing Java code that uses the previously-compiled class and passes in C into this statement, then the code won’t have a value to return, violating the Java contract that all functions always return values.

More technically speaking, I think the real reason is that the JVM bytecode verifier always rejects functions in which there is some control path that falls off the end of a function (see ยง4.9.2 of the JVM spec), and so if the code were to compile it would just get rejected by the JVM at runtime anyway. The compiler therefore gives you the error to report that a problem exists.

More Related Contents:

  1. Switch over type in java
  2. Java using enum with switch statement
  3. Maximum number of enum elements in Java
  4. Why can’t I use switch statement on a String?
  5. How do I use Comparator to define a custom sort order?
  6. Java Enum definition
  7. What’s the advantage of a Java enum versus a class with public static final fields?
  8. Java enum and additional class files
  9. Using Enum values as String literals
  10. A for-loop to iterate over an enum in Java
  11. Ways to save enums in database
  12. Why in java enum is declared as Enum [duplicate]
  13. Why shouldn’t Java enum literals be able to have generic type parameters?
  14. Conveniently map between enum and int / String
  15. How to convert enum value to int?
  16. How to supply Enum value to an annotation from a Constant in Java
  17. Advantages of Java’s enum over the old “Typesafe Enum” pattern?
  18. Error setting a default null value for an annotation’s field
  19. Use string in switch case in java
  20. Finding enum value with Java 8 Stream API
  21. Java 8, how can I implement a switch statement using streams?
  22. How to use null in switch
  23. What is the purpose of the default keyword in Java?
  24. How is String in switch statement more efficient than corresponding if-else statement?
  25. Case insensitive matching in Java switch-case statement
  26. What is the reason behind Enum.hashCode()?
  27. Is it possible to write a generic enum converter for JPA?
  28. Java casting order
  29. Why can’t your switch statement data type be long, Java?
  30. Generating Enums Dynamically

Leave a Comment