版权声明:欢迎转载,注明作者和出处就好!如果不喜欢或文章存在明显的谬误,请留言说明原因再踩哦,谢谢,我也可以知道原因,不断进步! https://blog.csdn.net/justloveyou_/article/details/52420071 </div>
<style type="text/css" data-evernote-originating-url="https://csdnimg.cn/release/phoenix/template/css/ck_htmledit_views-f57960eb32.css" class="js-evernote-checked" data-evernote-id="1070">.htmledit_views address,.htmledit_views cite,.htmledit_views dfn,.htmledit_views em,.htmledit_views i,.htmledit_views span[lang],.htmledit_views var{font-style:italic}.htmledit_views{font-family:-apple-system,SF UI Text,Arial,PingFang SC,Hiragino Sans GB,Microsoft YaHei,WenQuanYi Micro Hei,sans-serif,SimHei,SimSun}.cke_editable{margin:24px;word-wrap:break-word}.htmledit_views img.right{border:1px solid #ccc;float:right;margin-left:15px;padding:5px}.htmledit_views img.left{border:1px solid #ccc;float:left;margin-right:15px;padding:5px}.htmledit_views .marker{background-color:#ff0}.htmledit_views figure{text-align:center;margin:0 24px;display:inline-block}.htmledit_views figure>figcaption{text-align:center;margin:8px;color:#999;font-size:14px;display:block}.htmledit_views a>img{padding:1px;margin:1px;border:none;outline:#0782c1 solid 1px}.htmledit_views .code-featured{border:5px solid red}.htmledit_views .math-featured{padding:20px;box-shadow:0 0 2px rgba(200,0,0,1);background-color:rgba(255,0,0,.05);margin:10px}.htmledit_views .image-clean{border:0;background:0 0;padding:0}.htmledit_views .image-clean>figcaption{font-size:.9em;text-align:right}.htmledit_views .image-grayscale{background-color:#fff;color:#666}.htmledit_views .image-grayscale img,.htmledit_views img.image-grayscale{filter:grayscale(100%)}.htmledit_views .embed-240p{max-width:426px;max-height:240px;margin:0 auto}.htmledit_views .embed-360p{max-width:640px;max-height:360px;margin:0 auto}.htmledit_views .embed-480p{max-width:854px;max-height:480px;margin:0 auto}.htmledit_views .embed-720p{max-width:1280px;max-height:720px;margin:0 auto}.htmledit_views .embed-1080p{max-width:1920px;max-height:1080px;margin:0 auto}.htmledit_views p{font-size:16px;color:#4f4f4f;font-weight:400;line-height:26px;margin:0 0 16px;overflow-x:auto}p[align=center]{text-align:center}.htmledit_views img{max-width:100%}.htmledit_views strong,.htmledit_views strong span{font-weight:700}.htmledit_views *{box-sizing:border-box}.htmledit_views h1,.htmledit_views h2,.htmledit_views h3,.htmledit_views h4,.htmledit_views h5,.htmledit_views h6{color:#4f4f4f;margin:8px 0 16px;font-weight:700}.htmledit_views ol,.htmledit_views ul{margin:0 0 24px;padding:0;font-size:16px}.htmledit_views ul ol{margin:0 0 24px 32px}.htmledit_views ul li{list-style-type:disc;margin:8px 0 0 32px}.htmledit_views ol li{list-style-type:decimal;margin-left:40px;margin-top:8px}.htmledit_views h1{font-size:28px;line-height:36px}.htmledit_views h2{font-size:24px;line-height:32px}.htmledit_views h3{font-size:22px;line-height:30px}.htmledit_views h4{font-size:20px;line-height:28px}.htmledit_views h5{font-size:18px;line-height:26px}.htmledit_views h6{font-size:16px;line-height:24px}.htmledit_views blockquote{display:block;padding:16px 16px 0;margin:0 0 24px;border-left:8px solid #dddfe4;background:#eef0f4;overflow:auto;overflow-scrolling:touch;word-wrap:normal;word-break:normal}.htmledit_views blockquote ol,.htmledit_views blockquote ul{margin-bottom:16px;padding:0;font-size:16px;line-height:24px}.htmledit_views blockquote ol li,.htmledit_views blockquote ul li{margin-bottom:0}.htmledit_views blockquote p{font-size:16px;line-height:26px;font-weight:400;margin-bottom:16px;color:#4f4f4f}.htmledit_views hr{margin:24px 0;border:none;border-bottom:solid #ccc 1px}.htmledit_views table tr{border:0;border-top:1px solid #ddd;background-color:#fff}.htmledit_views table{border-collapse:collapse;display:table;width:100%;text-align:left;margin-bottom:24px;margin-left:auto;margin-right:auto}.htmledit_views tbody{border:0}.htmledit_views table tr:nth-child(2n){background-color:#f7f7f7}.htmledit_views table tr td,.htmledit_views table tr th{border:1px solid #ddd;font-size:14px;color:#4f4f4f;line-height:22px;padding:8px;text-align:left}.htmledit_views table tr td p,.htmledit_views table tr th p{font-size:14px;color:#4f4f4f;margin:0;padding:0;text-align:left;line-height:22px}.htmledit_views table tr th p{font-weight:700}.htmledit_views table tr td code,.htmledit_views table tr th code{white-space:normal;word-break:break-word}.htmledit_views table tr th{font-weight:700;background-color:#eff3f5}.htmledit_views dl{margin:24px}.htmledit_views dl dt{margin:8px;font-weight:700}.htmledit_views dl dt dd{margin:8px}.htmledit_views abbr[data-original-title],.htmledit_views abbr[title]{cursor:help;border-bottom:1px dotted #999}.htmledit_views .initialism{font-size:90%;text-transform:uppercase}.htmledit_views pre{white-space:pre-wrap;word-wrap:break-word;margin:0 0 24px;overflow-x:auto;padding:8px}.marker{background-color:#ff0}htmledit_views img.mathcode{margin:0 8px}.htmledit_views kbd,.htmledit_views pre,.htmledit_views samp{font-family:Consolas,Inconsolata,Courier,monospace;font-size:14px;line-height:22px;color:#000}.htmledit_views code ol li div.hljs-ln-code,.htmledit_views code ol li div.hljs-ln-numbers,.htmledit_views pre code,.htmledit_views pre code div,.htmledit_views pre code span{font-family:"Source Code Pro","DejaVu Sans Mono","Ubuntu Mono","Anonymous Pro","Droid Sans Mono",Menlo,Monaco,Consolas,Inconsolata,Courier,monospace,"PingFang SC","Microsoft YaHei",sans-serif}.htmledit_views code{border-radius:4px}.htmledit_views a{color:#4ea1db;text-decoration:none}.htmledit_views a:focus,.htmledit_views a:hover{color:#ca0c16}.htmledit_views a:visited{color:#6795b5}.htmledit_views .footnote{vertical-align:top;position:relative;top:-4px;font-size:12px}.htmledit_views .flow-chart,.htmledit_views .sequence-diagram{text-align:center;margin-bottom:24px;font-size:14px!important}.htmledit_views .flow-chart [fill="#000"],.htmledit_views .flow-chart [fill="#000000"],.htmledit_views .flow-chart [fill=black],.htmledit_views .sequence-diagram [fill="#000"],.htmledit_views .sequence-diagram [fill="#000000"],.htmledit_views .sequence-diagram [fill=black]{fill:#4f4f4f}.htmledit_views .flow-chart [stroke="#000000"],.htmledit_views .sequence-diagram [stroke="#000000"]{stroke:#4f4f4f}.htmledit_views .MathJax_SVG_Display{text-align:center;margin:24px 0;font-size:18px;font-weight:400;color:#4f4f4f;position:relative;text-indent:0;max-width:none;max-height:none;min-width:0;min-height:0;width:100%}.htmledit_views pre code{display:block;line-height:22px;overflow-x:auto;white-space:pre;word-wrap:normal;border-radius:4px;padding:8px}.htmledit_views pre code,.htmledit_views pre code div,.htmledit_views pre code span{font-size:14px}.htmledit_views .prettyprint,.htmledit_views pre.prettyprint{margin:0 0 24px;padding:8px 16px 4px 56px;background-color:#f6f8fa;border:none}.htmledit_views .prettyprint .pre-numbering{position:absolute;width:48px;background-color:#eef0f4;top:0;left:0;margin:0;padding:8px 0;list-style:none;text-align:right}.htmledit_views .pre-numbering li{padding:0 8px;list-style:none;margin:0}.htmledit_views dl dd{margin:0 0 8px 40px}.htmledit_views kbd{padding:2px 8px;border:1px solid rgba(63,63,63,.25);box-shadow:0 1px 0 rgba(63,63,63,.25);background-color:#fff;color:#333;border-radius:4px;display:inline-block;margin:0 2px;white-space:nowrap}.htmledit_views .dp-highlighter{font-size:12px;text-align:left;margin:0 0 24px}.htmledit_views code ol{margin:0;overflow:hidden}.htmledit_views code ol li{list-style-type:none;margin-left:0;margin-top:0;height:22px}.htmledit_views code ol li div.hljs-ln-code{margin-left:8px}.htmledit_views code ol li div.hljs-ln-code,.htmledit_views code ol li div.hljs-ln-numbers{float:left;height:22px}.htmledit_views code ol li div.hljs-ln-numbers{width:24px;border-right:1px solid #c5c5c5}.htmledit_views code ol li div.hljs-ln-numbers .hljs-ln-line{word-wrap:normal}.htmledit_views code ol.hundred li div.hljs-ln-numbers{width:30px}.htmledit_views code ol.thousand li div.hljs-ln-numbers{width:36px}</style>
<div id="content_views" class="markdown_views js-evernote-checked" data-evernote-id="1071">
<!-- flowchart 箭头图标 勿删 -->
<svg xmlns="http://www.w3.org/2000/svg" style="display: none;" class="js-evernote-checked" data-evernote-id="1072">
<path stroke-linecap="round" d="M5,0 0,2.5 5,5z" id="raphael-marker-block" style="-webkit-tap-highlight-color: rgba(0, 0, 0, 0);" class="js-evernote-checked" data-evernote-id="1073"></path>
</svg>
<h2 id="一-引子" class="js-evernote-checked" data-evernote-id="1074"><a name="t0" class="js-evernote-checked" data-evernote-id="188"></a>一. 引子</h2>
- 一般的类和方法,只能使用具体类型:要么是基本类型,要么是自定义类型。如果要编写可以应用于多种类型的代码,这种刻板的限制对代码的束缚就会很大。
- 多态 算是一种泛化机制,但对代码的约束还是太强(要么继承父类,要么实现接口)。
- 有许多原因促成了泛型的出现,而最重要的一个原因,就是为了 更安全友好的使用容器类 : 用来指定容器要持有什么类型的对象,而且由编译器来保证类型的正确性。
例如,在 Java 加入泛型特性前,ArrayList 只维护一个 Object 类型的数组:
public class ArrayList{
private Object[] elementData;
...
public Object get(int i){ ... }
public void add(Object o){ ... }
...
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
显然,这样的实现存在两个问题:
(1). 当获取一个值时,必须进行强制类型转换:
ArrayList list = new ArrayList();
...
String str = (String)list.get(0);
- 1
- 2
- 3
(2). 该 ArrayList 没有错误检查,即可以向数组中添加任何类型的对象:
list.add(new Integer(1));
- 1
向上述的动态数组中添加一个整型对象,程序在编译时和运行时都不会出错。但当我们强制将 get 结果转型时,就会抛出 ClassCastException 异常,程序出错。对于容器类,它是可以存储任何对象的,但我们在使用时,一次只想也只应该向其中放入一种对象。基于这种需求,提出了 类型参数化 的概念,即泛型。
二. 泛型基础
1.概念
术语:适用于许多许多的类型;
本质:实现类型参数化的概念,使代码可以应用于多种类型;
核心:告诉编译器想使用什么类型(指定具体类型参数或对其进行限制),然后编译器帮你处理一切细节(类型安全检查等);
泛型初衷
(1). 希望类或方法具备最广泛的表达能力,即通过解耦类或方法与所使用的类型之间的约束;
(2). 对容器类而言,泛型在保证容器类可以存储任何类型对象的同时,又保证了容器类一旦声明自己将要保存的元素类型时,就不可再保存其他类型了,例如:
ArrayList<Fruit> list = new ArrayList<Fruit>();
fruits.add(new Fruit()); // OK
fruits.add(new Apple()); // OK
fruits.add(new Orange()); // OK
fruits.add(new Object()); // Error
- 1
- 2
- 3
- 4
- 5
- 6
- 7
上述代码表明了该容器只能保存 Fruit类型 的对象,由于 Apple 也是一种 Fruit,所以其也可以保存 Apple类型 对象,但对于不属于 Fruit类型 的对象,编译器杜绝将其放入列表中。
简单地说:泛型 = 编译时的类型检查 + 编译时的类型擦除(编译器插入 checkcast 等) + 运行时的自动类型转换。所以,我们在理解和应用泛型时,一定要从 编译期 和 运行时 两个视角去分析。
- 类型参数推断: 当使用泛型类时,必须在创建对象的时候指定类型参数的值;而使用泛型方法时,通常不必指明参数类型(编译器类型参数推断的能力是有限的,有时我们必须显式的指明类型参数;但大多数情况下,编译器可以胜任这项任务),因为编译器会为我们找出具体类型(如 例1 所示)。但是编译器的类型推导能力是有限的,这种情况下,我们必须进行显式的类型实例化(如 例2 所示)。
例1:
在 Java 1.7 以后,我们可以这样创建一个ArrayList:
ArrayList<String> list = new ArrayList<>;
- 1
list 变量的类型就决定了它引用的动态数组所能存储的元素类型,即后者的类型参数可以从变量中推断出。
例2:
public class TypeInference {
public static <E> Set<E> union(Set<? extends E> s1, Set<? extends E> s2) {
Set<E> result = new HashSet<E>(s1);
result.addAll(s2);
return result;
}
public static void main(String[] args) {
Set<Integer> integers = new HashSet<Integer>();
Set<Double> doubles = new HashSet<Double>();
Set<Number> numbers = null;
//编译器的类型推断能力有限
numbers = TypeInference.union(integers, doubles); // Error
numbers = TypeInference.<Number>union(integers, doubles); // OK
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
如例2所示,为 numbers 赋值时需要显式对类型参数实例化。
2、定义与语法
- 泛型类(参数化类)
public class Holder<T>{}
- 1
- 泛型接口(参数化接口)
public interface Generator<T>{}
- 1
- 泛型方法(参数化方法;所在类可以是泛型类,也可以不是;能够独立于类而产生变化;细粒度)
public <T> void f(T x){}
- 1
3.注意事项
(1). 只有当你希望使用的参数类型比某个具体类型(以及它的所有子类型)更加泛化时————也就是说,当你的代码能够跨多个类工作时,使用泛型才有所帮助;否则,使用多态就可以满足要求。
public class HasF {
public void f(){...}
}
//以下两种实现方式所取得的效果是一样的
//泛型实现
class Manipulator1<T extends HasF>{
private T obj;
public Manipulator1(T x){
this.obj = x;
}
public void manipulate(){
obj.f();
}
}
//多态实现
class Manipulator2{
private HasF obj;
public Manipulator2(HasF x){
this.obj = x;
}
public void manipulate(){
obj.f();
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
(2). 泛型类的识别(误区)
先看下面两段代码:
// 第一段代码
public class Pair<T> {
private T first;
private T second;
public Pair(T first, T second){
this.first = first;
this.second = second;
}
public void setFirst(T first){
this.first = first;
}
public T getFirst(){
return first;
}
public void setSecond(T second){
this.second = second;
}
public T getSecond(){
return second;
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
// 第二段代码
public class DateInterval extends Pair<Date> { // 时间间隔类
public DateInterval(Date first, Date second){
super(first, second);
}
@Override
public void setSecond(Date second) {
super.setSecond(second);
}
@Override
public Date getSecond(){
return super.getSecond();
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
由泛型类的定义可知,Pair<T> 是一个泛型类,因为在类名后面有类型参数;类DateInterval 后面没有跟类型参数列表,因此该类就是一个 T 被替换为 Date 的实体类,其从Pair<Date>继承得到的方法列表,与泛型彻底无关。
(3). 对泛型类LinkedList<T>的类型参数T实例化所得到的不同泛型类型的理解
下图中,LinkedList<String>、LinkedList<Point> 和 LinkedList<PolyLine>是三种不同的类型,就像 Integer 和 String 一样,是两种互不相同的类型。但是,三者共享同一个 Class 对象。换句话说,三者在运行期的类型是一样的,但在编译期根据类型参数的不同成为截然不同的类型。下面代码可为例证。
public class TestClassTypes {
public static void main(String[] args) {
LinkedList<String> proverbs = new LinkedList<>();
LinkedList<Object> numbers = new LinkedList<>();
System.out.println("numbers class name: " + numbers.getClass().getName()); // Output: java.util.LinkedList
System.out.println("proverbs class name: " + proverbs.getClass().getName()); // Output: java.util.LinkedList
System.out.println("Compare Class objects: " + numbers.getClass().equals(proverbs.getClass())); // Output:true
// 由于 LinkedList<String> 与 LinkedList<Object> 在编译期根本就是不同类型,所以下面代码编译不能通过:
proverbs = (LinkedList<String>)numbers; // 类似于:把 Integer 类型实例强制转型为 String实例 赋给 String引用
// 每个类都是 Object 的子类
Object obj = (Object)numbers;
System.out.println("obj class name " + obj.getClass().getName()); // Output: java.util.LinkedList
// 会有转型安全的异常
proverbs = (LinkedList<String>)obj;
System.out.println("obj in proverbs class name " + obj.getClass().getName()); // Output:java.util.LinkedList
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
(4). 在泛型类中, static 域或方法无法访问泛型类的类型参数(类型实例化所得的所有泛型类型共享同一个Class对象);若静态方法需要使用泛型能力,就必须使其成为泛型方法(不与泛型类共享类型参数)。
在一个类中,static域或方法都是该类的Class对象的成员,而我们知道泛型所创造出来的所有类型都共享一个 Calss对象, 因此实质上不受泛型参数限制,所以如下代码根本不能通过编译:
public class Test2<T> {
public static T one; //编译错误
public static T show(T one){ //编译错误
return null;
}
}
- 1
- 2
- 3
- 4
- 5
- 6
但是要注意区分下面的一种情况:
public class Test2<T> {
public static <T> T show(T one){//这是正确的
return null;
}
}
- 1
- 2
- 3
- 4
- 5
因为这是一个泛型方法,在泛型方法中使用的 类型参数T 是自己在方法中定义的T,而不是泛型类中的 T。
(5). 限制泛型可用的类型
在定义泛型类时,预设可以使用任何的类型来实例化泛型类中的类型。但是,如果想要限制使用泛型的类型时,即要求只能使用某个特定类型或其子类型才能实例化该类型时,使用 extends 关键字指定这个类型必须是继承或者实现某个接口。一般地,当没有指定泛型继承的类型或实现的接口时,默认等价于使用 T extends Object,因此,默认情形下任何类型都可以作为参数插入。特别地,为类型参数设定的第一个边界可以是类类型或接口类型,类型参数的第一个边界之后的任意额外边界都只能是接口类型,同时,一般将标记性接口放到靠后位置,这些类型参数之间有 & 相连接。
publc class MyClass<T extends Number & Serilizable>{
...
}
- 1
- 2
- 3
在调用泛型方法的时候,可以指定泛型,也可以不指定泛型
在不指定泛型的情况下,泛型变量的类型为该方法中的几种类型的同一个父类的最小级,直到Object; 在指定泛型的时候,该方法中的几种类型必须是该泛型实例类型或者其子类。
//代码示例
public class Test2{
public static void main(String[] args) {
/**不指定泛型的时候*/
Integer i = Test2.add(1, 2); //这两个参数都是Integer,所以T为Integer类型
Number f = Test2.add(1, 1.2); //这两个参数一个是Integer,一个是Double,所以取同一父类的最小级,为Number
Object o = Test2.add(1, "asd"); //这两个参数一个是Integer,一个是String,所以取同一父类的最小级,为Object
System.out.println(i.getClass().getName()); //输出: java.lang.Integer
System.out.println(f.getClass().getName()); //输出: java.lang.Double
System.out.println(o.getClass().getName()); //输出: java.lang.String
/**指定泛型的时候*/
int a = Test2.<Integer>add(1, 2); //指定了Integer,所以只能为Integer类型或者其子类
int b = Test2.<Integer>add(1, 2.2); //编译错误,指定了Integer,不能为Double
Number c = Test2.<Number>add(1, 2.2); //指定为Number,所以可以为Integer和Double
}
//这是一个简单的泛型方法
public static <T> T add(T x,T y){
return y;
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
注意,这个例子中的两个输出是java.lang.Double和java.lang.String,而不是java.lang.Number 和 java.lang.Object:
System.out.println(f.getClass().getName()); //输出: java.lang.Double
System.out.println(o.getClass().getName()); //输出: java.lang.String
- 1
- 2
实际上,这个问题涉及泛型机制和多态两点。在例子中,类型参数T被编译器用Number替换,这是没问题的,因为无论整形还是浮点型都属于数型,这是由多态机制保证的。但是,无论x还是y,它们本质上还是各自的类型不会发生任何改变。要注意的是,这里的getClass()方法返回的变量的实际类型,即运行时类型而非编译时类型,因此返回y的类型是double而非number。
(6). 泛型的兼容性
- 从泛型类型生成的任何类型的引用都能存储到对应的原生类型的变量中
LinkedList list = new LinkedList<String>();
- 1
这样编写代码是合法兼容的,但是,不应该将这作为日常编程习惯的一部分,因为这种实践存在固有的风险:由于 类型安全性检查是针对引用的,所以上述写法和如下写法实质上是一样的:
LinkedList list = new LinkedList();
- 1
- 从原生类型生成的引用能存储到任何类型的泛型类型的变量中
LinkedList<String> list1 = new LinkedList();
LinkedList<Integer> list2 = new LinkedList();
- 1
- 2
这样编写代码是合法兼容的,但是,由于我们可以将一个已经原生的 LinkedList对象 直接赋值此类引用,虽然在之后在添加元素是会进行类型安全检查,但之前的 LinkedList对象 所存储的元素可能五花八门,给程序带来隐患。具体请参照下图:
(7). primitive类型不可以作为类型参数(八大类型)
(8). 若使用泛型方法可以取代将整个类泛型化,那么就应该使用泛型方法
(9). 泛型方法与可变参数列表可以很好的共存
public static <T> void f(T... args){}
- 1
三. 通配符及泛型的逆变和协变
1、 通配符
(1).无界通配符
我们知道,通过为泛型类的每个类型形参提供类型实参,可以表达由这个泛型类定义的集合中的特定类型。例如,为了指定存储 String 的 ArrayList,就需要将类型参数设定为 String,所以动态数组类型就是ArrayList<String>。若不想为泛型类的类型参数提供具体类型,可以将参数设定为 “?”,这就是通配符的作用, 通配符类型可以表示任何类或接口类型。
ArrayList<?> list = new ArrayList<String>();
list = new ArrayList<Double>();
list.add(e); // e cannot be resolved to a variable
System.out.println(list1.size()); // OK
- 1
- 2
- 3
- 4
- 5
list 变量是ArrayList<?>类型,所以能将指向任意类型的ArrayList<>对象的引用存储在其中。但由于 list 是通配符类型参数的结果,所以存储引用的实际类型并不知道,因而无法使用这个变量调用任何与类型参数有关的方法。特别地,在 Java 集合框架中,对于参数值是未知类型的容器类,只能读取其中元素,不能向其中添加元素。因为其类型未知,所以编译器无法识别添加元素的类型和容器的类型是否兼容,唯一的例外是 NULL(对 Null 而言,无所谓类型)。
(2). 深入理解无界通配符
我们有必要对以下三种类型进行区分:
List :持有任何Object类型 的 原生List,编译器不会对原生类型进行安全检查;
List<?> :具有某种特定类型 的 非原生List,编译器会进行安全检查;
List<Object> : 编译器认为 List<Object> 是 List<?> 的子类型;
public class Wildcards {
// Raw argument:
static void rawArgs(Holder holder, Object arg) {
holder.set(arg); // Warning:
holder.set(new Wildcards()); // Same warning
// OK, but type information has been lost:
Object obj = holder.get();
}
// Similar to rawArgs(), but errors instead of warnings:
static void unboundedArg(Holder<?> holder, Object arg) {
// holder.set(arg); // Error:
// holder.set(new Wildcards()); // Same error
// OK, but type information has been lost:
Object obj = holder.get();
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
2、 向上转型 / 通配符的上界 / 协变
在引入通配符的上界这一概念时,我们先看一下数组的一种特殊行为:基类型的数组引用可以被赋予导出类型的数组,如下面的代码所示:
class Fruit {}
class Apple extends Fruit {}
class Jonathan extends Apple {}
class Orange extends Fruit {}
public class CovariantArrays {
public static void main(String[] args) {
Fruit[] fruit = new Apple[10];
fruit[0] = new Apple(); // 编译期、运行期都 OK
fruit[1] = new Jonathan(); // 编译期、运行期都 OK
fruit[3] = new Fruit(); // 编译期 OK、运行期抛出 java.lang.ArrayStoreException(因为 fruit 的运行时类型是 Apple[], 而不是 Fruit[] 或 Orange[])
// 说明 Fruit[] 是 Apple[] 的父类型
System.out.println(Fruit[].class.isAssignableFrom(Apple[].class)); // true
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
由此可以说明:
由 12 行可知,该行代码编译期正常,则进一步说明:编译器的类型检查是针对引用的(Fruit型数组可以放入Fruit及其子类型对象);但在运行时,由于fruit引用实际上指的是一个Apple数组,而作为Apple数组则只可以向其中放入Apple及其子类型对象,因此当放入Fruit对象时,抛出异常。
由 15 行可知,Fruit[] 是 Apple[] 的父类型,因此根据Java多态特性,前者可以指向后者对象。
我们知道,泛型的主要目标之一就是将这种错误检查移到编译期,那么,如果我们用泛型容器代替数组,那将会发生什么呢?
public class NonCovariantGenerics {
List<Fruit> flist = new ArrayList<Apple>(); // Compile Error: Type Mismatch
}
- 1
- 2
- 3
- 4
由以上代码可以知道,编译期根本不允许我们这么做。试想,如果编译期允许我们这样做,该容器就允许存入任何类型的对象,只要它是一种Fruit,而不像数组那样会抛出运行时异常,违背了泛型的初衷(泛型保证容器的类型安全检查)。所以,在编译期看来,List<Fruit> 和 List<Apple> 根本就是两种不同的类型,并无任何继承关系。
但是,有时你想要在以上两个类型之间建立某种向上转型关系,这就引出了通配符的上界。例如:
public class GenericsAndCovariance {
public static void main(String[] args) {
// 允许我们向上转型,向数组那样
List<? extends Fruit> flist = Arrays.asList(new Apple());
// Compile Error: can’t add any type of object:
flist.add(new Apple()); // Compile Error
flist.add(new Fruit()); // Compile Error
flist.add(new Object()); // Compile Error
flist.add(null); // Legal but uninteresting
// We know that it returns at least Fruit:
Fruit f = flist.get(0);
Object o = flist.get(0);
Apple a = flist.get(0); // Compile Error:Type mismatch
flist.contains(new Apple()); // OK
flist.indexOf(new Apple()); // OK
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
对于上述例子,flist 的类型就是List<? extends Fruit>了,但这并不意味着可以向这个 List 可以添加任何类型的 Fruit,甚至于不能添加 Apple。虽然编译器知道这个 List 持有的是 Fruit,但并不知道其具体持有哪种特定类型(可能是List<Fruit>,List<Apple>,List<Orange>,List<Jonathan>),所以编译器不知道该添加那种类型的对象才能保证类型安全(add 方法的参数为 “? extends Fruit” ),因而编译器杜绝任何添加任何类型的 Fruit。但是,对于诸如 get(int index)【我们进行读取操作时,编译器是允许的,而且编译器还知道 List 中的任何一个对象至少具有 Fruit类型】、contains(Object o) 和 indexof(Object o) 等操作,由于其参数类型不涉及通配符,因此编译器允许调用这些操作。
因此,一旦执行这种向上转型,我们就丢掉向其中添加任何对象的能力。更一般地,编译器会直接拒绝对参数列表中涉及通配符的方法的调用。因此,这意味着将由泛型类的设计者来决定哪些调用地安全的,并使用 Object类型 作为其参数类型,例如 contains 方法和 indexof 方法。例如,
public class Holder<T> {
private T value;
public Holder() {
}
public Holder(T val) {
value = val;
}
public void set(T val) {
value = val;
}
public T get() {
return value;
}
public boolean equals(Object obj) {
return value.equals(obj);
}
public static void main(String[] args) {
Holder<Apple> Apple = new Holder<Apple>(new Apple());
Apple d = Apple.get();
Apple.set(d);
Holder<? extends Fruit> fruit = Apple; // OK
Fruit p = fruit.get();
d = (Apple) fruit.get(); // Returns ‘Fruit’,类型擦除,返回上界
// No warning,运行时异常 java.lang.ClassCastException
Orange c = (Orange) fruit.get();
// fruit.set(new Apple()); // Cannot call set(),参数列表含通配符
// fruit.set(new Fruit()); // Cannot call set(),参数列表含通配符
fruit.equals(d); // OK,参数列表不含通配符
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
- 39
- 40
- 41
- 42
3、超类型通配符 / 通配符的下界 / 逆变
我们可以使用超类型通配符指定通配符的下界, 例如<? super MyClass>,这使得我们可以安全的传递一个对象到泛型类型中。有了超类型通配符,就可以向 Collection 写入了,如下图所示:
由图片可知,参数 apples 是 Apple 或 Apple的某种基类型 (例如:Fruit,Object,…) 的 List,也就是说,该 List 可以是 List<Apple>, List<Fruit> 或 List<Object>等。但无论具体指的是哪一种,我们向其中添加 Apple 或 Apple的子类型 总是安全的。但编译器不允许向该 List 放入一个 Fruit 对象, 因为该List的类型可能是List<Apple> , 这样将会违背泛型的本意。对于List<? super Apple>,在读取容器元素时,由于该容器所包含的元素可能是 Object类型、 Fruit类型 和 Apple类型,因此,从容器所读取到的元素只能确定是Object类型的,如下面图片所示:
4、协变与逆变
逆变与协变用来描述类型转换(type transformation)后的继承关系,其定义:如果 A,B 表示类型,f(⋅)表示类型转换,≤ 表示继承关系(比如,A ≤ B 表示A是B的子类);
- f(⋅) 是逆变(contravariant)的,当 A≤B 时有 f(B)≤f(A) 成立;
- f(⋅) 是协变(covariant)的,当 A≤B 时有 f(A)≤f(B) 成立;
- f(⋅) 是不变(invariant)的,当 A≤B 时上述两个式子均不成立,即f(A)与f(B)相互之间没有继承关系。
接下来,我们看看Java中的常见类型转换的协变性、逆变性或不变性:
(1).泛型
令f(A) = ArrayList<A>,那么f(⋅) 是逆变、协变还是不变的呢?如果是逆变,则ArrayList<Integer>是ArrayList<Number>的父类型;如果是协变,则ArrayList<Integer>是ArrayList<Number>的子类型;如果是不变,二者没有相互继承关系。由于实际上ArrayList<Number>和ArrayList<Integer>无关,所以泛型是不变的。
(2).数组
令f(A) = A[],容易证明数组是协变的:
Number[] numbers = new Integer[3];
- 1
5、实现泛型的协变与逆变
我们知道Java 中的泛型是不变的,可我们有时需要实现泛型的逆变与协变,怎么办呢?这时通配符 ? 派上了用场:
- <? extends >实现了泛型的协变,比如:
ArrayList<? extends Apple> l3 = new ArrayList<>();
ArrayList<? extends Fruit> l4 = new ArrayList<>();
l4 = l3;
- 1
- 2
- 3
对于ArrayList<? extends Apple>类型,我们知道其表示某种具体类型(只是没有确定下来),但是无论其具体指的是ArrayList<Apple>类型还是ArrayList<Jonathan>类型都是可以赋给ArrayList<? extends Fruit>类型的引用的,反之则不可以。因此,我们可以认为ArrayList<? extends Fruit>类型是ArrayList<? extends Apple> 类型的父类型,故<? extends>实现了泛型的协变。
- <? super>实现了泛型的逆变,比如:
ArrayList<? super Apple> l1 = new ArrayList<>();
ArrayList<? super Fruit> l2 = new ArrayList<>();
l1 = l2;
- 1
- 2
- 3
对于 ArrayList<? super Fruit>类型,我们知道其表示某种具体类型(只是没有确定下来),但是无论其具体指的是ArrayList<Fruit>类型还是ArrayList<Object>类型都是可以赋给ArrayList<? super Apple>类型的引用的,反之则不可以。因此,我们可以认为ArrayList<? super Apple>类型是ArrayList<? super Fruit>类型的父类型,故 <? super>实现了泛型的逆变。
6、PECS 准则 (producer-extends, consumer-super)
我们知道<?>表示:我想使用Java泛型来编写代码,而不是用原生类型;但是在当前这种情况下,我并不能确定下泛型参数的具体类型,因此用?表示任何某种类型。因此,根据我们对通配符的了解,使用无界通配符的泛型类不能够写数据,而在读取数据时,所赋值的引用也只能是 Object 类型。那么,我们究竟如何向泛型类写入、读取数据呢?
《Effective Java2》给出了答案。 PECS: producer(读取)-extends, consumer(写入)-super。换句话说,如果输入参数表示一个 T 的生产者,就使用<? extends T>;如果输入参数表示一个 T 的消费者,就使用<? super T>。总之,通配符类型可以保证方法能够接受它们应该接受的参数,并拒绝那些应该拒绝的参数。 比如,一个简单的 Stack API :
public class Stack<E>{
public Stack();
public void push(E e);
public E pop();
public boolean isEmpty();
}
- 1
- 2
- 3
- 4
- 5
- 6
现在要实现pushAll(Iterable<E> src)方法,将实现 Iterable 接口的 src 的元素逐一入栈:
public void pushAll(Iterable<E> src){
for(E e : src)
push(e)
}
- 1
- 2
- 3
- 4
那么问题就来了:假设有一个实例化Stack<Number>的对象stack(类型参数被实例化为Number),显然, 我们向这个 stack 中加入Integer型或Float型元素都是可以的,因为这些元素本来就是Number型的。因此,src 就包括但不限于 Iterable<Integer>与Iterable<Float>两种可能。这时,在调用上述pushAll方法时,编译器就会产生type mismatch错误。原因是显而易见的,因为Java中泛型是不变的,Iterable<Integer> 与 Iterable<Float> 都不是 Iterable<Number>及其子类型中的一种。所以,我们对pushAll方法的设计就存在逻辑上的问题。因此,应改为
// Wildcard type for parameter that serves as an E producer
public void pushAll(Iterable<? extends E> src) {
for (E e : src)
push(e);
}
- 1
- 2
- 3
- 4
- 5
这样,我们就可以实现将实现Iterable接口的E类型的容器中的元素读取到我们的 Stack<E> 中。
那么,如果现在要实现popAll(Collection<E> dst)方法,将 Stack 中的元素依次取出并添加到 dst 中,如果不用通配符实现:
// popAll method without wildcard type - deficient!
public void popAll(Collection<E> dst) {
while (!isEmpty())
dst.add(pop());
}
- 1
- 2
- 3
- 4
- 5
同样地,假设有一个实例化Stack<Number> 的对象 stack , dst 为 Collection<Object>,显然,这是合理的。但如果我们调用上述的 popAll(Collection<E> dst)方法,编译器会报出type mismatch错误,编译器不允许我们进行这样的操作。原因是显而易见的,因为Collection<Object>不是Collection<Number>及其子类型的一种。所以,我们对popAll方法的设计就存在逻辑上的问题。因此,应改为
// Wildcard type for parameter that serves as an E consumer
public void popAll(Collection<? super E> dst) {
while (!isEmpty())
dst.add(pop());
}
- 1
- 2
- 3
- 4
- 5
这样,我们就可以实现将Stack<E>中的元素读取到我们的 Collection 中。在上述例子中,在调用 pushAll方法时,src生产了E实例(produces E instances);在调用popAll方法时 dst 消费了E实例(consumes E instances)。Naftalin与Wadler将PECS称为Get and Put Principle。
此外,我们再来学习一个例子:java.util.Collections的copy方法(JDK1.7),它的目的是将所有元素从一个列表(src)复制到另一个列表(dest)中。显然,在这里,src是生产者,它负责产生T类型的实例;dest是消费者,它负责消费T类型的实例。这完美地诠释了PECS:
// List<? extends T> 类型的 src 囊括了所有 T类型及其子类型 的列表
// List<? super T> 类型的 dest 囊括了所有可以将 src中的元素添加进去的 List种类
public static <T> void copy(List<? super T> dest, List<? extends T> src) {
// 将 src 复制到 dest 中
int srcSize = src.size();
if (srcSize > dest.size())
throw new IndexOutOfBoundsException("Source does not fit in dest");
if (srcSize < COPY_THRESHOLD ||
(src instanceof RandomAccess && dest instanceof RandomAccess)) {
for (int i=0; i<srcSize; i++)
dest.set(i, src.get(i));
} else {
ListIterator<? super T> di=dest.listIterator();
ListIterator<? extends T> si=src.listIterator();
for (int i=0; i<srcSize; i++) {
di.next();
di.set(si.next());
}
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
因此,输入参数是生产者时,用 ? extends T;输入参数是消费者时,用 ? super T;输入参数既是生产者又是消费者时,那么通配符类型没什么用了:因为你需要的是严格类型匹配,这是不用任何通配符而得到的。无界通配符<?> 既不能做生产者(读出来的是Object),又不能做消费者(写不进去)。
四. 编译器如何处理泛型?
通常情况下,一个编译器处理泛型有两种方式:
1、Code Specialization
在实例化一个泛型类或泛型方法时都产生一份新的目标代码(字节码or二进制代码)。例如,针对一个泛型list,可能需要针对string,integer,float产生三份目标代码。
2、Code Sharing
对每个泛型类只生成唯一的一份目标代码;该泛型类的所有实例都映射到这份目标代码上,在需要的时候执行类型检查和类型转换。
C++中的模板(template)是典型的Code specialization实现
C++编译器会为每一个泛型类实例生成一份执行代码。执行代码中integer list和string list是两种不同的类型。这样会导致代码膨胀(code bloat),不过有经验的C++程序员可以有技巧的避免代码膨胀。另外,在引用类型系统中,这种方式会造成空间的浪费。因为引用类型集合中元素本质上都是一个指针,没必要为每个类型都产生一份执行代码,而这也是Java编译器中采用Code sharing方式处理泛型的主要原因。
Java 是典型的Code sharing实现
Java编译器通过Code Sharing方式为每个泛型类型创建唯一的字节码表示,并且将该泛型类型的实例都映射到这个唯一的字节码表示上。将多种泛型类形实例映射到唯一的字节码表示是通过类型擦除(type erasue)实现的。
五. 类型擦除
1、要点
类型擦除,通过移除泛型类定义的类型参数并将定义中每个类型变量替换成对应类型参数的非泛型上界(第一个边界),得到原生类型(raw type)。类型擦除是 Java 泛型实现的一种折中,以便在不破坏现有类库的情况下,将泛型融入Java并且保证兼容性(泛型出现前后的Java类库互相兼容)。类型擦除指的是通过类型参数合并,将泛型类型实例关联到同一份字节码(Class 对象)上。编译器只为泛型类型生成一份字节码,并将其实例关联到这份字节码上。类型擦除的关键在于从泛型类型中清除类型参数的相关信息,并且在必要的时候添加类型检查和类型转换的方法。
擦除是在编译期完成的。类型擦除可以简单的理解为将泛型java代码转换为普通java代码,只不过编译器更直接点,将泛型java代码直接转换成普通java字节码。泛型类型只有在静态类型检查期间才会出现,在此之后,程序中的所有泛型类型都将被擦除,并替换为它们的非泛型上界。因此,在泛型代码内部,无法获得任何有关泛型参数类型的信息。
2、编译器是如何配合类型擦除的?
3、类型擦除的主要过程
对于Pair<>:
//代码示例 A
class Pair<T> {
private T value;
public T getValue() {
return value;
}
public void setValue(T value) {
this.value = value;
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
Pair<>的原始类型为:
//代码示例 B
class Pair {
private Object value;
public Object getValue() {
return value;
}
public void setValue(Object value) {
this.value = value;
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
以下类型擦除示例:
//代码示例 1
interface Comparable <A> {
public int compareTo( A that);
}
- 1
- 2
- 3
- 4
//代码示例 2
final class NumericValue implements Comparable <NumericValue> {
priva byte value;
public NumericValue (byte value) { this.value = value; }
public byte getValue() { return value; }
public int compareTo( NumericValue that) { return this.value - that.value; }
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
//代码示例 3
class Collections {
public static <A extends Comparable<A>> A max(Collection <A> xs) {
Iterator<A> xi = xs.iterator();
A w = xi.next();
while(xi.hasNext()) {
A x = xi.next();
if(w.compareTo(x) < 0)
w = x;
}
return w;
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
//代码示例 4
final class Test {
public static void main (String[] args) {
LinkedList<NumericValue> numberList = new LinkedList<NumericValue> ();
numberList.add(new NumericValue((byte)0));
numberList.add(new NumericValue((byte)1));
NumericValue y = Collections.max( numberList );
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
类型擦除后:
//代码示例 1
interface Comparable {
public int compareTo( Object that);
}
- 1
- 2
- 3
- 4
//代码示例 2
final class NumericValue implements java.lang.Comparable{
//域
private byte value;
//构造器
public NumericValue(byte);
//方法
public int compareTo(NumericValue);
public volatile int compareTo(java.lang.Object); //桥方法
public byte getValue( );
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
//代码示例 3
class Collections {
public static Comparable max(Collection xs) {
Iterator xi = xs.iterator();
Comparable w = (Comparable) xi.next();
while (xi.hasNext()) {
Comparable x = (Comparable) xi.next();
if (w.compareTo(x) < 0) w = x;
}
return w;
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
//代码示例 4
final class Test {
public static void main (String[ ] args) {
LinkedList numberList = new LinkedList();
numberList.add(new NumericValue((byte)0)); ,
numberList.add(new NumericValue((byte)1));
NumericValue y = (NumericValue) Collections.max( numberList );
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
第一个泛型类被擦除后, A被替换为最左边界 Object。由于Comparable是一个泛型接口,所以Comparable<NumericValue>的类型参数NumericValue被擦除掉并将相关参数置换为Object,但是这直接导致NumericValue没有实现接口(重写)Comparable的compareTo(Object that)方法,于是编译器自动添加了一个桥方法(由编译器在编译时自动添加)。第二个示例中限定了类型参数的边界,A必须为Comparable的子类,按照类型擦除的过程,先将所有的类型参数替换为最左边界Comparable,得到最终的擦除后结果。
六. 泛型带来的问题及解决方法
1、类型检查所针对的对象
public class Test10 {
public static void main(String[] args) {
ArrayList<String> arrayList1=new ArrayList();
arrayList1.add("1"); //编译通过
arrayList1.add(1); //编译错误
String str1=arrayList1.get(0); //返回类型就是 String
ArrayList arrayList2=new ArrayList<String>();
arrayList2.add("1"); //编译通过
arrayList2.add(1); //编译通过
Object object=arrayList2.get(0); //返回类型就是 Object
new ArrayList<String>().add("11"); //编译通过
new ArrayList<String>().add(22); //编译错误
String string=new ArrayList<String>().get(0); //返回类型就是 String
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
因此我们可以得出结论:类型检查就是针对引用的,谁是一个引用,用这个引用调用泛型方法,就会对这个引用调用的方法进行类型检测,而无关它真正引用的对象。
2、所有动作都发生在边界处(对传递进来的值,编译器进行额外的检查;对真正传递出去的值,编译器自动插入的转型)
因为类型擦除的问题,所以所有的泛型类型最后都会被替换为原始类型。这样就引起了一个问题,既然都被替换为原始类型,那么为什么我们在获取的时候,不需要进行强制类型转换呢?先看下面非泛型示例:
// 代码片段1
public class SimpleHolder {
private Object obj;
public void setObj(Object obj) {
this.obj = obj;
}
public Object getObj() {
return obj;
}
public static void main(String[] args) {
SimpleHolder holder = new SimpleHolder();
holder.setObj("Item");
String s = (String)holder.getObj();
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
反编译这个类,得到下面代码片段:
public void setObj(java.lang.Object);
Code:
0: aload_0
1: aload_1
2: putfield #2; //Field obj:Ljava/lang/Object;
5: return
public java.lang.Object getObj();
Code:
0: aload_0
1: getfield #2; //Field obj:Ljava/lang/Object;
4: areturn
public static void main(java.lang.String[]);
Code:
0: new #3; //class SimpleHolder
3: dup
4: invokespecial #4; //Method "<init>":()V
7: astore_1
8: aload_1
9: ldc #5; //String Item
11: invokevirtual #6; //Method setObj:(Ljava/lang/Object;)V
14: aload_1
15: invokevirtual #7; //Method getObj:()Ljava/lang/Object;
18: checkcast #8; //class java/lang/String
21: astore_2
22: return
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
现将泛型应用到上述代码,如下:
// 代码片段 2
public class GenericHolder<T> {
private T obj;
public void setObj(T obj) {
this.obj = obj;
}
public T getObj() {
return obj;
}
public static void main(String[] args) {
GenericHolder<String> holder = new GenericHolder<String>();
holder.setObj("Item");
String s = holder.getObj();
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
反编译这个类,得到下面代码片段:
public void setObj(java.lang.Object);
Code:
0: aload_0
1: aload_1
2: putfield #2; //Field obj:Ljava/lang/Object;
5: return
public java.lang.Object getObj();
Code:
0: aload_0
1: getfield #2; //Field obj:Ljava/lang/Object;
4: areturn
public static void main(java.lang.String[]);
Code:
0: new #3; //class GenericHolder
3: dup
4: invokespecial #4; //Method "<init>":()V
7: astore_1
8: aload_1
9: ldc #5; //String Item
11: invokevirtual #6; //Method setObj:(Ljava/lang/Object;)V
14: aload_1
15: invokevirtual #7; //Method getObj:()Ljava/lang/Object;
18: checkcast #8; //class java/lang/String
21: astore_2
22: return
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
在上述应用泛型的代码中,将
String s = holder.getObj();
- 1
替换为
holder.getObj();
- 1
反编译后,有代码片段:
public void setObj(java.lang.Object);
Code:
0: aload_0
1: aload_1
2: putfield #2; //Field obj:Ljava/lang/Object;
5: return
public java.lang.Object getObj();
Code:
0: aload_0
1: getfield #2; //Field obj:Ljava/lang/Object;
4: areturn
public static void main(java.lang.String[]);
Code:
0: new #3; //class GenericHolder
3: dup
4: invokespecial #4; //Method "<init>":()V
7: astore_1
8: aload_1
9: ldc #5; //String Item
11: invokevirtual #6; //Method setObj:(Ljava/lang/Object;)V
14: aload_1
15: invokevirtual #7; //Method getObj:()Ljava/lang/Object;
18: pop
19: return
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
首先,代码片段 1 和代码片段 2 二者所产生的字节码是相同的。看第15,它调用的是getObj()方法,返回值是Object,说明类型擦除了。然后第18,它做了一个checkcast操作,即检查类型#8, 在上面找#8引用的类型,它是一个String类型,即作String类型的强转。所以不是在get方法里强转的,是在你调用的地方强转的。对进入setObj()的类型进行检查是不需要的,因为这将由编译器执行。而对从getObj()返回的值进行转型仍旧是需要的,但这与你自己必须执行的操作是一样的–此处它将由编译器自动插入。也就是说,在泛型中,所有动作都发生在边界处,对传递进来的值进行额外的编译器检查,并由编译器自动插入对传递出去的值的转型。
其次,在未将 getObj() 的值赋给String时,由代码片段可知,编译器并未自动插入转型代码,可见所谓编译器自动插入对传递出去的值的转型的前提条件是:其必须是真正传递出去,即必须赋值给引用。(当然,虽然 getObj() 的返回值的类型是 Object, 但是其实质上是一个 String, 因此直接进行操作 “ getObj() instanceof String ”时,返回值也是 true。)再看一段代码:
public class GenericArray<T> {
private T[] array;
public GenericArray(int sz) {
array = (T[]) new Object[sz];
}
public void put(int index, T item) {
array[index] = item;
}
public T get(int index) {
return array[index];
}
public T[] rep() { return array; }
public static void main(String[] args) {
GenericArray<Integer> gai = new GenericArray<Integer>(10);
gai.put(0, new Integer(4));
gai.get(0);
Integer i = gai.get(0);
// This causes a ClassCastException:
Integer[] ia = gai.rep();
// This is OK:
Object[] oa = (Object[])gai.rep();
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
反编译得代码段:
public class GenericArray extends java.lang.Object{
public GenericArray(int);
Code:
0: aload_0
1: invokespecial #1; //Method java/lang/Object."<init>":()V
4: aload_0
5: iload_1
6: anewarray #2; //class java/lang/Object
9: checkcast #3; //class "[Ljava/lang/Object;"
12: putfield #4; //Field array:[Ljava/lang/Object;
15: return
public void put(int, java.lang.Object);
Code:
0: aload_0
1: getfield #4; //Field array:[Ljava/lang/Object;
4: iload_1
5: aload_2
6: aastore
7: return
public java.lang.Object get(int);
Code:
0: aload_0
1: getfield #4; //Field array:[Ljava/lang/Object;
4: iload_1
5: aaload
6: areturn
public java.lang.Object[] rep();
Code:
0: aload_0
1: getfield #4; //Field array:[Ljava/lang/Object;
4: areturn
public static void main(java.lang.String[]);
Code:
0: new #5; //class GenericArray
3: dup
4: bipush 10
6: invokespecial #6; //Method "<init>":(I)V
9: astore_1
10: aload_1
11: iconst_0
12: new #7; //class java/lang/Integer
15: dup
16: iconst_4
17: invokespecial #8; //Method java/lang/Integer."<init>":(I)V
20: invokevirtual #9; //Method put:(ILjava/lang/Object;)V
23: aload_1
24: iconst_0
25: invokevirtual #10; //Method get:(I)Ljava/lang/Object;
28: pop
29: aload_1
30: iconst_0
31: invokevirtual #10; //Method get:(I)Ljava/lang/Object;
34: checkcast #7; //class java/lang/Integer
37: astore_2
38: aload_1
39: invokevirtual #11; //Method rep:()[Ljava/lang/Object;
42: checkcast #12; //class "[Ljava/lang/Integer;"
45: astore_3
46: aload_1
47: invokevirtual #11; //Method rep:()[Ljava/lang/Object;
50: checkcast #3; //class "[Ljava/lang/Object;"
53: astore 4
55: return
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
- 39
- 40
- 41
- 42
- 43
- 44
- 45
- 46
- 47
- 48
- 49
- 50
- 51
- 52
- 53
- 54
- 55
- 56
- 57
- 58
- 59
- 60
- 61
- 62
- 63
- 64
- 65
- 66
- 67
- 68
结合上面的结论,仔细观察反编译后代码中checkcast都用在什么地方,加深对边界就是发生动作的地方和自动转型发生在调用处(需要检验两种类型时)的理解。
25显式调用后,直接pop,而31显示在调用处,还要进行 checkcast 操作;
由于类型擦除,操作39之后,进行 checkcast 操作,强转为 Ljava.lang.Integer ,但是由代码【 array = (T[]) new Object[sz]; 】可知,其 new 的是 Object 数组,是不可能成功强转到 Integer 数组的,就像 Object 对象不能成功强转到 Integer 对象一样,会在运行时抛出 ClassCastException 异常;
由于类型擦除,操作47之后,进行 checkcast 操作,由于 rep() 返回的即为 Object 数组,而其要赋给的引用也是 Object[] ,因此不会抛出任何异常。
3、类型擦除与多态的冲突及其解决办法
先看两段代码:
// 第一段代码
public class Pair<T> {
private T first;
private T second;
public Pair(T first, T second){
this.first = first;
this.second = second;
}
public void setFirst(T first){
this.first = first;
}
public T getFirst(){
return first;
}
public void setSecond(T second){
this.second = second;
}
public T getSecond(){
return second;
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
// 第二段代码
public class DateInterval extends Pair<Date> { // 时间间隔类
public DateInterval(Date first, Date second){
super(first, second);
}
@Override
public void setSecond(Date second) {
super.setSecond(second);
}
@Override
public Date getSecond(){
return super.getSecond();
}
public static void main(String[] args) {
DateInterval interval = new DateInterval(new Date(), new Date());
Pair<Date> pair = interval; //超类,多态
Date date = new Date(2000, 1, 1);
System.out.println("原来的日期:"+pair.getSecond());
System.out.println("set进新日期:"+date);
pair.setSecond(date);
System.out.println("执行pair.setSecond(date)后的日期:"+pair.getSecond());
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
原本子类重写父类的方法,无可非议。但是泛型类的类型擦除造成了一个问题,Pair的原始类型中存在方法:
public void setSecond(Object second);
- 1
DateInterval中的方法:
public void setSecond(Date second);
- 1
我们的本意是想重写父类Pair中的setSecond方法,但是从方法签名上看,这完全是两个不同的方法,类型擦除与多态产生了冲突。而实际情况呢?运行DateInterval的main方法,我们看到public void setSecond(Date second)的确重写了public void setSecond(Object second)方法。这是如何做到的呢?
使用Java类分析器对其进行分析,结果:
public class DateInterval extends Pair{
//构造器
public DateInterval(java.util.Date, java.util.Date);
//方法
public void setSecond(java.util.Date);
public volatile void setSecond(java.lang.Object); //方法 1
public java.util.Date getSecond( ); //方法 2
public volatile java.lang.Object getSecond( ); //方法 3,它难道不会和方法 2 冲突?
public static void main(java.lang.String[]);
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
方法1和方法3是我们在源码中不曾定义的,它肯定是由编译器生成的。这个方法称为 桥方法(bridge method),真正覆写超类方法的是它。语句pair.setSecond(date)实际上调用的是方法1[public volatile void setSecond(Object)],通过这个方法再去调用public void setSecond(Date)。这个桥方法的实际内容是:
public void setSecond(Object second){
this.setSecond((java.util.Date) second);
}
- 1
- 2
- 3
这样的结果就符合面向对象中多态的特性了,实现了方法的动态绑定。但是,这样的做法给我们带来了一种错觉,就认为public void setSecond(Date)覆写了泛型类的public void setSecond(Object)【其实也不是重写,二者方法参数都不同】,如果我们在DateInterval中增加一个方法:
public void setSecond(Object obj){
System.out.println("覆写超类方法!");
}
- 1
- 2
- 3
编译器会报如下错误:Name clash: The method setSecond(Object) of type DateInter has the same erasure as setSecond(T) of type Pair but doesn’t override it.即,同一个方法不能被重写两次。
为了实现多态,我们知道方法3也是由编译器生成的桥方法。方法擦除带来的第二个问题就是:由编译器生成的桥方法 public volatile java.lang.Object getSecond() 方法和 public java.util.Date getSecond() 方法,从方法签名的角度看是两个完全相同的方法,它们怎么可以共存呢? 如果是我们自己编写Java代码,这样的代码是无法通过编译器的检查的,但是虚拟机却是允许这样做的,因为虚拟机通过参数类型和返回类型来确定一个方法,所以编译器为了实现泛型的多态允许自己做这个看起来“不合法”的事情。
4、泛型类型变量不能是基本数据类型
类型参数不能是基本类型。也就是说,没有ArrayList<double>,只有ArrayList<Double>。因为当类型擦除后,ArrayList的原始类型变为Object,但是Object类型不能存储double值,只能引用Double的值。
5、转型和警告
使用带有泛型类型参数的转型或 instanceof 不会有任何效果,例如:
class FixedSizeStack<T> {
private int index = 0;
private Object[] storage;
public FixedSizeStack(int size) {
storage = new Object[size];
}
public void push(T item) {
storage[index++] = item;
}
public T pop() {
//Warnning: Unchecked cast from Object to T
return (T) storage[--index];
}
}
public class GenericCast {
public static final int SIZE = 10;
public static void main(String[] args) {
FixedSizeStack<String> strings = new FixedSizeStack<String>(SIZE);
for (String s : "A B C D E F G H I J".split(" "))
strings.push(s);
for (int i = 0; i < SIZE; i++) {
String s = strings.pop();
System.out.print(s + " ");
}
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
由于擦除的原因,T 被擦除到它的第一个边界 Object,因此pop()实际上只是将Object转型为Object。换句话说,pop()方法实际上并没有执行任何转型。
6、任何在运行时需要知道确切类型信息的操作都将无法工作
instanceof操作的右操作数不能带有泛型类型参数;
new 操作 : 可以 new 泛型类型(eg: ArrayList,…),但不能 new 泛型参数(T,…);
泛型数组 : 除非使用通配符,不可以创建带有泛型类型参数的数组(若需要收集参数化类型对象,可以直接使用 ArrayList:ArrayList<Pair<String>>最安全且有效。);
转型 : 带有泛型类型参数的转型不会有任何效果;
例如:
关于由类型擦除引起的 instance of T,new T 和创建数组T 等问题,可以引入类型标签Class<T>来解决,例如:
class Building {}
class House extends Building {}
public class ClassTypeCapture<T> {
Class<T> kind;
public ClassTypeCapture(Class<T> kind) {
this.kind = kind;
}
public boolean f(Object arg) {
return kind.isInstance(arg);
}
public static void main(String[] args) {
ClassTypeCapture<Building> ctt1 = new ClassTypeCapture<Building>(Building.class);
System.out.println(ctt1.f(new Building())); // true
System.out.println(ctt1.f(new House())); // true
ClassTypeCapture<House> ctt2 = new ClassTypeCapture<House>(House.class);
System.out.println(ctt2.f(new Building())); // true
System.out.println(ctt2.f(new House())); // true
}
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10