return语句必须严格匹配方法声明的返回类型，且非void方法的每条执行路径都需有return、throw或异常；return后代码不可达（finally除外）；返回null易引发空指针，应优先用Optional或空集合替代。
return 语句必须匹配方法声明的返回类型
Java 要求 return 的值类型与方法签名中声明的返回类型严格一致（或可自动转型）。如果方法声明为 int，却写 return null; 或 return "abc";，编译器直接报错：incompatible types。
-
void方法可以写return;（无表达式），但不能写return 42; -
Integer方法可以return 42;（自动装箱），但return null;合法（因是引用类型） - 泛型方法如
T getId() return的表达式必须是T类型——实际类型由调用时推断，编译期检查
return 提前终止方法执行，但需保证所有路径都有返回
非 void 方法中，**每个可能的执行路径都必须以 return、throw 或抛出未捕获异常结束**。否则编译失败：missing return statement。
public String getStatus(int code) {
if (code == 200) {
return "OK";
} else if (code == 404) {
return "Not Found";
}
// ❌ 缺少 else 分支或默认 return，编译报错
}
- 即使逻辑上“不可能到达”，编译器也不做运行时推理；必须显式覆盖所有分支
-
switch语句中，缺default且未穷举所有enum值时，也可能触发该错误（取决于是否启用-Xlint:fallthrough） - try-catch 中，若
catch块没return，而try块有return，仍需在末尾补return或抛异常
return 后的代码永远不可达，编译器会拒绝
任何在 return 语句之后的普通代码（非 finally 块内）都被视为“dead code”。javac 直接报错：unreachable statement。
public int getValue() {
return 1;
System.out.println("never reached"); // ❌ 编译错误
return 2; // ❌ 同样不可达
}
-
finally是例外：即使try或catch中有return，finally仍会执行；但若finally自己也有return，它将覆盖前面的返回值 - 空语句如
;、注释、标签（label:）不算“不可达语句”，但带表达式的语句（含方法调用、赋值等）一律被拒
return null 在对象方法中的风险与替代方案
对返回引用类型的方法，return null; 虽语法合法，但极易引发 NullPointerException，尤其在链式调用或未判空场景下。
立即学习“Java免费学习笔记（深入）”；
- 优先考虑返回空集合（
Collections.emptyList()）、空 Optional（Optional.empty()）、或抛出业务异常（如IllegalArgumentException） - 使用
@Nullable/@NonNull注解（如 Jetbrains 或 AndroidX）辅助静态检查 - 构造器或工厂方法中，避免隐式返回
null；例如parse(String)方法应明确约定失败时抛ParseException而非返null
最易被忽略的是：return 的语义不仅关乎语法正确性，更决定调用方是否需要防御性判空、是否能利用现代 API（如 Optional）消除歧义。一个看似简单的 return，常是接口契约最脆弱的一环。
