Java中的泛型详解

 更新时间:2015年04月14日 11:44:01   转载 投稿:junjie  
这篇文章主要介绍了Java中的泛型详解,本文讲解了泛型类或接口、从泛型类派生子类、伪泛型、类型通配符、通配符的上限、通配符的下限、擦除和转换等内容,需要的朋友可以参考下

所谓泛型:就是允许在定义类、接口指定类型形参,这个类型形参在将在声明变量、创建对象时确定(即传入实际的类型参数,也可称为类型实参)

泛型类或接口

“菱形”语法

复制代码 代码如下:

//定义
 
public interface List<E> extends Collection<E> 
 
public class HashMap<K,V> extends AbstractMap<K,V>  implements Map<K,V>, Cloneable, Serializable
//使用
 
List<String> list = new ArrayList();
 
//Java7以后可以省略后面尖括号的类型参数
 
List<String> list = new ArrayList<>();

从泛型类派生子类

复制代码 代码如下:

//方式1
 
public class App extends GenericType<String>
 
//方式2
 
public class App<T> extends GenericType<T>
 
//方式3
 
public class App extends GenericType

伪泛型

不存在真正的泛型类,泛型类对Java虚拟机来说是透明的.JVM并不知道泛型类的存在,换句话来说,JVM处理泛型类和普通类没什么区别的.因此在静态方法、静态初始化块、静态变量里面不允许使用类型形参。
- 以下方式都是错误的

复制代码 代码如下:

private static T data;
 
static{
 
    T f;
 
}
 
public static void func(){
 
    T name = 1;
 
}

下面的例子可以从侧面验证不存在泛型类
复制代码 代码如下:

public static void main(String[] args){
 
        List<String> a1 = new ArrayList<>();
        List<Integer> a2 = new ArrayList<>(); 
    System.out.println(a1.getClass() == a2.getClass());
 
    System.out.println(a1.getClass());
 
    System.out.println(a2.getClass());
 
}

输出
复制代码 代码如下:

true
 
class java.util.ArrayList
 
class java.util.ArrayList

类型通配符

首先必须明确一点,假如Foo是Bar的父类,但是List<Foo>并不是List<Bar>的父类.为了表示各种泛型的父类,Java使用"?"来表示泛型通配.即List<?>来表示各种泛型List的父类.带这种通配符List泛型不能设置(set)元素,只能获取(get)元素。因为程序无法确定List中的类型,所以不能添加对象。但获取的对象肯定是Object类型。

以下方法会编译出错:

复制代码 代码如下:

List<?> list = new ArrayList<>();
 
list.add(new Object());

主意几点:

1.List<String>对象不能被当成List<Object>对象使用,也就是说:List<String>类并不是List<Object>类的子类。

2.数组和泛型有所不同:假设Foo是Bar的一个子类型(子类或者子接口),那么Foo[]依然是Bar[]的子类型;但G<Foo>不是G<Bar>的子类型。

3.为了表示各种泛型List的父类,我们需要使用类型通配符,类型通配符是一个问号(?),将一个问号作为类型实参传给List集合,写作:List<?>(意思是未知类型元素的List)。这个问号(?)被称为通配符,它的元素类型可以匹配任何类型。

通配符的上限

List<? extends SuperType>表示所有SuperType泛型List的父类或本身。带有通配符上限的泛型不能有set方法,只能有get方法。

设置通配符上限能解决如下问题:Dog是Animal子类,有个getSize方法要获取传入List的个数,代码如下

复制代码 代码如下:

abstract class Animal {
    public abstract void run();
}
class Dog extends Animal {
    public void run() {
        System.out.println("Dog run");
    }
}
public class App {
    public static void getSize(List<Animal> list) {
        System.out.println(list.size());
    }
    public static void main(String[] args) {
        List<Dog> list = new ArrayList<>();
        getSize(list); // 这里编译报错
    }
}

这里编程出错的原因是List<Animal>并不是List<Dog>的父类。解决方案一可以把getSize方法中形参List<Animal>改为List<?>,不过这样的话在每次get对象的时候都要强制类型转换,比较麻烦。使用通配符上限很好的解决了这个问题,可以把List<Animal>改为List<? extends Animal>,编译就不会错了,也不用类型转换。

通配符的下限

List<? super SubType>表示SubType泛型List的下限。带有通配符上限的泛型不能有get方法,只能有set方法。

泛型方法

如果定义类、接口是没有使用类型形参,但定义方法时想自己定义类型形参,这也是可以的,JDK1.5还提供了泛型方法的支持。泛型方法的方法签名比普通方法的方法签名多了类型形参声明,类型形参声明以尖括号括起来,多个类型形参之间以逗号(,)隔开,所有类型形参声明放在方法修饰符和方法返回值类型之间.语法格式如下:

复制代码 代码如下:

修饰符 返回值类型 方法名(类形列表){
 
//方法体
 
}

泛型方法允许类型形参被用来表示方法的一个或多个参数之间的类型依赖关系,或者方法返回值与参数之间的类型依赖关系。如果没有这样的类型依赖关系,就不应该使用泛型方法。Collections的copy方法就使用泛型方法:
复制代码 代码如下:

 public static <T> void copy(List<? super T> dest, List<? extends T> src){ ...}

这个方法要求src类型必须是dest类型的子类或本身。

擦除和转换

在严格的泛型代码里,带泛型声明的类总应该带着类型参数。但为了与老的Java代码保持一致,也允许在使用带泛型声明的类时不指定类型参数。如果没有为这个泛型类指定类型参数,则该类型参数被称作一个raw type(原始类型),默认是该声明该参数时指定的第一个上限类型。

当把一个具有泛型信息的对象赋给另一个没有泛型信息的变量时,则所有在尖括号之间的类型信息都被扔掉了。比如说一个List<String>类型被转换为List,则该List对集合元素的类型检查变成了成类型变量的上限(即Object),这种情况被为擦除。

示例

复制代码 代码如下:

class Apple<T extends Number>
 
{
 
 T size;
 
 public Apple()
 
 {
 
 }
 
 public Apple(T size)
 
 {
 
  this.size = size;
 
 }
 
 public void setSize(T size)
 
 {
 
  this.size = size;
 
 }
 
 public T getSize()
 
 {
 
  return this.size;
 
 }
 
}
 
public class ErasureTest
 
{
 
 public static void main(String[] args)
 
 {
 
  Apple<Integer> a = new Apple<>(6);    // ①
 
  // a的getSize方法返回Integer对象
 
  Integer as = a.getSize();
 
  // 把a对象赋给Apple变量,丢失尖括号里的类型信息
 
  Apple b = a;      // ②
 
  // b只知道size的类型是Number
 
  Number size1 = b.getSize();
 
  // 下面代码引起编译错误
 
  Integer size2 = b.getSize();  // ③
 
 }
 
}

相关文章

  • java实现http的Post、Get、代理访问请求

    java实现http的Post、Get、代理访问请求

    这篇文章主要为大家提供了java实现http的Post、Get、代理访问请求的相关代码,感兴趣的小伙伴们可以参考一下
    2016-01-01
  • 从源码角度看spring mvc的请求处理过程

    从源码角度看spring mvc的请求处理过程

    这篇文章主要介绍了从源码角度看spring mvc的请求处理过程,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,,需要的朋友可以参考下
    2019-06-06
  • 关于快速测试API接口的一个新技能

    关于快速测试API接口的一个新技能

    这篇文章主要给大家介绍了关于快速测试API接口的一个新技能,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2018-06-06
  • Java在利用反射条件下替换英文字母中的值

    Java在利用反射条件下替换英文字母中的值

    今天小编就为大家分享一篇关于Java在利用反射条件下替换英文字母中的值,小编觉得内容挺不错的,现在分享给大家,具有很好的参考价值,需要的朋友一起跟随小编来看看吧
    2019-03-03
  • Java实现扑克牌洗牌和发牌

    Java实现扑克牌洗牌和发牌

    这篇文章主要为大家详细介绍了Java实现扑克牌洗牌和发牌,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2020-04-04
  • springboot中事务管理@Transactional的注意事项与使用场景

    springboot中事务管理@Transactional的注意事项与使用场景

    今天小编就为大家分享一篇关于springboot中事务管理@Transactional的注意事项与使用场景,小编觉得内容挺不错的,现在分享给大家,具有很好的参考价值,需要的朋友一起跟随小编来看看吧
    2019-04-04
  • java 通过发送json,post请求,返回json数据的方法

    java 通过发送json,post请求,返回json数据的方法

    下面小编就为大家分享一篇java 通过发送json,post请求,返回json数据的方法,具有很好的参考价值,希望对大家有所帮助。一起跟随小编过来看看吧
    2018-03-03
  • springboot 使用Spring Boot Actuator监控应用小结

    springboot 使用Spring Boot Actuator监控应用小结

    本篇文章主要介绍了springboot 使用Spring Boot Actuator监控应用小结,小编觉得挺不错的,现在分享给大家,也给大家做个参考。一起跟随小编过来看看吧
    2018-02-02
  • Java 中 Reference用法详解

    Java 中 Reference用法详解

    这篇文章主要介绍了Java 中 Reference用法详解的相关资料,需要的朋友可以参考下
    2017-03-03
  • 通过实践了解如何处理Java异常

    通过实践了解如何处理Java异常

    Java中的异常处理不是一个简单的主题。初学者发现它很难理解,甚至有经验的开发者也可以花几个小时讨论如何以及应该抛出或处理哪些异常。下面我们通过实践来了解如何解决异常
    2019-05-05

最新评论