java方法返回值必须明确声明、严格匹配且不可忽略（void除外），编译器强制要求类型一致、路径全覆盖、引用语义清晰、泛型推断准确，任一疏忽将导致编译失败或逻辑错误。
Java 方法的返回值不是“用不用”的问题，而是“必须明确声明、严格匹配、不可忽略（除非是 void）”的硬性规则。写错返回值类型或漏写 return 语句，编译器会直接报错，不给运行机会。
方法声明中 return 类型决定调用方能怎么用
返回类型写在方法名前面，它约束了两件事：方法体内 return 的表达式类型，以及调用处接收结果时的变量类型。
-
int方法只能return一个整数（或可隐式转为int的字面量/变量），调用时必须用int变量接，或直接用于需要int的上下文（如计算、条件判断） -
String方法不能return 42，也不能用int x = getString();接收 -
void方法体内不能有return带值的语句（但可用return;提前退出）
return 语句必须覆盖所有执行路径
只要方法声明了非 void 返回类型，编译器就要求：**每一条可能走到末尾的代码路径，都必须有 return 语句**。否则编译失败，报错类似 missing return statement。
public String getName(boolean useNick) {
if (useNick) {
return "Leo";
}
// 缺少 else 分支或末尾 return → 编译错误
}
正确写法示例：
立即学习“Java免费学习笔记（深入）”；
- 补全
else：else { return "Leonard"; } - 末尾统一
return：if (useNick) return "Leo"; return "Leonard"; - 抛异常兜底（适用于非法输入）：
throw new IllegalArgumentException("useNick must be true");
返回引用类型时，返回的是对象引用，不是副本
Java 中所有非基本类型（String、List、自定义类等）都是引用类型。方法返回它们时，返回的是堆中对象的引用地址，不是深拷贝。
这意味着：调用方拿到引用后，如果该对象是可变的（比如 ArrayList），对它的修改会反映到原对象上。
public List<String> getItems() {
return items; // items 是类字段，类型为 ArrayList
}
// 调用方：
List<String> list = obj.getItems();
list.add("new item"); // 这个修改会影响 obj 内部的 items！
若需避免副作用，常见做法是返回不可变视图或副本：
- 不可变包装：
return Collections.unmodifiableList(items); - 新实例复制：
return new ArrayList(items); - 使用不可变集合库（如 Guava 的
ImmutableList.copyOf(items)）
泛型方法的返回值类型由调用时推断或显式指定
泛型方法（如 <t> T getValue()</t>）的返回类型不是固定写死的，而是在调用时根据上下文确定。这容易在类型擦除和边界约束下出错。
典型陷阱：
- 直接写
String s = getValue();→ 编译器推断T为String，没问题 - 但若方法签名是
<t extends number> T getNumber()</t>，就不能String s = getNumber();，因为String不是Number子类 - 静态泛型方法无法访问类的类型参数（如
class Box<t></t>里的T），其返回类型只取决于自身声明的泛型参数
最稳妥的方式是显式指定类型参数（尤其在复杂链式调用或类型推断失败时）：
String s = Util.<String>parseValue("hello");
返回值看似简单，但类型声明、路径覆盖、引用语义、泛型推断这四点，任何一处疏忽都会导致编译失败或运行时逻辑错乱。尤其注意：IDE 有时会自动补全 return，但补的是 null 或默认值，未必符合业务逻辑——别盲目接受。
