为何泛型类Vehicle<T extends String>会出现String无法转换为T的编译错误？

这个问题的核心在于Java泛型的类型检查逻辑，以及String类的特殊性——咱们一步步拆解：

你的代码 #

/* package whatever; // don't place package name! */
import java.util.*;
import java.lang.*;
import java.io.*;
/* Name of the class has to be "Main" only if the class is public. */
class Ideone {
    public static void main (String[] args) throws java.lang.Exception {
        Vehicle car = new Vehicle<String>();
        System.out.println(car.getLicensePlate());
    }
}
class Vehicle<T extends String> {
    public T getLicensePlate() {
        String y="AB1234";
        return y;
    }
}

编译错误信息 #

Main.java:22: error: incompatible types: String cannot be converted to T
return y;
where T is a type-variable:
T extends String declared in class Vehicle
1 error

为什么会报错？ #

你可能会觉得：既然T extends String，那String就是T的父类，父类对象转子类应该没问题？但这里有两个关键点：

1. String是final类：Java里String被标记为final，意味着它不能被任何类继承。所以T extends String这个泛型声明看起来给T留了子类的空间，但实际上T只能是String本身——但Java编译器不会做这种“特殊情况”的推导，它会严格按照泛型的通用规则执行检查。
2. 泛型的类型安全检查逻辑：编译器会假设T可以是String的任何子类（哪怕现实中不存在）。比如假设存在一个CustomString extends String的类，当你把Vehicle的泛型参数指定为CustomString时，返回一个String对象显然无法转换为CustomString类型——编译器会预判这种潜在的类型不匹配，所以抛出错误。

怎么解决？ #

有两种合理的处理方式：

• 直接移除泛型（推荐）：既然T extends String没有实际意义（String不能被继承，T只能是String），那完全没必要用泛型，直接把返回类型改成String即可：

  class Vehicle {
      public String getLicensePlate() {
          String y="AB1234";
          return y;
      }
  }
  

• 强制类型转换（不推荐，但可用）：如果你一定要保留泛型，可以把String强制转换为T，虽然会有编译警告，但因为T只能是String，实际运行不会有问题：

  class Vehicle<T extends String> {
      public T getLicensePlate() {
          String y="AB1234";
          return (T) y;
      }
  }
  

内容的提问来源于stack exchange，提问作者microwth