Java是否存在标识终止程序方法的注解 可解决缺失返回语句报错

问题1解答 #

是的，exitWithError方法执行后一定会终止程序运行。你在方法内部调用的System.exit(int status)是JDK提供的原生方法，执行后会直接终止当前Java虚拟机进程，程序不会继续执行该方法调用后的任何逻辑。

问题2解答 #

Java编译器的静态语法检查不会深入分析被调用方法的内部执行逻辑，它只会根据方法的返回值签名做判断：你当前的exitWithError返回类型是void，编译器就默认这个方法执行完成后会回到调用处继续执行，因此会判定default分支缺少返回语句，触发编译错误。

你可以通过以下两种合规方案解决这个问题，完全不需要写return null这种有隐患的代码：

方案1：直接抛出异常（最推荐）

就是你注释中提到的写法，在default分支直接抛出IllegalStateException：

@Override
public String toString() {
    switch(this){
        case DOG:
            return "dog";
        case CAT:
            return "cat";
        default:
            throw new IllegalStateException("unrecognized animal");
    }
}

编译器可以识别到抛出未捕获运行时异常的分支不会继续向下执行，不会触发缺少返回语句的报错。而且这种方案比直接终止JVM更合理，后续如果新增枚举值忘记修改switch分支，运行时会抛出带堆栈的异常，方便定位问题，不会直接导致整个程序退出。

方案2：适配你要保留System.exit的场景

如果你一定要保留调用System.exit终止程序的逻辑，可以修改exitWithError的返回类型为运行时异常，调用时在前面加throw关键字满足编译器检查要求：
修改后的工具方法：

private RuntimeException exitWithError(String message){
    System.out.println(message);
    System.exit(1);
    // 下面这行代码永远不会被执行，仅用于满足编译规则
    throw new RuntimeException("unreachable code");
}

调用处写法：

default:
    throw exitWithError("unrecognized animal");

编译器会认为这个分支会抛出异常，不会走到需要返回的逻辑，也就不会报错。

内容的提问来源于stack exchange，提问作者EMEM