Java无法像TypeScript那样直接约束返回值类型，但可通过泛型方法+extends上界限定实现编译时类型安全的返回值推导与约束，关键在于让返回类型与参数类型或显式类型参数关联。
Java 中不能直接在方法签名里“约束返回值类型”像 TypeScript 那样写 <T extends Number> T 并期望编译器强制调用方必须接收 Number 子类——但你可以通过泛型方法 + 类型参数限定（extends）来实现**编译时类型安全的返回值推导与约束**，关键在于：让返回类型和参数类型或显式类型参数关联，并利用 extends 限定其上界。
1. 泛型方法 + 上界限定（最常用）
声明一个泛型方法，用 <T extends SomeType> 限定类型参数 T 的范围，再将 T 作为返回类型。这样调用时，若传入 Integer，则返回值被推断为 Integer；若你强制指定 <Double>，编译器会检查是否满足 Double extends SomeType。
示例：
public <T extends CharSequence> T getFirstNonEmpty(T a, T b) {
return (a != null && !a.isEmpty()) ? a : b;
}
调用时：
立即学习“Java免费学习笔记（深入）”；
-
String s = getFirstNonEmpty("hello", "world");✅ 推断T = String（String extends CharSequence） -
StringBuilder sb = getFirstNonEmpty(new StringBuilder("a"), null);✅ 推断T = StringBuilder -
getFirstNonEmpty(123, 456);❌ 编译失败（Integer不是CharSequence子类）
2. 使用通配符上界返回（适用于只读场景）
如果方法不关心具体子类型，只保证返回值是某类的子类型，可用 SomeType 或 ? extends SomeType 作返回类型。注意：后者不可用于写入（如添加元素），但更灵活。
示例：
public List<? extends Number> getNumbers() {
return Arrays.asList(1, 2.0, BigDecimal.ONE);
}
调用方只能安全地读取为 Number：
-
Number n = getNumbers().get(0);✅ -
List<Integer> list = getNumbers();❌ 编译失败（不可协变赋值）
3. 结合类型参数与实际参数推导（增强约束力）
让返回类型依赖于某个参数的类型，可进一步收紧约束。例如工厂方法、转换方法：
public <T> T convert(Object src, Class<T> targetType) throws Exception {
// 假设内部有类型转换逻辑
if (targetType == String.class) return targetType.cast(src.toString());
if (targetType == Integer.class) return targetType.cast(Integer.valueOf(src.toString()));
throw new IllegalArgumentException();
}
调用时：
立即学习“Java免费学习笔记（深入）”；
-
String s = convert(123, String.class);✅ 返回类型由String.class推导为String -
Integer i = convert("456", Integer.class);✅ 安全且类型精确 -
Long l = convert("789", Long.class);❌ 若未实现该转换，运行时报错，但编译期仍通过（因Class<Long>合法）
4. 注意：不能仅靠返回类型重载
Java 不支持仅靠返回类型区分重载方法。下面两个方法无法共存：
public String getValue() { ... }
public Integer getValue() { ... } // ❌ 编译错误
所以“约束返回值”必须结合泛型参数、入参类型或 Class 对象等，才能让编译器唯一确定类型。
核心要点：泛型约束的本质是**通过类型参数的上界（extends）和上下文（参数/实参）驱动编译器做类型推导与检查**，不是给返回值单独加注解或修饰。写对 <T extends X> 和合理使用 T 作为返回类型，就能让 IDE 和 javac 帮你守住类型安全。
