协方差：接受子类型相反：接受超类型

协变类型是只读的，而逆变类型是只写的。

简而言之，要记住PECS的三个简单规则：

使用<？如果需要检索对象集合中的类型T。使用<？如果需要将T类型的对象放入一个集合。如果您需要同时满足这两个条件，那么不要使用通配符。像就这么简单。

使用现实生活中的示例（有一些简化）：

想象一列有货车的货运火车，类似于一个列表。如果货物的尺寸与货车相同或更小，您可以将货物放入货车=<？超级货车尺寸>如果您的仓库有足够的空间（大于货物的大小），您可以从货运车上卸载货物=<？扩展DepotSize>

计算机科学背后的原理叫做

协方差：？扩展MyClass，矛盾：？超级MyClass和不变性/非方差：MyClass

下图应解释该概念。图片提供：Andrey Tyukin

（添加答案，因为使用泛型通配符的示例永远不够）

       // Source 
       List<Integer> intList = Arrays.asList(1,2,3);
       List<Double> doubleList = Arrays.asList(2.78,3.14);
       List<Number> numList = Arrays.asList(1,2,2.78,3.14,5);

       // Destination
       List<Integer> intList2 = new ArrayList<>();
       List<Double> doublesList2 = new ArrayList<>();
       List<Number> numList2 = new ArrayList<>();

        // Works
        copyElements1(intList,intList2);         // from int to int
        copyElements1(doubleList,doublesList2);  // from double to double


     static <T> void copyElements1(Collection<T> src, Collection<T> dest) {
        for(T n : src){
            dest.add(n);
         }
      }


     // Let's try to copy intList to its supertype
     copyElements1(intList,numList2); // error, method signature just says "T"
                                      // and here the compiler is given 
                                      // two types: Integer and Number, 
                                      // so which one shall it be?

     // PECS to the rescue!
     copyElements2(intList,numList2);  // possible



    // copy Integer (? extends T) to its supertype (Number is super of Integer)
    private static <T> void copyElements2(Collection<? extends T> src, 
                                          Collection<? super T> dest) {
        for(T n : src){
            dest.add(n);
        }
    }

正如我在回答另一个问题时所解释的，PECS是乔什·布洛克（Josh Bloch）为帮助记住Producer extends和Consumer super而创建的助记符设备。

这意味着当传递给方法的参数化类型将生成T的实例（它们将以某种方式从中检索）时？应该使用extends T，因为T的子类的任何实例也是T。当传递给方法的参数化类型将消耗T的实例（它们将传递给它以执行某些操作）时？应该使用super T，因为T的实例可以合法地传递给任何接受某个T超类型的方法。例如，可以在Collection＜Integer＞上使用Comparator＜Number＞？extends T无法工作，因为Comparator＜Integer＞无法对Collection＜Number＞进行操作。

请注意，通常您只应使用？延伸T和？super T表示某些方法的参数。方法应该只使用T作为泛型返回类型的类型参数。