Java通配符有界泛型

Question

我正在与Java8通配符泛型作斗争。

假设一个名为pair 的泛型类（来自Core Java book）

class Pair<T> {
    private T first;
    private T second;

    public Pair() {
        first = null;
        second = null;
    }
    public Pair(T first, T second) {
        this.first = first;
        this.second = second;
    }
    public T getFirst() { return first; }
    public T getSecond() { return second; }
    public void setFirst(T newValue) { first = newValue; }
    public void setSecond(T newValue) { second = newValue; }
}

Pair<? super Manager> pm2 = 
    new Pair<>(
      new Employee(1,"Yuri"), // Employee is super of Manager
      new Executive()); // Executive is not super of Manager 
// why Executive is allowed in above Pair<T> ?

Employee ex1 = (Employee) pm2.getFirst(); // OK
Manager ex2 = (Manager) pm2.getSecond(); // OK
Executive ex3 = (Executive) pm2.getSecond(); // why is allowed?

是因为Java8编译器转换吗？超级经理反对，因此任何事情都是允许的？

Answer 1

正如你所声明的：

Pair<? super Manager> pm2 = ...

接受泛型的对方法可以用manager及其子类（在您的例子中是execution)替换泛型。

因此，从逻辑上讲，当您使用泛型调用一个方法时，您将得到以下结果：

Pair<? super Manager> pm2 = ...;        
pm2.setFirst(new Executive());  // compile
pm2.setFirst(new Manager());  // compile
pm2.setFirst(new Employee()); // doesn't compile

Pair<Manager> pm2 = ...;        
pm2.setFirst(new Executive());  // compile
pm2.setFirst(new Manager());  // compile
pm2.setFirst(new Employee()); // doesn't compile

Employee ex1 = (Employee) pm2.getFirst(); // OK
Manager ex2 = (Manager) pm2.getSecond(); // OK
Executive ex3 = (Executive) pm2.getSecond(); // why is allowed?

那么我们需要如何使用pair<？超级管理器>？
因为我们希望泛型集合对可以分配给其他对类型来“放入”东西。
最常见的用例是声明一个接受泛型类型<？super>.
但是在本例中，我们希望将未知类型限制为特定类型或超类型，以防止“放置”可能危及作为参数传递的泛型类型的类型安全的东西。

例如，假设您需要一个方法接受管理器实例的对，并将内容放在这个对中。您不希望客户端方法传递对 ，否则，如果我们添加管理器，它可能会破坏一般安全性，因为管理器不是必须的execution实例。下面是下界通配符的主要作用。

示例代码来说明：

public void putStuff(Pair<? super Manager> managers) {
    if (...){
       managers.setFirst(new Manager());
    }
    else if (...){
    managers.setFirst(new Executive());
   }
}

现在只能传递对泛型类型的管理器的类型或超级类型：

putStuff(new Pair<Manager>(...)); // compile
putStuff(new Pair<Employee>(...)); // compile
putStuff(new Pair<Executive>(...)); // doesn't compile