Java中返回通用类成员的参数化方法

Question

为什么不允许以下代码？

class MyClass {
    List<? extends Something> list;
    <T extends Something> List<T> myFunc(T t) {
        list = new ArrayList<T>(); // ok
        list.add(t); // error
        return list; // error
    }
}

以及如何在维护代码的同时修复代码？ 即，类成员list仅接受Something子类且myFunc()相同的对象？

Answer 1

我认为通用<T>声明可以在类级别完成。

据我了解，这是因为通配符? 不能用作类型参数。

通配符从不用作泛型方法调用，泛型类实例创建或超类型的类型参数。

因此，我得到的是Java将不知道<T extends Something>和列表，即使该列表具有扩展相同的上下文，也无法确保该列表具有相同的类型。

一个可能的解决方案（可能不是您想要的）将在类级别声明Generic。

如果执行以下操作可能会起作用：

class Abc <T extends Something>{
    List<T> list;
    List<T> myFunc(T t) {
        list = new ArrayList<T>(); // ok
        list.add(t); 
        return list; 
    }
}

希望对您有所帮助。

Answer 2

您必须先在任何地方定义T类型参数，然后才能在任何地方使用它。 理想情况下，您应该使用类声明进行定义。 因为您在课堂中的许多地方都使用过它。 如果T仅在方法范围内使用，则可以使用方法签名对其进行定义。

您不能修改上限 <T extends Something>和Unbounded <?>类型的实例。

这意味着不允许将任何元素添加到List<?> （无边界列表）中，并且List<T extends Something> 。

如果要使其正常工作，可以对列表使用下界类型参数。

class MyClass<T super Something> {
    List<T super Something> list;
    <T super Something> List<T> myFunc(T t) {
        list = new ArrayList<T>(); // ok
        list.add(t); 
        return list; 
    }
}

Answer 3

你不能做list.add(t); 因为list类型为List<? extends Something> List<? extends Something>并且t具有类型T ，并且无法知道T是否是未知类型的子类型? 代表。

同样，您不能return list; 因为list类型为List<? extends Something> List<? extends Something> ，列表的返回类型为List<T> ，无法知道List<? extends Something> List<? extends Something>是List<T> 。

我认为您在想的是将List<T>放入变量中，因此您知道它是List<T>然后尝试像List<T>一样使用它。 但这不是它的工作方式。 list类型为List<? extends Something> List<? extends Something> 。 无论您输入了什么内容，都不会改变变量的类型，并且对变量的任何使用都必须基于其编译时类型。

如果要在方法的稍后部分中使用创建为List<T>进行处理，则需要保留类型为List<T>的变量以指向该对象，如下所示：

<T extends Something> List<T> myFunc(T t) {
    List<T> tempList = new ArrayList<T>();
    list = tempList;
    tempList.add(t);
    return tempList;
}