什么是PECS（制作人扩展消费者超级）？

Question

什么是PECS（制作人扩展消费者超级）？

我在阅读泛型时遇到了PECS（制片extends人和消费者的super简称）。

能否给我一个人解释如何使用佩奇之间解决困惑extends和super？

Answer 1

tl; dr：&nbsp;“PECS”来自集合的观点。如果您只是从通用集合中提取项目，那么它就是生产者，您应该使用extends;&nbsp;如果你只是填充物品，它是一个消费者，你应该使用super。如果同时使用相同的集合，则不应使用extends或super。假设您有一个方法，它将事物的集合作为参数，但您希望它比仅接受a更灵活Collection<Thing>。案例1：您希望浏览集合并对每个项目执行操作。然后列表是生产者，所以你应该使用Collection<? extends Thing>。原因是a&nbsp;Collection<? extends Thing>可以保存任何子类型Thing，因此每个元素Thing在执行操作时都会表现为。（您实际上无法向a添加任何内容Collection<? extends Thing>，因为您无法在运行时知道该集合的哪个特定子类型Thing。）案例2：您想要将东西添加到集合中。然后列表是消费者，所以你应该使用Collection<? super Thing>。这里的推理是不同的Collection<? extends Thing>，无论实际的参数化类型是什么，Collection<? super Thing>都可以随时保持Thing。在这里你不关心列表中已有的内容，只要它允许Thing添加;&nbsp;这就是? super Thing保证。

Answer 2

计算机科学背后的原理被称为协方差：? extends MyClass，逆变：? super MyClass和不变性/非方差：&nbsp;MyClass

Answer 3

PECS（“ 生产者extends和消费者super ”的缩写）可以解释为：获取和放置原则获取和放置原则（来自Java泛型和集合）它指出，当您只从结构中获取值时，请使用扩展通配符仅在将值放入结构时使用超级通配符当你得到和放置时，不要使用通配符。让我们通过例子来理解它：1.用于扩展通配符（获取值即生产者extends）这是一个方法，它采用一组数字，将每个数字转换为a double，然后对它们求和public static double sum(Collection<? extends Number> nums) {&nbsp; &nbsp;double s = 0.0;&nbsp; &nbsp;for (Number num : nums)&nbsp;&nbsp; &nbsp; &nbsp; s += num.doubleValue();&nbsp; &nbsp;return s;}我们称之为方法：List<Integer>ints = Arrays.asList(1,2,3);assert sum(ints) == 6.0;List<Double>doubles = Arrays.asList(2.78,3.14);assert sum(doubles) == 5.92;List<Number>nums = Arrays.<Number>asList(1,2,2.78,3.14);assert sum(nums) == 8.92;由于sum()方法的使用extends，所有以下调用都是合法的。如果未使用扩展，前两个调用将不合法。EXCEPTION：您不能将任何内容 放入使用extends通配符声明的类型中- 除了null属于每个引用类型的值：List<Integer> ints = new ArrayList<Integer>();ints.add(1);ints.add(2);List<? extends Number> nums = ints;nums.add(null);&nbsp; // okassert nums.toString().equals("[1, 2, null]");2.对于超级通配符（放置值即消费者super）这是一个方法，它接受数字和a的集合int n，并将n从零开始的第一个整数放入集合中：public static void count(Collection<? super Integer> ints, int n) {&nbsp; &nbsp; for (int i = 0; i < n; i++) ints.add(i);}我们称之为方法：List<Integer>ints = new ArrayList<Integer>();count(ints, 5);assert ints.toString().equals("[0, 1, 2, 3, 4]");List<Number>nums = new ArrayList<Number>();count(nums, 5); nums.add(5.0);assert nums.toString().equals("[0, 1, 2, 3, 4, 5.0]");List<Object>objs = new ArrayList<Object>();count(objs, 5); objs.add("five");assert objs.toString().equals("[0, 1, 2, 3, 4, five]");由于count()方法使用super，所有以下调用都是合法的：如果不使用super，则最后两次调用将不合法。EXCEPTION：你不能从使用super通配符声明的类型中获取任何东西 - 除了type的值Object，它是每个引用类型的超类型：List<Object> objs = Arrays.<Object>asList(1,"two");List<? super Integer> ints = objs;String str = "";for (Object obj : ints) str += obj.toString();assert str.equals("1two");3.当获取和放置时，不要使用通配符无论何时将值放入并从同一结构中获取值，都不应使用通配符。public static double sumCount(Collection<Number> nums, int n) {&nbsp; &nbsp;count(nums, n);&nbsp; &nbsp;return sum(nums);}