泛型方法的返回值类型不能被限定为具体类，但可通过上界限定（T extends X）确保编译期能安全调用特定方法；上界决定可用操作集、约束实参类型、影响类型推断，并与类型擦除协同保障类型安全。
泛型方法的返回值类型本身不能被“限定”为某个具体类，但可以通过上界限定（T extends X），让编译器确保返回值具备特定行为——比如能调用 compareTo()、doubleValue() 或自定义接口方法。这种限定不改变返回类型的灵活性，却在编译期锁定了可用操作。
上界限定决定可调用的方法集
当声明 <t extends comparable>> T getMax(T a, T b)</t> 时，返回类型仍是 T，但编译器知道：无论 T 最终是 String 还是 LocalDate，它一定实现了 Comparable，因此方法体内可以安全调用 a.compareTo(b)。
- 没有上界：
<t> T pickOne(T a, T b)</t>→ 方法体中只能使用Object的通用方法（如equals、toString） - 单上界：
<t extends number> double sumAsDouble(List<t> nums)</t></t>→ 可调用doubleValue()，返回值行为统一为数值解析 - 多重上界：
<t extends runnable autocloseable> void runAndClose(T task)</t>→ 可同时调用run()和close()
边界影响类型推断与实参兼容性
上界不是装饰，它直接约束哪些实际类型能被传入。例如：
public static <T extends CharSequence> int lengthSum(List<T> items) {
return items.stream().mapToInt(CharSequence::length).sum();
}
- 允许传入
List<string></string>、List<stringbuilder></stringbuilder>，因为二者都实现CharSequence - 拒绝
List<integer></integer>，编译报错 —— 类型推断失败，无法满足T extends CharSequence - 返回值类型仍是
int（非泛型），但方法逻辑依赖于所有T都有length()方法，行为一致由此保障
避免运行时类型错误的关键机制
边界限定配合类型擦除，在编译期完成双重校验：
- 擦除后，
<t extends number></t>变成原始类型Number，所以方法体内对T的调用，实际被翻译为对Number方法的调用 - 编译器阻止你传入不满足边界的类型，也就杜绝了“本该有
doubleValue()却调用失败”的运行时异常 - 注意：不能写
if (t instanceof T)或new T[10]，这些限制正是边界+擦除共同作用的结果，反而强化了类型安全
与通配符返回值的配合使用
若方法返回的是容器，常结合通配符加强语义：
-
public static <t extends comparable>> List<t> sortedCopy(List<t> src)</t></t></t>→ 返回具体类型列表，支持后续强类型操作 -
public static <t extends number> List extends Number> asNumberList(List<t> src)</t></t>→ 明确告知调用方：“你可以安全读出Number，但别往里写” - 后者用通配符 + 上界，把“行为一致性”从方法内部延伸到返回值的使用侧
