<< 定义简单泛型 · 目录 · 通配符 >>

泛型和子类型 (Generics and Subtyping)

让我们来测试一下你对泛型的理解。下面的代码段合法吗？

List<String> ls = new ArrayList<String>(); // 1
List<Object> lo = ls; // 2

第1行当然是合法的。比较棘手的是第2行。这归结于一个问题：String List 是 Object List 吗？大多数人凭直觉回答：是！

再看看接下来的几行：

lo.add(new Object()); // 3
String s = ls.get(0); // 4: 尝试将Object分配给String！

这里我们别名化了 ls 和 lo 。通过别名 lo 访问 ls (一个 String List)，我们可以向其中插入任意对象。因此 ls 不再只保存String，当我们试图从中得到一些东西时，我们会得到一个“惊喜”。

当然，Java编译器将防止这种情况发生。第2行将导致编译时错误。

通常，如果Foo是Bar的子类型(子类或子接口)，而G是泛型类型声明，但 G<Foo> 却不是 G<Bar> 的子类型。这可能是你需要学习的关于泛型的最困难的事情，因为它违背了我们根深蒂固的直觉。

我们不应该假设集合不会改变。我们的本能可能导致我们认为这些事情是不可改变的。

例如，如果车管所向人口普查局提供一份司机名单，这似乎是合理的。我们认为 List<Driver> 是一个 List<Person> ，假设 Driver 是 Person 的子类型。事实上，被递交的应该是司机名单的副本，否则，人口普查局可能会在名单上增加新的非司机的人口记录从而破坏了车管所的记录。

为了应对这种情况，我们要考虑更灵活的泛型类型。到目前为止，我们所见到的规则是相当严格的。

<< 定义简单泛型 · 目录 · 通配符 >>

本文译自：https://docs.oracle.com/javase/tutorial/extra/generics/subtype.html

转载于:https://my.oschina.net/tita/blog/2886564

[译] 3.泛型和子类型相关推荐

More Effective C# Item3 : 运行时检查泛型参数的类型并提供特定的算法
我感觉这一条目应该算是对Item2的补充,还是在"约束"的条件下,如何使得程序得到最优化的结果,颇有"带着脚铐跳芭蕾"的意味.Item2中的条目可以看做是在有约 ...
java数组子类型_[改善Java代码]数组的真实类型必须是泛型类型的子类型
List接口的toArray方法可以把一个结合转化为数组,但是使用不方便,toArray()方法返回的是一个Object数组,所以需要自行转变. toArray(T[] a)虽然返回的是T类型的数组, ...
java泛型程序设计——通配符类型+通配符的超类型限定
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的通配符类型+通配符的超类型限定的知识: [1]通配符类型相关 1. ...
Typescript类，泛型，各种类型工具
一.TypeScript 类一个类可以包含以下几个模块: 1.属性 1.1 类属性 1.2 实例属性 2.构造函数(在python中叫初始化函数) 该函数在类实例化时会被立即调用 3.方法(也是函数 ...
ts泛型和补充类型基础
目录 implements字句泛型基本使用泛型约束泛型接口泛型类补充类型 unknown类型 map对象条件类型映射类型 implements字句类可以实现接口,使用笑键字implem ...
提到“子类”和“子类型”是不同的
提到"子类"和"子类型"是不同的,替换原则只适合于子类型关系,而一般编程语言只是考虑了子类关系,子类说明了新类是继承自父类,而子类型强调的是新类具有父类一样的行 ...
Java 8新特性探究(6):泛型的目标类型推断
简单理解泛型泛型是Java SE 1.5的新特性,泛型的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数.通俗点将就是"类型的变量".这种类型变量可以用在类.接口和方法 ...
Java通过泛型的模板类型实例化对象
Java通过泛型的模板类型实例化对象最近自己研究了下mvvm框架,使用泛型的方式可节省很多代码,并且可以合并很多冗余代码,为了最大化的精简代码想到了通过泛型的type用反射的方式实例化对象,这样对象 ...
020_泛型变量的类型限定
1. 泛型变量的类型限定 1.1. 实例 public static <T> T get(T t1,T t2) { if(t1.compareTo(t2) >= 0); // 编译错 ...

[译] 3.泛型和子类型

泛型和子类型 (Generics and Subtyping)

[译] 3.泛型和子类型相关推荐

最新文章

热门文章