开关（枚举）后的“缺少返回语句”-为什么？

Question

编译器声称在 MyClass.parse（） 的末尾缺少一个返回语句。代码如下：

package de.hs_rm.safelyovertaken.ble;

import android.support.annotation.NonNull;

import java.util.Arrays;

class MyClass {

    @NonNull
    static MyClass parse(byte[] encoded) throws MyParseException {

        MyEnum myEnum = MyEnum.parse(Arrays.copyOfRange(encoded, 0, 2));

        switch (myEnum) {
            case A:
                return new MyClassA();

            case B:
                return new MyClassB();

            case C:
                return new MyClassC();
        }

        // compile error: "Missing return statement"

//        return null; // should never be reached
//        throw new AssertionError("Should never be reached");
    }
}

enum MyEnum {
    A, B, C;

    @NonNull
    static MyEnum parse(byte[] encoded) throws MyParseException {

        MyEnum result = null;

        // parse logic here

        if (result == null) {
            throw new MyParseException();
        }

        return result;
    }
}

class MyParseException extends Exception {
}

class MyClassA extends MyClass {
}

class MyClassB extends MyClass {
}

class MyClassC extends MyClass {
}

编译器是否正确？（Android Studio）

如果是这样，在什么情况下可以到达方法的末尾？我认为myEnum不能是null并且所有枚举都包含在开关语句中，在任何情况下返回语句都会离开方法。myEnum不能是null，因为@NonNull方法MyEnum.parse（）如果结果是null，则会引发异常。

如果没有，你会用< code > return null//never behind 标记方法的(希望)不可到达的一端，还是抛出一个< code>AssertionError？

Answer 1

编译器正确吗？

是的，因为它在编译时不验证枚举覆盖率。假设枚举存在于另一个二进制文件中，并且它被更新为一个新常量。该方法会返回什么？

< code>myEnum不能为< code>null，因为如果结果为< code>null，则< code>@NonNull方法< code>MyEnum.parse()会引发异常。

编译器不够聪明，无法判断出这一点(尽管您的IDE可能会)。但是这是一个有争议的问题，因为打开< code>null会导致NPE。

如果没有，你会用< code > return null//never behind 标记方法的(希望)不可到达的一端，还是抛出一个< code>AssertionError？

抛出一个< code>AssertionError是非常常规的。或者，考虑在枚举常量中嵌入条件逻辑，而不是使用开关。