Java方法返回值必须严格匹配声明类型：基本类型需同类型或自动提升，引用类型须满足继承关系，void方法禁止return表达式，泛型需保证类型安全，包装类null返回可能导致运行时NPE。
方法返回值必须与声明的返回类型严格匹配
Java是强类型语言，return语句返回的表达式类型必须能被赋值给方法声明的返回类型，否则编译直接报错。比如声明为int的方法里写return "hello";，会触发incompatible types: String cannot be converted to int。
常见匹配规则：
- 基本类型只能返回同类型或可自动提升的类型（如
byte→int），但不能反向（int→short需显式强制转换） - 引用类型遵循继承关系：返回
ArrayList可以声明为List或Object，但不能声明为Set（无继承关系） - 泛型擦除后仍需满足类型安全，
return new ArrayList在声明为(); List的方法中不合法（存在类型擦除与协变限制）
void方法不能有return表达式
void表示“无返回值”，方法体内可以写return;（用于提前退出），但不能写return 42;或return obj;，否则编译报错unexpected return value。
注意几个易错点：
立即学习“Java免费学习笔记（深入）”；
- 构造方法没有返回类型，连
void都不能写；写了就变成普通方法，且必须有返回值 - lambda表达式中若目标函数接口返回
void（如Consumer），则lambda体里也不能带return表达式 - 在
try-catch-finally中，如果void方法在finally块里写了return;，它会覆盖前面try或catch中的return;逻辑（虽然不影响返回值，但可能干扰流程控制）
泛型方法的返回类型需与类型参数一致
泛型方法的返回类型如果依赖类型参数（如T类型，不能靠运行时绕过检查。
典型陷阱：
-
T getFirst(List list) List，就必须返回String或其子类，返回Object会编译失败 - 不能用
new Object()代替泛型返回值，哪怕加了@SuppressWarnings("unchecked")也不行——类型擦除发生在编译后，但编译期仍校验逻辑一致性 - 数组创建受泛型限制：
T[] createArray(int size) new T[size]非法，必须借助Array.newInstance()并转型
基本类型包装类与自动拆箱可能引发NullPointerException
当方法声明返回Integer等包装类，但实际返回null，调用方若直接赋给基本类型变量（如int x = method();），会在运行时触发NullPointerException（发生在自动拆箱阶段）。
这不是编译错误，容易漏测：
- 数据库查询结果为空时，ORM常返回
null而非默认值，Integer getId()可能返回null - 使用
Optional替代Integer能更早暴露空值意图，但需调用方主动处理orElse()等 -
工具类如Guava的
Objects.firstNonNull(a, b)或Spring的ObjectUtils.defaultIfNull()可缓解，但不能替代类型设计本身
int改成Integer只为支持null，却忘了调用链上所有自动拆箱点都成了潜在崩溃点。真正要改，得一并扫清下游所有隐式拆箱操作。 
