概念:
泛型是Java SE 1.5的新特性,泛型的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中,分别称为泛型类、泛型接口、泛型方法。 Java语言引入泛型的好处是安全简单。
泛型的常用字符代表意思:
? 表示不确定的java类型。
T 表示java类型。
K V 分别代表java键值中的Key Value。
E 代表Element。
下面转载于cnblog上一个写的很好的例子
真的很好,我写了半天,当看到他这个后,立即删除~
普通泛型
- class Point<T>{ // 此处可以随便写标识符号,T是type的简称
- private T var ; // var的类型由T指定,即:由外部指定
- public T getVar(){ // 返回值的类型由外部决定
- return var ;
- }
- public void setVar(T var){ // 设置的类型也由外部决定
- this.var = var ;
- }
- };
- public class GenericsDemo06{
- public static void main(String args[]){
- Point<String> p = new Point<String>() ; // 里面的var类型为String类型
- p.setVar("it") ; // 设置字符串
- System.out.println(p.getVar().length()) ; // 取得字符串的长度
- }
- };
- ----------------------------------------------------------
- class Notepad<K,V>{ // 此处指定了两个泛型类型
- private K key ; // 此变量的类型由外部决定
- private V value ; // 此变量的类型由外部决定
- public K getKey(){
- return this.key ;
- }
- public V getValue(){
- return this.value ;
- }
- public void setKey(K key){
- this.key = key ;
- }
- public void setValue(V value){
- this.value = value ;
- }
- };
- public class GenericsDemo09{
- public static void main(String args[]){
- Notepad<String,Integer> t = null ; // 定义两个泛型类型的对象
- t = new Notepad<String,Integer>() ; // 里面的key为String,value为Integer
- t.setKey("汤姆") ; // 设置第一个内容
- t.setValue(20) ; // 设置第二个内容
- System.out.print("姓名;" + t.getKey()) ; // 取得信息
- System.out.print(",年龄;" + t.getValue()) ; // 取得信息
- }
- };
通配符
- class Info<T>{
- private T var ; // 定义泛型变量
- public void setVar(T var){
- this.var = var ;
- }
- public T getVar(){
- return this.var ;
- }
- public String toString(){ // 直接打印
- return this.var.toString() ;
- }
- };
- public class GenericsDemo14{
- public static void main(String args[]){
- Info<String> i = new Info<String>() ; // 使用String为泛型类型
- i.setVar("it") ; // 设置内容
- fun(i) ;
- }
- public static void fun(Info<?> temp){ // 可以接收任意的泛型对象
- System.out.println("内容:" + temp) ;
- }
- };
受限泛型
- class Info<T>{
- private T var ; // 定义泛型变量
- public void setVar(T var){
- this.var = var ;
- }
- public T getVar(){
- return this.var ;
- }
- public String toString(){ // 直接打印
- return this.var.toString() ;
- }
- };
- public class GenericsDemo17{
- public static void main(String args[]){
- Info<Integer> i1 = new Info<Integer>() ; // 声明Integer的泛型对象
- Info<Float> i2 = new Info<Float>() ; // 声明Float的泛型对象
- i1.setVar(30) ; // 设置整数,自动装箱
- i2.setVar(30.1f) ; // 设置小数,自动装箱
- fun(i1) ;
- fun(i2) ;
- }
- public static void fun(Info<? extends Number> temp){ // 只能接收Number及其Number的子类
- System.out.print(temp + "、") ;
- }
- };
- ----------------------------------------------------------
- class Info<T>{
- private T var ; // 定义泛型变量
- public void setVar(T var){
- this.var = var ;
- }
- public T getVar(){
- return this.var ;
- }
- public String toString(){ // 直接打印
- return this.var.toString() ;
- }
- };
- public class GenericsDemo21{
- public static void main(String args[]){
- Info<String> i1 = new Info<String>() ; // 声明String的泛型对象
- Info<Object> i2 = new Info<Object>() ; // 声明Object的泛型对象
- i1.setVar("hello") ;
- i2.setVar(new Object()) ;
- fun(i1) ;
- fun(i2) ;
- }
- public static void fun(Info<? super String> temp){ // 只能接收String或Object类型的泛型
- System.out.print(temp + "、") ;
- }
- };
泛型无法向上转型
- class Info<T>{
- private T var ; // 定义泛型变量
- public void setVar(T var){
- this.var = var ;
- }
- public T getVar(){
- return this.var ;
- }
- public String toString(){ // 直接打印
- return this.var.toString() ;
- }
- };
- public class GenericsDemo23{
- public static void main(String args[]){
- Info<String> i1 = new Info<String>() ; // 泛型类型为String
- Info<Object> i2 = null ;
- i2 = i1 ; //这句会出错 incompatible types
- }
- };
泛型接口
- interface Info<T>{ // 在接口上定义泛型
- public T getVar() ; // 定义抽象方法,抽象方法的返回值就是泛型类型
- }
- class InfoImpl<T> implements Info<T>{ // 定义泛型接口的子类
- private T var ; // 定义属性
- public InfoImpl(T var){ // 通过构造方法设置属性内容
- this.setVar(var) ;
- }
- public void setVar(T var){
- this.var = var ;
- }
- public T getVar(){
- return this.var ;
- }
- };
- public class GenericsDemo24{
- public static void main(String arsg[]){
- Info<String> i = null; // 声明接口对象
- i = new InfoImpl<String>("汤姆") ; // 通过子类实例化对象
- System.out.println("内容:" + i.getVar()) ;
- }
- };
- ----------------------------------------------------------
- interface Info<T>{ // 在接口上定义泛型
- public T getVar() ; // 定义抽象方法,抽象方法的返回值就是泛型类型
- }
- class InfoImpl implements Info<String>{ // 定义泛型接口的子类
- private String var ; // 定义属性
- public InfoImpl(String var){ // 通过构造方法设置属性内容
- this.setVar(var) ;
- }
- public void setVar(String var){
- this.var = var ;
- }
- public String getVar(){
- return this.var ;
- }
- };
- public class GenericsDemo25{
- public static void main(String arsg[]){
- Info i = null; // 声明接口对象
- i = new InfoImpl("汤姆") ; // 通过子类实例化对象
- System.out.println("内容:" + i.getVar()) ;
- }
- };
泛型方法
- class Demo{
- public <T> T fun(T t){ // 可以接收任意类型的数据
- return t ; // 直接把参数返回
- }
- };
- public class GenericsDemo26{
- public static void main(String args[]){
- Demo d = new Demo() ; // 实例化Demo对象
- String str = d.fun("汤姆") ; // 传递字符串
- int i = d.fun(30) ; // 传递数字,自动装箱
- System.out.println(str) ; // 输出内容
- System.out.println(i) ; // 输出内容
- }
- };
通过泛型方法返回泛型类型实例
- class Info<T extends Number>{ // 指定上限,只能是数字类型
- private T var ; // 此类型由外部决定
- public T getVar(){
- return this.var ;
- }
- public void setVar(T var){
- this.var = var ;
- }
- public String toString(){ // 覆写Object类中的toString()方法
- return this.var.toString() ;
- }
- };
- public class GenericsDemo27{
- public static void main(String args[]){
- Info<Integer> i = fun(30) ;
- System.out.println(i.getVar()) ;
- }
- public static <T extends Number> Info<T> fun(T param){//方法中传入或返回的泛型类型由调用方法时所设置的参数类型决定
- Info<T> temp = new Info<T>() ; // 根据传入的数据类型实例化Info
- temp.setVar(param) ; // 将传递的内容设置到Info对象的var属性之中
- return temp ; // 返回实例化对象
- }
- };
使用泛型统一传入的参数类型
- class Info<T>{ // 指定上限,只能是数字类型
- private T var ; // 此类型由外部决定
- public T getVar(){
- return this.var ;
- }
- public void setVar(T var){
- this.var = var ;
- }
- public String toString(){ // 覆写Object类中的toString()方法
- return this.var.toString() ;
- }
- };
- public class GenericsDemo28{
- public static void main(String args[]){
- Info<String> i1 = new Info<String>() ;
- Info<String> i2 = new Info<String>() ;
- i1.setVar("HELLO") ; // 设置内容
- i2.setVar("汤姆") ; // 设置内容
- add(i1,i2) ;
- }
- public static <T> void add(Info<T> i1,Info<T> i2){
- System.out.println(i1.getVar() + " " + i2.getVar()) ;
- }
- };
泛型数组
- public class GenericsDemo30{
- public static void main(String args[]){
- Integer i[] = fun1(1,2,3,4,5,6) ; // 返回泛型数组
- fun2(i) ;
- }
- public static <T> T[] fun1(T...arg){ // 接收可变参数
- return arg ; // 返回泛型数组
- }
- public static <T> void fun2(T param[]){ // 输出
- System.out.print("接收泛型数组:") ;
- for(T t:param){
- System.out.print(t + "、") ;
- }
- }
- };
泛型的嵌套设置
- class Info<T,V>{ // 接收两个泛型类型
- private T var ;
- private V value ;
- public Info(T var,V value){
- this.setVar(var) ;
- this.setValue(value) ;
- }
- public void setVar(T var){
- this.var = var ;
- }
- public void setValue(V value){
- this.value = value ;
- }
- public T getVar(){
- return this.var ;
- }
- public V getValue(){
- return this.value ;
- }
- };
- class Demo<S>{
- private S info ;
- public Demo(S info){
- this.setInfo(info) ;
- }
- public void setInfo(S info){
- this.info = info ;
- }
- public S getInfo(){
- return this.info ;
- }
- };
- public class GenericsDemo31{
- public static void main(String args[]){
- Demo<Info<String,Integer>> d = null ; // 将Info作为Demo的泛型类型
- Info<String,Integer> i = null ; // Info指定两个泛型类型
- i = new Info<String,Integer>("汤姆",30) ; // 实例化Info对象
- d = new Demo<Info<String,Integer>>(i) ; // 在Demo类中设置Info类的对象
- System.out.println("内容一:" + d.getInfo().getVar()) ;
- System.out.println("内容二:" + d.getInfo().getValue()) ;
- }
- };
泛型的擦除
因为类型擦除的问题,所以所有的泛型类型变量最后都会被替换为原始类型。这样就引起了一个问题,既然都被替换为原始类型,那么为什么我们在获取的时候,不需要进行强制类型转换呢?看下ArrayList和get方法:
public E get(int index) { RangeCheck(index); return (E) elementData[index]; }
看以看到,在return之前,会根据泛型变量进行强转。假设泛型类型变量为Date,虽然泛型信息会被擦除掉,但是会将(E) elementData[index],编译为(Date)elementData[index]。所以我们不用自己进行强转。
泛型中<? extends T>和<? super T> 差别
<? extends T>和<? super T>含有JAVA5.0的新的概念。由于它们的外表导致了很多人误解了它们的用途:
1.<? extends T>
首先你很容易误解它为继承于T的所有类的集合,这是大错特错的。
相信能看下去你一定见过或用过List<? extends T>吧?为什么我说理解成一个集合是错呢?如果理解成一个集合那为什么不用List<T>来表示?所以<? extends T>不是一个集合,而是T的某一种子类的意思,记住是一种,单一的一种,问题来了,由于连哪一种都不确定,带来了不确定性,所以是不可能通过 add()来加入元素。你或许还觉得为什么add(T)不行?因为<? extends
T>是T的某种子类,能放入子类的容器不一定放入超类,也就是没可能放入T。
2.<? super T>
这里比较容易使用,没<? extends T>这么多限制,这里的意思是,以T类为下限的某种类,简单地说就是T类的超类。但为什么add(T)可以呢?因为能放入某一类的容器一定可以放入其子类,多态的概念。