如何编写泛型方法从类参数获取Item子类实例？

问题背景 #

现有泛型类及其子类定义如下：

class Item<T>
{
     // 类内容
}

class IntItem extends Item<Integer>
{
    // 子类内容
}

需要实现一个通过Class对象获取Item实例的方法，尝试了以下两种写法但均无法正常工作：

<T extends Item<T>> T getItem(Class<T> itemClass)
{
  return ...
}

<T> Item<T> getItem(Class<Item<T>> itemClass)
{
    return ...
}

调用时出现编译错误：

// 编译报错："inference variable T has incompatible equality constraints Integer,IntItem"
IntItem ii = getItem(IntItem.class); 

补充问题（基于Cardinal System回答后编辑） #

注：本问题仅聚焦泛型/方法签名相关内容。

另有一个类似场景，方法以Item实例作为参数：

IntItem ii = getItem2(anIntItem); 

static <T extends Item<E>,E> T getItem(Class<T> itemClass)
{
    return ...
}

static <T extends Item<E>,E> T getItem2(T item)
{ 
     // 编译报错："error: incompatible types: Item cannot be converted to T"
     return getItem(item.getClass());
}

解决方案 #

基础问题修正：调整泛型方法签名 #

原方法的泛型约束逻辑错误：T extends Item<T>要求T既是Item的子类，同时又是Item的类型参数，这与IntItem extends Item<Integer>的结构矛盾（IntItem的类型参数是Integer而非自身）。

正确的方法需要拆分两个泛型参数，分别代表子类类型和Item的类型参数：

<T extends Item<E>, E> T getItem(Class<T> itemClass) {
    // 示例：通过反射创建实例
    try {
        return itemClass.getDeclaredConstructor().newInstance();
    } catch (Exception e) {
        throw new RuntimeException(e);
    }
}

此时调用IntItem ii = getItem(IntItem.class);可正常编译，编译器能正确推断出T=IntItem、E=Integer。

补充问题修正：处理Class类型的安全转换 #

item.getClass()返回的是Class<? extends Item>而非Class<T>，这是Java泛型擦除导致的运行时类型信息丢失。需要手动添加安全类型转换：

static <T extends Item<E>, E> T getItem2(T item) {
    @SuppressWarnings("unchecked")
    Class<T> itemClass = (Class<T>) item.getClass();
    return getItem(itemClass);
}

添加@SuppressWarnings("unchecked")是因为我们明确知晓该转换的安全性，只是编译器无法自动识别。

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