- 浏览: 596026 次
- 性别:
- 来自: 上海
文章分类
最新评论
-
月光杯:
问题解决了吗?
Exceptions in HDFS -
iostreamin:
神,好厉害,这是我找到的唯一可以ac的Java代码,厉害。
[leetcode] word ladder II -
standalone:
One answer I agree with:引用Whene ...
How many string objects are created? -
DiaoCow:
不错!,一开始对这些确实容易犯迷糊
erlang中的冒号 分号 和 句号 -
standalone:
Exception in thread "main& ...
one java interview question
先了解Java的Generics:
根据Java的文档,Java引入Generics一是为了在编译时提供更强的类型检查,二是为了泛型编程。
编译时,Java靠type erasure来实现Generics:
1. 将所有的泛型参数替换为限定(bound这里如何翻译?)的类型,如果没有限定,就替换为Object类。因此然生的字节码和普通的类文件一样;
2. 为了保证类型安全,必要的时候会是使用cast;
3. 为了维护继承的泛型类型之间的多态的正确性,必要的时候会生成bridge methods。
考虑下面的泛型类,这个类代表单链表的节点。(一下例子均出自java doc)
因为T没有被限定,所以Java编译器将其替换为Object:
而下面这个例子,因为Node使用了一个父类型被限定的类型参数,所以T被替换为该父类型。
替换为:
这样貌似很不错,但有时候有问题,看这个例子:
对于下面这段code,
经过type erasure之后,code变成了下图中的样子(用Jad反编译的结果)
可以看到,多了一个方法,
这个方法会将Object类型cast成Integer类型调用MyNode.setObject(Integer),被称为bridge method,因为父类Node有setData(Object)这个方法,如果子类没有,根本就无法编译通过。因为实际参数是个String对象,所以在做setData((Integer)obj)的时候会报
Exception in thread "main" java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Integer
at MyNode.setData(MyNode.java:1)
at MyNode.main(MyNode.java:11)
更多的关于Java Generics的文章可以参考附录【2】-【4】。
从type erasure的角度来看,Java的Generics真的只是Wrapper。
那么c++的模版呢?
摘自【2】里面的的说法:
Java 中的泛型与 C++ 模板的比较
Java Generics 程序的语法在表面上与 C++ 中的模板非常类似,但是二者之间有着本质的区别。
首先,Java 语言中的泛型不能接受基本类型作为类型参数――它只能接受引用类型。这意味着可以定义 List<Integer>,但是不可以定义 List<int>。
其次,在 C++ 模板中,编译器使用提供的类型参数来扩充模板,因此,为 List<A> 生成的 C++ 代码不同于为 List<B> 生成的代码,List<A> 和 List<B> 实际上是两个不同的类。而 Java 中的泛型则以不同的方式实现,编译器仅仅对这些类型参数进行擦除和替换。类型 ArrayList<Integer> 和 ArrayList<String> 的对象共享相同的类,并且只存在一个 ArrayList 类。
参考:
1. http://docs.oracle.com/javase/tutorial/java/generics/index.html
2. http://www.ibm.com/developerworks/cn/java/j-lo-gj/index.html
3. http://www.blogjava.net/DLevin/archive/2011/06/23/352917.html
4. http://freish.iteye.com/blog/1158008
根据Java的文档,Java引入Generics一是为了在编译时提供更强的类型检查,二是为了泛型编程。
编译时,Java靠type erasure来实现Generics:
1. 将所有的泛型参数替换为限定(bound这里如何翻译?)的类型,如果没有限定,就替换为Object类。因此然生的字节码和普通的类文件一样;
2. 为了保证类型安全,必要的时候会是使用cast;
3. 为了维护继承的泛型类型之间的多态的正确性,必要的时候会生成bridge methods。
考虑下面的泛型类,这个类代表单链表的节点。(一下例子均出自java doc)
public class Node<T> { private T data; private Node<T> next; public Node(T data, Node<T> next) } this.data = data; this.next = next; } public T getData() { return data; } // ... }
因为T没有被限定,所以Java编译器将其替换为Object:
public class Node { private Object data; private Node next; public Node(Object data, Node next) { this.data = data; this.next = next; } public Object getData() { return data; } // ... }
而下面这个例子,因为Node使用了一个父类型被限定的类型参数,所以T被替换为该父类型。
public class Node<T extends Comparable<T>> { private T data; private Node<T> next; public Node(T data, Node<T> next) { this.data = data; this.next = next; } public T getData() { return data; } // ... }
替换为:
public class Node { private Comparable data; private Node next; public Node(Comparable data, Node next) { this.data = data; this.next = next; } public Comparable getData() { return data; } // ... }
这样貌似很不错,但有时候有问题,看这个例子:
public class Node<T> { public T data; public Node(T data) { this.data = data; } public void setData(T data) { System.out.println("Node.setData"); this.data = data; } } public class MyNode extends Node<Integer> { public MyNode(Integer data) { super(data); } public void setData(Integer data) { System.out.println("MyNode.setData"); super.setData(data); } }
对于下面这段code,
MyNode mn = new MyNode(5); Node n = mn; n.setData("Hello"); Integer x = mn.data;
经过type erasure之后,code变成了下图中的样子(用Jad反编译的结果)
可以看到,多了一个方法,
public volatile void setData(Object obj) { setData((Integer)obj); }
这个方法会将Object类型cast成Integer类型调用MyNode.setObject(Integer),被称为bridge method,因为父类Node有setData(Object)这个方法,如果子类没有,根本就无法编译通过。因为实际参数是个String对象,所以在做setData((Integer)obj)的时候会报
Exception in thread "main" java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Integer
at MyNode.setData(MyNode.java:1)
at MyNode.main(MyNode.java:11)
更多的关于Java Generics的文章可以参考附录【2】-【4】。
从type erasure的角度来看,Java的Generics真的只是Wrapper。
那么c++的模版呢?
摘自【2】里面的的说法:
Java 中的泛型与 C++ 模板的比较
Java Generics 程序的语法在表面上与 C++ 中的模板非常类似,但是二者之间有着本质的区别。
首先,Java 语言中的泛型不能接受基本类型作为类型参数――它只能接受引用类型。这意味着可以定义 List<Integer>,但是不可以定义 List<int>。
其次,在 C++ 模板中,编译器使用提供的类型参数来扩充模板,因此,为 List<A> 生成的 C++ 代码不同于为 List<B> 生成的代码,List<A> 和 List<B> 实际上是两个不同的类。而 Java 中的泛型则以不同的方式实现,编译器仅仅对这些类型参数进行擦除和替换。类型 ArrayList<Integer> 和 ArrayList<String> 的对象共享相同的类,并且只存在一个 ArrayList 类。
参考:
1. http://docs.oracle.com/javase/tutorial/java/generics/index.html
2. http://www.ibm.com/developerworks/cn/java/j-lo-gj/index.html
3. http://www.blogjava.net/DLevin/archive/2011/06/23/352917.html
4. http://freish.iteye.com/blog/1158008
发表评论
文章已被作者锁定,不允许评论。
-
std::map
2017-08-06 22:41 577std::map<char,int> my ... -
lost on Py_DECREF/INCREF when handling PyList_Append in Python C extension
2015-11-03 21:41 1011The main hint is in the docs, i ... -
An Example of Using std::tr1::bind
2014-03-10 16:49 1480#include <iostream> #i ... -
c++中的virtual inheritance
2014-01-27 10:20 759http://stackoverflow.com/questi ... -
ssl 与 java 实例
2014-01-27 10:10 752http://www.iteye.com/topic/1125 ... -
Java NIO
2014-01-10 21:28 703看了这个java nio的教程,明白了什么是Selector. ... -
再谈Java的wait(), sleep(), notify()和notifyAll()
2013-07-25 10:59 1873一段时间不用java,这些概念就全混淆了,有必要彻底澄清一下, ... -
Why singleton is anti-pattern?
2013-07-03 10:12 873OO Test Other reasons? -
How to generate the serialVersionUID when you implement Serializable interface,j
2013-07-01 10:52 920http://docs.oracle.com/javase/6 ... -
Java Override的两个问题
2013-06-01 11:40 9261: 如果子类中的方法的参数是父类的方法的子类型,那么算不算o ... -
Java常用类API统计
2013-06-01 11:35 0String charAt(int) compareTo( ... -
How many string objects are created?
2013-06-01 10:18 1316This is a very common java inte ... -
使用Java的DelayQueue容易碰到的一个坑
2013-05-27 17:32 6672今天不忙,学习一下java.util.concurrent.D ... -
[leetcode] Balanced Binary Tree
2013-04-28 14:08 1564Check if a binary tree is balan ... -
[leetcode] find median of two sorted arrays
2013-04-26 10:55 1439http://leetcode.com/onlinejudge ... -
[leetcode] word ladder
2013-04-25 15:05 2258Q: Given two words (start and ... -
[leetcode] word ladder II
2013-04-15 07:35 11647http://leetcode.com/onlinejudge ... -
[leetcode] Count and Say
2013-04-12 14:05 2242http://leetcode.com/onlinejudge ... -
Date/Time处理函数总结 [To Do]
2013-04-12 10:46 644几种我所用到的用来处理日期,时间的函数总结。 Perl 1 ... -
[leetcode] Palindrome Partition
2013-04-12 10:25 1309http://leetcode.com/onlinejudge ...
相关推荐
Java Generics and Collections
Java Generics and Collections
[Java泛型和集合].(Java.Generics.and.Collections).Maurice.Naftalin&Philip.Wadler.文字版.
NULL 博文链接:https://wuaner.iteye.com/blog/907980
找了好久都只有Java泛型与集合这本书的chm版本,现在终于找到了pdf版本,分享一下
Java Generics Cheatsheet, your convenient way to check and learn!
英文资源,_Java_Generics_and_Collections
Java Generics and Collections.chm Java语言基础部分 必学知识。
Java Generics and Collections.2006.pdf
Java Generics FAQ
Generics_in_the_Java_Programming_Language的中文译文
Chapter 13 - Generics and Templates Chapter 14 - Modeling Diagrams for OO Programs Chapter 15 - Extending Classes Chapter 16 - Multiple Inheritance in C++ Chapter 17 - OO for Graphical User Interfaces...
Java.Generics.and.Collections.Oct.2006.pdf 完美清晰正版
Java generics and collections
Java 的 Generics 简介。入门资料!
将利用碎片时间进行整理和校对,完整的时间段适合做其他需要大量思考的事,如果你有兴趣欢迎提交PR。 TODO 数据校对 目录 2.4 获取和放置原则 2.5 数组 2.6 通配符与类型参数 2.7 通配符捕获 2.8 对通配符的限制 第...
在有关Java核心的系列文章中,我们将继续学习2个新内容,即Generics和Collection,它们是Java中非常流行的对象。 泛型格式化参数化数据类型,以便我们可以将类,接口或方法用于许多不同的数据类型。 集合只是具有...