Java05泛型

12 泛型

12.1 为什么使用泛型

泛型程序设计(Generic programming):意味着编写的代码可以被很多不同类型的对象所重用。

类型参数(type parameters

通配符类型(wildcard type) 可以将Manager添加到ArrayList<Employee>中,但不能把Employee添加到ArrayList<Manager>中。

 

12.2 定义简单泛型类

一个泛型类(Generic class)就是具有一个或多个类型变量的类。

public class Pair<T, U>{...}

类型变量用大写形式,且比较短。

 

Java库中,E表示集合的元素类型;KV分别表示关键字和值的类型;TUS表示任意类型。

 

泛型类可看做普通类的工厂。

 

12.3 泛型方法

可以定义一个带有类型参数的简单方法,这个方法可以在普通类中,也可以在泛型类中。

类型变量T放在修饰符和返回类型之间。

当调用泛型方法时,在方法名前的尖括号中放入具体的类型。

也可以不放具体类型,编译器会进行类型推断。

class ArrayAlg
{
    public static <T> T getMiddle(T ... a)
    {
        return a[a.length / 2];
    }
}
 
String middle = ArrayAlg.<String>getMiddle( “John”, “Q”, “Public”);
String middle = ArrayAlg.getMiddle( “John”, “Q”, “Public”);
 


12.4 类型变量的限定

public static <T extends Comparable> T min(T[]  a) { ... }

public static <T extends Comparable & Serializable> T min(T[]  a) { ... }

 

限定中至多有一个类,且必须放在限定列表中的首位。

 

12.5 泛型代码和虚拟机

虚拟机没有泛型类型对象--所有对象都属于普通类。

定义一个泛型类型时,都自动提供了一个相应的原始类型(raw type)。

原始类型的名字就是删去类型参数后的泛型类型名。

擦除(erased)类型变量,替换为限定类型(无限定类型用Object)。

泛型方法同上。

 

这是与C++模板最大的区别,C++每个模板的实例化产生不同的类型,这一现象称为“模板代码膨胀”。

 

小结:

·虚拟机中没有泛型,只有普通的类和方法;

·所有的类型参数都用它们的限定类型替换;

·桥方法被合成来保持多态;

·为保持类型安全性,必要时插入强制类型转换。

 

桥方法位于声明类型的泛型类中:

public void setSecond(Object second) { setSecond((Data) second)};

public Data getSecond{ return (Date) super.getSecond().clone();}

 

12.6 约束与局限性

1、不能用基本类型实例化类型参数;

 

2、运行时类型查询只适用于原始类型。

虚拟机中的对象总有一个特定的非泛型类型,因此,所有的类型查询只产生原始类型。

if (a instanceof Pair<String>) //ERROR

if (a instanceof Pair<T>) //ERROR

Pair<String> p = (Pair<String>) a; //WARNING--can only test that a is a Pair.

无论何时使用instanceof或涉及泛型类型的强制类型转换表达式都会看到一个编译器警告。

 

同理,getClass方法总是返回原始类型。

Pair<String> stringPair = ...;

Pair<Emloyee> employeePair = ... ;

if (stringPair.getClass() == employeePair.getClass()) //they are equal

//两次调用getClass都将返回Pair.class

 

3、不能实例化参数化类型数组;

Pair<String>[] table = new Pair<String>[10]; // ERROR

ArrayList<Pair<String>> table = new ArrayList<Pair<String>>(); //RIGHT


4、向参数个数可变的方法传递一个泛型类型的实例:

public static <T> void addAll( Collection<T> coll, T ... ts)

实际上ts是一个数组,这违反了3,但此时规则有些放松,只会得到警告。

可用@SafeVarargs来消除警告。

或者@SuppressWarnings(“unchecked”)来抑制警告

 

5、不能实例化类型变量;

不能使用new T(...);  new T[...];  T.class

可以这样用

public static <T> Pair<T> makePair(Class<T> c1)
{
    try { return new Pair<>( c1.newInstance(), c1.newInstance())}
    catch (Exception ex) { return null;}
}

Class类本身就是泛型,String.class是一个Class<String>的实例。

 

6、禁止使用带有类型变量的静态域和方法;

 

7、不能抛出或捕获泛型类的实例;

 

12.7 泛型类型的继承规则

无论ST有什么关系,Pair<S> Pair<T>都没什么关系。

泛型类可以扩展或实现其他的泛型类。这一点与普通的类没有什么区别。

 

12.8 通配符类型

? 通配符。也可以理解为占位符。

? extends E: 可以接收E类型或者E的子类型。上限

? super E: 可以接收E类型或者E的父类型。下限  用的比较少,见集合的比较器

 

Pair<? extends Employee> 子类型限定

Pair<? super Manager> 超类型限定

 

Pair<Manager>Pair<? extends Employee>的子类型

Pair<Employ>Pair<? super Manager>的子类型

 

12.9 反射和泛型

Class类是泛型的。

使用反射API可以确定:

·类型参数T

·子类型限定

·通配符参数

·超类型限定

·参数为泛型

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值