※ 引述《jtorngl (DDFL)》之铭言： : 请问 Collection 不支援 covariance (还是该说泛型不支援 covariance) : 所以 summary 只能传入 List<Number> 的物件 : 而不能传入 List<Integer>、List<Double>, ... : public double summary(List<Number> nums) { 你只能传 List<Number>，不能传 List<Integer> 等… : 为了让这段程式能达到类似 covariance 机制 : 所以会使用 wildcard : public double wildcardSummary(List<? extends Number> nums) { 你可以传 List<Number>、List<Integer> 等… : 不过泛型使用 extends 一样可以做到不是吗 : private <E extends Number> double genericsSummary(List<E> nums) { 你必须先确定 E 真正的型态，而这个 E 只能是 Number 的子类，一旦 E 确认了 ，例如 Number，那麽你就只能传 List<Number>… 是的，这也可以解决 List<? extends Number> 能解决的问题，不过语法意义上 是不同的，只不过两者正好涵盖了相同的问题。 因为正好能解决相同问题，就简洁度来说， List<? extends Number> 会是我想 要的写法，因为只要出现一次角括号… 另一方面，若是个 instance method，通常会以类别上的型态限定为主，例如： public class Test<E> { public E foo(List<? extends Number> nums) { return null; } } 会在方法前使用型态限定，通常是在 static method 时，例如： public class Test { public static <E extends Number> Some foo(E e) { return null; } } : 目前能想到的只有，wildcard 有 super 来达到 contravariance : 但是泛型只支援 extends 而没有支援 super : 那如果没有要 contravariance 的效果 : 有什麽情况是 wildcard 才能做到，而泛型还是不能编译的？ 不要从能不能编译来看，很多情况其实都可以通过编译，你要看你想解决什麽 ，以及可读性哪个比较好。 : 目前看一些文章，在方法的参数，要限制参数型态边界时 : 几乎都是使用 List<? extends Number> : 好像比较少看到 <E extends Number> ... List<E> : 看了一下 JDK 的 List interface : boolean addAll(Collection<? extends E> c); : 是因为限制的参数型态都是动态，才只能用 wildcard 吗？ 不是，理由上面说过，你想看到更多 <E extends Number> 的应用，可以找找 有 static method 的类别，例如 Collections.. static <T extends Object & Comparable<? super T>> T maxCollection<? extends T> coll) static <T extends Comparable<? super T>> void sortList<T> list) : 以JDK 的 List 介面来说 : public interface List<E> extends Collection<E> : 有一个方法是 boolean containsAll(Collection<?> c); : : 如果是这样定义的 : boolean containsAll(Collection<E> c); : : 那当我们建立 List<String> strs = Arrays.asList("1", "2"); : 那这个 strs 的 containsAll 方法，只能用来比较 String 集合了 : : 反之因为使用 ? 定义 : boolean containsAll(Collection<?> c); 这样定义 : 所以 strs 还是可以用来比对各种型态的集合 这就是两者应用上的差别之一…instance method 通常会以类别上宣告的型态来限定， 因为阅读上比较简单。 也可以进一步看看这边的文件： https://openhome.cc/Gossip/JavaEssence/WildCard.html -- 良葛格学习笔记 http://openhome.cc --

※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 39.10.69.16 (台湾) ※ 文章网址: https://webptt.com/cn.aspx?n=bbs/java/M.1598789899.A.696.html ※ 编辑: JustinHere (39.10.69.16 台湾), 08/30/2020 20:24:35 ※ 编辑: JustinHere (39.10.69.16 台湾), 08/30/2020 20:25:04 从 Java SE 9 技术手册开始，我有把 Producer Extends，Producer Extends 的说明加 进去，这也是个理解的方向。 因为单纯做 method chain，没有变数型态可以参数，就得明确指定泛型的型态： BeanUtil.<Student>getBean( data, "cc.openhome.Student").getName(); 若有变数型态可参考就不用，因为编译器可以从变数的型态来推断，例如文件中 就有个例子： Student student = BeanUtil.getBean(data, "cc.openhome.Student"); ※ 编辑: JustinHere (110.26.97.16 台湾), 08/31/2020 17:42:52 因为你的 obtain 是： public static <T> T obtain(T t) { return t; } T 用在参数上，之後的呼叫中，"abc" 已经告诉编译器，T 的型态是 String 了… 至於文件上的 static method 是： public static <T> T getBean(Map<String, Object> data, String clzName) 之後的呼叫中，没有任何来源可以告诉编译器，T 的型态是什麽，你就得主动提供… 编译时期型态推断是一直在加强，不用一直纠结在这部份，必须得提供时就提供，只要 你不是不明就理地直接 cast 就行。 ※ 编辑: JustinHere (27.247.130.217 台湾), 09/01/2020 07:53:47