哈喽大家好，我是阿Q！
事情是这个样子的……
对话中的截图如下：
看了阿Q的解释，你是否也和”马小跳”一样存在疑问呢？请往👇看
我们都知道在 java中，只要是类型兼容，就可以将一种类型的对象分配给另一种类型的对象。比如可以将一个 Integer类型的对象分配给 Object类型的对象，因为 Object 是 Integer的超类。
Object someObject = new Object();
Integer someInteger = new Integer(10);
someObject = someInteger; //OK
在面向对象中，我们把它称之为 is a 的关系。因为 Integer是 Object的一种子类，所以允许被赋值。
又因为 Integer也是 Number的一种子类，所以下边的代码也是有效的：
public void someMethod(Number n) { /* ... */ }
someMethod(new Integer(10)); // OK
someMethod(new Double(10.1)); // OK
当然泛型也是如此，在执行泛型类型调用时，将 Number作为其类型参数传递，如果参数是 Number的子类型，则允许任何后续的 add调用:
Box box = new Box();
box.add(new Integer(10)); // OK
box.add(new Double(10.1)); // OK
现在我们来看以下代码：
public void boxTest(Box n) { /* ... */ }
该方法接收什么类型的参数呢？
通过该方法，大家肯定知道它的参数类型为 Box<number></number>，但是大家思考一个问题：你认为 Box<integer></integer> 和 Box<double></double>类型的参数可以传入吗？
答案是 否定的。
尽管 Integer是 Number的子类型，但 Box<integer></integer> 和 Box<double></double>不是 Box<number></number>的子类，它俩的父类对象是 Object。 文首的对话表达的就是这个意思。
那么问题来了，当类的泛型相关时，如何在两个泛型类之间创建类似子类型的关系呢？例如如何让 Box<integer></integer> 和 Box<double></double>变得与 Box<number></number>有关呢？
为了搞懂这个问题，我们先来了解一下同一类型的对象是如何实现子类型化的吧。
通过分析源码我们可以发现： ArrayList<e></e> 实现了 List<e></e>， List<e></e> 继承了 Collection<e></e>，所以 ArrayList<string></string>是 List<string></string>的子类型， List<string></string>是 Collection<string></string>的子类型。因此当我们在传递参数时， ArrayList<string></string>类型的是可以给 List<e></e>或者 Collection<e></e>传递的。
只要不改变类型参数，类型之间的子类型关系就会保留。
如果我们想要定义我们自己的列表接口 PayloadList，使得泛型类型P的可选值与每个元素相关联，可以定义如下：
interface PayloadList extends List {
void setPayload(int index, P val);
...
}
则 PayloadList<string,string></string,string>、 PayloadList<string,integer></string,integer>、 PayloadList<string,exception></string,exception>都是 List<string></string>的子类型。
小结：可以通过继承泛型类或者实现接口来对其进行子类型化。
搞懂了子类型化的问题，我们回到”如何在两个泛型类之间创建类似子类型的关系”的问题。
泛型类或者接口并不会仅仅因为它们的类型之间有关系而变得相关，如果要达到相关，我们可以使用 通配符来创建泛型类或接口之间的关系。
Box<integer></integer> 和 Box<number></number>的父类对象其实是 Box<?>
为了在这些类之间创建关系，以便代码可以通过 Box<integer></integer>访问 Box<number></number>的方法，可以使用上限通配符:
Box initBox = new Box<>();
Box numberBox = initBox;
// OK. Box is a subtype of Box
因为 Integer是 Number的子类型， numberBox的泛型是 Number对象子类，所以在 intBox和 numberBox之间存在关系。
图为用 上限和 下限通配符声明的几个类之间的关系。
所以，”马小跳”的问题你会了吗？还不会的话来 技术群交流吧！
Original: https://www.cnblogs.com/aqsaycode/p/15812155.html
Author: 阿Q说代码
Title: 当类的泛型相关时，如何在两个泛型类之间创建类似子类型的关系
原创文章受到原创版权保护。转载请注明出处：https://www.johngo689.com/685369/
转载文章受原作者版权保护。转载请注明原作者出处！