关于Java泛型的新解

////////////////////////////////////////////////////////////////////////////////为了方便您的观看,请在web版式视图在观看本文章。//////////////////////////////////////////////////////////////////////////////////////////////

《关于泛型》

-----------------------------------à入门泛型的基本应用

$1.体验泛型

泛型是JDK1.5的所有新特性中最难深入透彻掌握的部分。不过,我们在实际应用中不能掌握得那么深入,掌握泛型中一些最基本的内容就差不多了。没有使用泛型时,只要是对象,不管是什么类型的对象,都可以存储进同一个集合中。使用泛型集合,可以将一个集合的元素限定为一个特定类型,集合中只能存储同一个类型的对象。这样就更加安全,并且在从集合中获取一个对象的时候,编译器也可以知道这个对象的类型,不需要对对象进行强制转换。这样使得程序员更加方便。

  

  JDK1.5以前的集合类中存在什么问题?

JDK1.5的集合类型希望在定义集合的时候,明确表示要向集合中装哪种类型的数据,无法加入指定类型以外的数据。

 泛型是提供给javac编辑器使用的,可以限定集合中的输入类型,让编译器挡住源程序的非法输入,编译器编辑带类型说明的集合时,会去除掉‘类型’信息。使程序运行的效果不受到影响,对于参数化的泛型类型,getClass()方法返回值和原始类型是完全一样的。由于编译生成的字节码会去除掉泛型的类型信息,只要能跳过编译器,就可以往某个泛型集合中加入其他类型的数据。例如:用反射得到集合,再调用其他add()方法即可。

 

$2.泛型的内部原理及应用(更深层级理解)

 了解泛型

      ArrayList<E>类定义和ArrayList<Integer>类引用中涉及到的术语有如下:

整个称ArrayList<E>为 泛型类型。

ArrayList<E>中的E称为 类型变量或者类型参数
整个ArryList<Integer>称为 参数化的类型。

ArrayList<Integer>中的Integer称为 类型参数的实例或者实例参数。

ArratList<Integer>中的 <> 读作 typeof。

ArrayList成为原始类型。

参数化类型与原始类型的兼容性

 

     参数化的类型可以引用一个原始类型的对象,编译会报告警告,例如:

 原始类型可以引用一个参数化的类型,编译会报告错误,例如:

 参数化类型不考虑类型参数的继承关系。

在创建数组实例时,数组元素是不能使用参数化的类型的,例如:

思考下列的代码是否会报错?

$2.泛型的通配符扩展应用

 

泛型中的  ? 通配符

 

问题:          定义一个方法:该方法用于打印任意参数类型的集合中的所有资源,该方法该如何去定义呢?

   

 ▼错误方式:

▼正确方式:

总结:

    

       使用 ? 通配符可以引用其他各种参数化的类型,?通配符定义的变量主要用作引用,可以调用与参数化无关的方法,不能调用与参数化有关的方法。

泛型中的  ? 通配符 的扩展

   

限定通配符的上边界。

  

▼正确方式:

▼错误方式:

限定通配符的下边界。

   

▼正确方式:

▼错误方式:

提示:

   ◆限定通配符总是包括自己的。

----------------------------------------------------------------------------

 

$3.泛型集合的综合案例。

 

能写出下面的代码即 代表 已经掌握了java的泛型基本类:

对在jsp页面中也经常要对Set或者Map集合进行迭代:

$4.自定义泛型方法及其应用

 

由C++的模板函数引入自定义泛型

  如下函数的结构很相似,仅类型不同

  C++模板函数解决,只写一个通用的方法,它可以适应各种类型,示意代码如下:

java中的泛型类型(或者泛型)类似于C++中的模板。但是这种相似性仅限于表面。Java语言中的泛型基本上是完全在编译器中实现, 用于编译器执行类型检查和类型判断,然后生成普通的非泛型的字节码。这种实现技术被称为擦除(erasure)(编译器使用泛型信息保证类型安全,然后再生成字节码之前将其清除)。 这是因为扩展虚拟机指令集来支持泛型被认为是无法接受的,这会为java厂商升级其JVM造成难以逾越的障碍。所以,java的泛型采用了可以完全在编译器中实现的擦除方法。

例如:下面的这两种方法,编译器会报告错误,它不认为是两个不同的参数类型,而认为是同一种参数类型,所以不能做到 方法的重载。

$5.定义泛型方法

 java的泛型方法没有C++模板函数功能强大,java的如下代码是无法通过编译的:

时间: 2024-08-08 01:28:46

关于Java泛型的新解的相关文章

Java泛型中的PECS原则

今天在写代码的时候使用到了这样一个方法签名: public void foo(Map<String, String> map); 在写这个参数的时候正好在想一些关于泛型的东西,于是: public void foo(Map<? extends String, ? extends String> map); 这两种写法有什么区别呢?记得以前和同学讨论过这个问题,但后来没有记下来,渐渐又淡忘了.今天又去翻了好多资料,总算找到一些可以参考的,赶紧记在这里方便以后温故知新啦.好了,言归正传

Java泛型的协变

在上篇<Java泛型的基本使用>这篇文章中遗留下面问题,即将子类型也能加入到父类型的泛型中.要实现这样的功能必须借助于协变. 实验准备 如今在上篇文章展示的Decorator类型的基础上,添加一些代码,如代码清单1所看到的. 代码清单1 /** * * 描 述:Exp2使用br/> * 作 者:jiaan.gja<br/> * 历 史: (版本号) 作者 时间 凝视 <br/> * @param itemList */ public void doDecorate

2017.4.5 Java 泛型

Java 泛型(generics)是 JDK 5 中引入的一个新特性, 泛型提供了编译时类型安全检测机制,该机制允许程序员在编译时检测到非法的类型. 泛型的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数. 假定我们有这样一个需求:写一个排序方法,能够对整形数组.字符串数组甚至其他任何类型的数组进行排序,该如何实现? 答案是可以使用 Java 泛型. 使用 Java 泛型的概念,我们可以写一个泛型方法来对一个对象数组排序.然后,调用该泛型方法来对整型数组.浮点数数组.字符串数组等进行排

关于Java泛型的使用

在目前我遇到的java项目中,泛型应用的最多的就属集合了.当要从数据库取出多个对象或者说是多条记录时,往往都要使用集合,那么为什么这么使用,或者使用时有什么要注意的地方,请关注以下内容. 感谢Windstep. 原文链接:http://www.cnblogs.com/lwbqqyumidi/p/3837629.html 原文标题:Java总结篇系列:Java泛型 (我的第一篇水文,233)

java 泛型 窜讲

一.为什么使用泛型      复用性:泛型的本质就是参数化类型,因而使用编写的泛型代码可以被许多不同类型的对象所复用.      安全性:在对类型Object引用的参数操作时,往往需要进行显式的强制类型转换.这种强制类型转换需要在运行时才能被发现是否转换异常,通过引入泛型能将在运行时才能检查类型转换,提前到编译时期就能检查. 二.自定义泛型 java中自定义泛型分为三种:泛型类.泛型接口.泛型方法. 下面使用一个案例演示泛型类.泛型方法,泛型接口类似,所以不再演示. // 自定义泛型类publi

1月21日 - (转)Java 泛型

java泛型 什么是泛型? 泛型(Generic type 或者 generics)是对 Java 语言的类型系统的一种扩展,以支持创建可以按类型进行参数化的类.可以把类型参数看作是使用参数化类型时指定的类型的一个占位符,就像方法的形式参数是运行时传递的值的占位符一样. 可以在集合框架(Collection framework)中看到泛型的动机.例如,Map 类允许您向一个 Map 添加任意类的对象,即使最常见的情况是在给定映射(map)中保存某个特定类型(比如 String)的对象. 因为 M

Java泛型_上界extends_下界super

?Java泛型_上界extends_下界super ? 通配符类型 <? extends T> 表示类型的上界,表示参数化类型的可能是T或是T的子类 <? super T> 表示类型下界(Java Core中叫超类型限定),表示参数化类型是此类型(T)的超类型(父类型),直至Object 当使用 Upper Bound 通配符时 如下代码, /**  * 代码中通配符<?> 是 <? extends Object> 的简写  *  * @param list

C++泛型 &amp;&amp; Java泛型实现机制

C++泛型 C++泛型跟虚函数的运行时多态机制不同,泛型支持的静态多态,当类型信息可得的时候,利用编译期多态能够获得最大的效率和灵活性.当具体的类型信息不可得,就必须诉诸运行期多态了,即虚函数支持的动态多态. 对于C++泛型,每个实际类型都已被指明的泛型都会有独立的编码产生,也就是说list<int>和list<string>生成的是不同的代码,编译程序会在此时确保类型安全性.由于知道对象确切的类型,所以编译器进行代码生成的时候就不用运用RTTI,这使得泛型效率跟手动编码一样高.

java 泛型详解(普通泛型、 通配符、 泛型接口,泛型数组,泛型方法,泛型嵌套)

JDK1.5 令我们期待很久,可是当他发布的时候却更换版本号为5.0.这说明Java已经有大幅度的变化.本文将讲解JDK5.0支持的新功能-----Java的泛型. 1.Java泛型  其实Java的泛型就是创建一个用类型作为参数的类.就象我们写类的方法一样,方法是这样的method(String str1,String str2 ),方法中参数str1.str2的值是可变的.而泛型也是一样的,这样写class Java_Generics<K,V>,这里边的K和V就象方法中的参数str1和st