本文目录一览:
- 1、Java中集合/泛型相关问题
- 2、Java泛型集合的应用和方法
- 3、java 集合,泛型
- 4、java中泛型与普通集合 有什么联系 有什么关系 概念是怎么样的?
- 5、学习java遇到的泛型问题,望大牛解答,感激不尽!
Java中集合/泛型相关问题
首先,Vector类是list中的常用子类,其底层依赖数组来实现存储数据!,所以它会按照原样输出数据,然后你在遍历anum该枚举变量时,anum.hasMoreElements()这句话只是指向一个位子并判断有没有数据而已,不会移动指针,所以会出现one two ,当循环到three时,首先System.out.print(astr+" "); 会输出three,然后 if(astr.length()4) avector.remove(astr); 移除three,这里有个问题你要注意,avector.remove(astr);这句话会改变anum它的长度!!会让anum它的长度减1,所以本来下个数应该读取four的,结果因为长度减了1,所以four被跳过去了!所以输出了five,其中eight一样,因为seven被移除,也被跳过去了!再来就是最后一句System.out.println(avector);因为,eight在循环时被跳过,所以,当你输出循环结束后的avector时,发现eight还在里面!!希望你能看懂!
Java泛型集合的应用和方法
泛型(Generic type 或者 generics)是对 Java 语言的类型系统的一种扩展,以支持创建可以按类型进行参数化的类。可以把类型参数看作是使用参数化类型时指定的类型的一个占位符,就像方法的形式参数是运行时传递的值的占位符一样。
可以在集合框架(Collection framework)中看到泛型的动机。例如,Map 类允许您向一个 Map 添加任意类的对象,即使最常见的情况是在给定映射(map)中保存某个特定类型(比如 String)的对象。
因为 Map.get() 被定义为返回 Object,所以一般必须将 Map.get() 的结果强制类型转换为期望的类型,如下面的代码所示:
Map m = new HashMap();
m.put("key", "blarg");
String s = (String) m.get("key");
要让程序通过编译,必须将 get() 的结果强制类型转换为 String,并且希望结果真的是一个 String。但是有可能某人已经在该映射中保存了不是 String 的东西,这样的话,上面的代码将会抛出 ClassCastException。
理想情况下,您可能会得出这样一个观点,即 m 是一个 Map,它将 String 键映射到 String 值。这可以让您消除代码中的强制类型转换,同时获得一个附加的类型检查层,该检查层可以防止有人将错误类型的键或值保存在集合中。这就是泛型所做的工作。
泛型的好处
Java 语言中引入泛型是一个较大的功能增强。不仅语言、类型系统和编译器有了较大的变化,以支持泛型,而且类库也进行了大翻修,所以许多重要的类,比如集合框架,都已经成为泛型化的了。这带来了很多好处:
类型安全。 泛型的主要目标是提高 Java 程序的类型安全。通过知道使用泛型定义的变量的类型限制,编译器可以在一个高得多的程度上验证类型假设。没有泛型,这些假设就只存在于程序员的头脑中(或者如果幸运的话,还存在于代码注释中)。
Java 程序中的一种流行技术是定义这样的集合,即它的元素或键是公共类型的,比如“String 列表”或者“String 到 String 的映射”。通过在变量声明中捕获这一附加的类型信息,泛型允许编译器实施这些附加的类型约束。类型错误现在就可以在编译时被捕获了,而不是在运行时当作 ClassCastException 展示出来。将类型检查从运行时挪到编译时有助于您更容易找到错误,并可提高程序的可靠性。
消除强制类型转换。 泛型的一个附带好处是,消除源代码中的许多强制类型转换。这使得代码更加可读,并且减少了出错机会。
尽管减少强制类型转换可以降低使用泛型类的代码的罗嗦程度,但是声明泛型变量会带来相应的罗嗦。比较下面两个代码例子。
该代码不使用泛型:
List li = new ArrayList();
li.put(new Integer(3));
Integer i = (Integer) li.get(0);
该代码使用泛型:
ListInteger li = new ArrayListInteger();
li.put(new Integer(3));
Integer i = li.get(0);
在简单的程序中使用一次泛型变量不会降低罗嗦程度。但是对于多次使用泛型变量的大型程序来说,则可以累积起来降低罗嗦程度。
潜在的性能收益。 泛型为较大的优化带来可能。在泛型的初始实现中,编译器将强制类型转换(没有泛型的话,程序员会指定这些强制类型转换)插入生成的字节码中。但是更多类型信息可用于编译器这一事实,为未来版本的 JVM 的优化带来可能。
由于泛型的实现方式,支持泛型(几乎)不需要 JVM 或类文件更改。所有工作都在编译器中完成,编译器生成类似于没有泛型(和强制类型转换)时所写的代码,只是更能确保类型安全而已。
泛型用法的例子
泛型的许多最佳例子都来自集合框架,因为泛型让您在保存在集合中的元素上指定类型约束。考虑这个使用 Map 类的例子,其中涉及一定程度的优化,即 Map.get() 返回的结果将确实是一个 String:
Map m = new HashMap();
m.put("key", "blarg");
String s = (String) m.get("key");
如果有人已经在映射中放置了不是 String 的其他东西,上面的代码将会抛出 ClassCastException。泛型允许您表达这样的类型约束,即 m 是一个将 String 键映射到 String 值的 Map。这可以消除代码中的强制类型转换,同时获得一个附加的类型检查层,这个检查层可以防止有人将错误类型的键或值保存在集合中。
下面的代码示例展示了 JDK 5.0 中集合框架中的 Map 接口的定义的一部分:
public interface MapK, V {
public void put(K key, V value);
public V get(K key);
}
注意该接口的两个附加物:
类型参数 K 和 V 在类级别的规格说明,表示在声明一个 Map 类型的变量时指定的类型的占位符。
在 get()、put() 和其他方法的方法签名中使用的 K 和 V。
为了赢得使用泛型的好处,必须在定义或实例化 Map 类型的变量时为 K 和 V 提供具体的值。以一种相对直观的方式做这件事:
MapString, String m = new HashMapString, String();
m.put("key", "blarg");
String s = m.get("key");
当使用 Map 的泛型化版本时,您不再需要将 Map.get() 的结果强制类型转换为 String,因为编译器知道 get() 将返回一个 String。
在使用泛型的版本中并没有减少键盘录入;实际上,比使用强制类型转换的版本需要做更多键入。使用泛型只是带来了附加的类型安全。因为编译器知道关于您将放进 Map 中的键和值的类型的更多信息,所以类型检查从执行时挪到了编译时,这会提高可靠性并加快开发速度。
向后兼容
在 Java 语言中引入泛型的一个重要目标就是维护向后兼容。尽管 JDK 5.0 的标准类库中的许多类,比如集合框架,都已经泛型化了,但是使用集合类(比如 HashMap 和 ArrayList)的现有代码将继续不加修改地在 JDK 5.0 中工作。当然,没有利用泛型的现有代码将不会赢得泛型的类型安全好处。
二 泛型基础
类型参数
在定义泛型类或声明泛型类的变量时,使用尖括号来指定形式类型参数。形式类型参数与实际类型参数之间的关系类似于形式方法参数与实际方法参数之间的关系,只是类型参数表示类型,而不是表示值。
泛型类中的类型参数几乎可以用于任何可以使用类名的地方。例如,下面是 java.util.Map 接口的定义的摘录:
public interface MapK, V {
public void put(K key, V value);
public V get(K key);
}
Map 接口是由两个类型参数化的,这两个类型是键类型 K 和值类型 V。(不使用泛型)将会接受或返回 Object 的方法现在在它们的方法签名中使用 K 或 V,指示附加的类型约束位于 Map 的规格说明之下。
当声明或者实例化一个泛型的对象时,必须指定类型参数的值:
MapString, String map = new HashMapString, String();
注意,在本例中,必须指定两次类型参数。一次是在声明变量 map 的类型时,另一次是在选择 HashMap 类的参数化以便可以实例化正确类型的一个实例时。
编译器在遇到一个 MapString, String 类型的变量时,知道 K 和 V 现在被绑定为 String,因此它知道在这样的变量上调用 Map.get() 将会得到 String 类型。
除了异常类型、枚举或匿名内部类以外,任何类都可以具有类型参数。
命名类型参数
推荐的命名约定是使用大写的单个字母名称作为类型参数。这与 C++ 约定有所不同(参阅 附录 A:与 C++ 模板的比较),并反映了大多数泛型类将具有少量类型参数的假定。对于常见的泛型模式,推荐的名称是:
K —— 键,比如映射的键。
V —— 值,比如 List 和 Set 的内容,或者 Map 中的值。
E —— 异常类。
T —— 泛型。
泛型不是协变的
关于泛型的混淆,一个常见的来源就是假设它们像数组一样是协变的。其实它们不是协变的。ListObject 不是 ListString 的父类型。
如果 A 扩展 B,那么 A 的数组也是 B 的数组,并且完全可以在需要 B[] 的地方使用 A[]:
Integer[] intArray = new Integer[10];
Number[] numberArray = intArray;
上面的代码是有效的,因为一个 Integer 是 一个 Number,因而一个 In。
java 集合,泛型
要点: ArrayList不是唯一的集合
TreeSet以有序状态保持并可防止重复
HashMap可用成对的name/value来保存与取出
LinkedList针对经常插入或删除中间元素所设计的高效率集合
HashSet防止重复的集合,可快速地找寻相符的元素
LinkedHashMap类似HashMap,但可以记住元素插入的顺序,也可以设定成依照元
素上次存取的先后来排序
可以使用TreeSet或Collections.sort()方法来排序
ArrayList是最常用的泛型化类型,有两个关键部分:类的声明和新增元素的方
法的声明
Sort()方法只能接受Comparable对象的list
Collections.sort()会把list中的String依照字母排序
以泛型的观点来说,extend代表extend or implement,代表“是一个。。。”
,且适用于类和接口
调用单一参数的sort(List o)方法代表由list元素上的comparetTo()方法来决定
顺序。因此元素必须要实现Comparable这个接口
调用sort(List o,Comparator c)方法代表不会调用list元素的compareTo()方法
,而会使用Comparator的compare()方法,这意味着list元素不需要实现Comparable.
LIST:是一种索引位置的集合
SET:注重独一无二的性质,不允许重复的集合
MAP:使用成对的键值和数据值,值可重复,但KEY不可
如果foo与bar两对象相等,则foo.equals(bar)会返回true,且两者的hashCode()
也会返回相同的值。要让Set能把对象视为重复的,就必须让它们符合上面的条件。
hashCode()与equals()的相关规定:
1)如果两个对象相等,则hashcode必须也是相等的。
2)如果两个对象相等,对其中一个对象调用equals()必须返回true。也就是说
,若a.equals(b)则b.equals(a).
3)如果对象有相同的hashcode值,它们也不一定是相等的。但若两个对象相等
,则hashcode值一定是相等的。
4)因此若equals()被覆盖过,则hashcode()也必须被覆盖。
5)hashcode()的默认行为是对在heap上的对象产生独特的值.你没有override过
hashcode(),则该class的两个对象怎样都不会被认为是相同的。
6)equals()的默认行为是执行==的比较。也就是说会去测试两个引用是否对
上heap上同一个对象。如果equals()没有被覆盖过,两个对象永远都不会被视为相同的,
因为不同的对象有不同的字节组合。
a.equals()必须与a.hashCode()==b.hashCode()等值。
但a.hashCode()==b.hashCode()不一定要与a.equals()等值。
要使用TreeSet,下列其中一项必须为真:
TreeSet集合中的元素必须是有实现Comparable的类型
或
使用重载、取用Comparator参数的构造函数来创建TreeSet.
MAP中的元素实际上是两个对象,关键字和值。值可以重复,但是关键字不可。
如果方法的参数是Animal的数组,它也能够取用Animal次类型的数组。
也就是说,如果方法是这样声明的:void foo(Animal[] a){}
若Dog有extend过Animal,你就可以用下列的两种方式调用:
foo(anAnimalArray);
foo(aDogArray);
数组的类型是在运行期间检查的,但集合的类型检查只会发生在编译期间
在方法参数中使用万用字符时,编译器会阻止任何可能破坏引用参数所指集合的
行为。你能够使用list中任何元素的方法,但不能加入元素。也就是说,你可以操作集合
元素,但不能新增集合元素。如此才能保障执行期间的安全性,因为编译器会阻止执行期
的恐怖行动。所以下面这个程序是可以的:
for(Animal a:animals){
a.eat();
}
但这个就过不了编译:
animals.add(new Cat());
--------------------
程序代码:
=========================================
SongList.txt
----------------------------------
Communication/The Cardingans
Black Dog/Led Zeppelin
Dreams/Van Halen
Comfortably Numb/Pink Floyd
Beth/Kiss
倒退噜/黄克林
=========================================
记录KTV最常点的歌,没有排序功能
import java.util.*;
import java.io.*;
public class Jukebox1{
//歌曲名称存在String的ArrayList上
ArrayListString songList= new ArrayListString();
public static void main(String[] args){
new Jukebox1.go();
}
//这个方法会载入文件并列出内容
public void go(){
getSongs();
System.out.println(songList);
}
//读取文件的程序
void getSongs(){
try{
File file=new File("SongList.txt");
BufferedReader reader=new BufferedReader(new
FileReader(file));
String line=null;
while(line=reader.readLine())!=null){
addSong(line);
}
}catch(Exception ex){ex.printStackTrace();}
}
void addSong(String lineToParse){
//split()方法会用反斜线来拆开歌曲内容
String[] tokens=lineToParse.split("/");
//因为只需要歌名,所以只取第一项加入SongList
songList.add(tokens[0]);
}
}
====
//依照加入的顺序列出,与原始的文本文件顺序相同。
输出:
%java Jukebox1
[Communication,Black Dog,Dreams,Comfortably Numb,Beth,倒退噜]
-----------------------------------------------------------------
对点歌系统加上Collections.sort()
import java.util.*;
import java.io.*;
public class Jukebox1{
//歌曲名称存在String的ArrayList上
ArrayListString songList= new ArrayListString();
public static void main(String[] args){
new Jukebox1.go();
}
//这个方法会载入文件并列出内容
public void go(){
getSongs();
System.out.println(songList);
Collections.sort()(songList);
System.out.println(songList);
}
//读取文件的程序
void getSongs(){
try{
File file=new File("SongList.txt");
BufferedReader reader=new BufferedReader(new
FileReader(file));
String line=null;
while(line=reader.readLine())!=null){
addSong(line);
}
}catch(Exception ex){ex.printStackTrace();}
}
void addSong(String lineToParse){
//split()方法会用反斜线来拆开歌曲内容
String[] tokens=lineToParse.split("/");
//因为只需要歌名,所以只取第一项加入SongList
songList.add(tokens[0]);
}
}
====
输出:
%java Jukebox1
[Communication,Black Dog,Dreams,Comfortably Numb,Beth,倒退噜]
[Beth,Black Dog,Comfortably Numb,Communication,Dreams,倒退噜]
-------------------------------------------------------------
现在要用song对象而不只是string
class Song{
//对应四种属性的四个实例变量
String title;
String artist;
String rating;
String bpm;
Song(String t, String a,String r,String b){
//变量都会在创建时从构造函数中设定
title=t;
artist=a;
rating=r;
bpm=b;
}
//四种属性的getter
public String getTitle(){
retrun title;
}
public String getArtist(){
retrun artist;
}
public String getRating(){
retrun rating;
}
public String getBpm(){
retrun bpm;
}
//将toString()覆盖过,让它返回歌名
public String toString(){
return title;
}
}
=========================================
SongList.txt
----------------------------------
Communication/The Cardingans/5/80
Black Dog/Led Zeppelin/4/84
Dreams/Van Halen/6/20
Comfortably Numb/Pink Floyd/5/110
Beth/Kiss/4/100
倒退噜/黄克林/5/90
=========================================
说明:新的歌曲文件带有四项属性,所以我们需要创建出Song的实例变量来带这些属性。
修改点歌系统程序
import java.util.*;
import java.io.*;
public class Jukebox1{
//将String改成Song类型
ArrayListSong songList= new ArrayListSong();
public static void main(String[] args){
new Jukebox1.go();
}
//这个方法会载入文件并列出内容
public void go(){
getSongs();
System.out.println(songList);
Collections.sort()(songList);
System.out.println(songList);
}
//读取文件的程序
void getSongs(){
try{
File file=new File("SongList.txt");
BufferedReader reader=new BufferedReader(new
FileReader(file));
String line=null;
while(line=reader.readLine())!=null){
addSong(line);
}
}catch(Exception ex){ex.printStackTrace();}
}
void addSong(String lineToParse){
//split()方法会用反斜线来拆开歌曲内容
String[] tokens=lineToParse.split("/");
//使用解析出来 的四项属性来创建Song对象并加入到list中
Song nextSong =new Song(tokens[0],tokens[1],tokens[2],tokens[3]);
songList.add(nextSong);
}
}
====
输出:
%javac Jukebox3.java
Jukebox3.java:15:cannot find symbol
symbol :method sort(java.util.ArrrayListSong)
location:class java.util.Collections
Collections.sort(songList);
1 error
关于泛型
1)创建被泛型化类的实例
创建ArrayList时你必须要指定它所容许的对象。
new ArrayListSong()
2)声明与指定泛型类型的变量
ListSong songList = new ArrayListSong()
3)声明(与调用)取用泛型类型的方法
void foo(ListSong list)
x.foo(songList)
---------------------------------------------
ArrayList的类型参数
下面这行程序:
ArrayListString thisList = new ArrayListString
代表这个ArrayList:
public class ArrayListE extends AbstractListE...{
public boolean add(E o)
//更多代码
}
会被编译器这样看待:
public class ArrayListString extends AbstractListString...{
public boolean add(String o)
//更多代码
}
-------------------------------------------------------------------
运用泛型的方法
1)使用定义在类声明的类型参数。
public class ArrayListE extends AbstractListE...{
public boolean add(E o)
}
2)使用未定义在类声明的类型参数
//T extends Animal 为方法声明的一部分,表示任何被声明为Animal或Animal的子型
public T extends Animal void takeThing(ArrayListT list)
//public void takeThing(ArrayListAnimal list)表示只有ArrayListAnimal合法。
-----------------------------------------------------------------------------
public static T extends Comparable? super T void sort(ListT list)
//T extends Comparable表示它必须是Comparable
//? super T表示Comparable的类型参数必须是T或T的父型
//ListT表示仅能传入继承Comparable的参数化类型的list
-----------------------------------------------------------------------------
class Song implements ComparableSong{
//对应四种属性的四个实例变量
String title;
String artist;
String rating;
String bpm;
//Song s为要比较的对象
public int compareTo(Song s){
return title.compareTo(s.getTitle());
}
Song(String t, String a,String r,String b){
//变量都会在创建时从构造函数中设定
title=t;
artist=a;
rating=r;
bpm=b;
}
//四种属性的getter
public String getTitle(){
retrun title;
}
public String getArtist(){
retrun artist;
}
public String getRating(){
retrun rating;
}
public String getBpm(){
retrun bpm;
}
//将toString()覆盖过,让它返回歌名
public String toString(){
return title;
}
}
====
调用sort()方法后会把Song依照字母作排序
输出:
%java Jukebox3
[Communication,Black Dog,Dreams,Comfortably Numb,Beth,倒退噜]
[Beth,Black Dog,Comfortably Numb,Communication,Dreams,倒退噜]
---------------------------------------------------------------
用Comparator更新点歌系统
我们在新版本做了三件事:
1)创建并实现Comparator的内部类,以compare()方法取代compareTo()方法
2)制作该类的实例
3)调用重载版的sort(),传入歌曲的list以及Comparator的实例。
import java.util.*;
import java.io.*;
public class Jukebox5{
//将String改成Song类型
ArrayListSong songList= new ArrayListSong();
public static void main(String[] args){
new Jukebox5.go();
}
//创建江实现Comparator的内部类,注意到类型参数和要比较的类型是相符的
//one.getArtist()会返回String,compareTo以String来比较
class ArtistCompare implements ComparatorSong{
public int compare(Song one,Song two){
return one.getArtist().compareTo(two.getArtist());
}
}
//这个方法会载入文件并列出内容
public void go(){
getSongs();
System.out.println(songList);
Collections.sort()(songList);
System.out.println(songList);
//创建Comparator的实例,调用sort(),传入list与Comparator对象
ArtistCompare artistCompare = new ArtistCompare();
Collections.sort(songList,artistCompare);
System.out.println(songList);
}
//读取文件的程序
void getSongs(){
try{
File file=new File("SongList.txt");
BufferedReader reader=new BufferedReader(new
FileReader(file));
String line=null;
while(line=reader.readLine())!=null){
addSong(line);
}
}catch(Exception ex){ex.printStackTrace();}
}
void addSong(String lineToParse){
//split()方法会用反斜线来拆开歌曲内容
String[] tokens=lineToParse.split("/");
//使用解析出来 的四项属性来创建Song对象并加入到list中
Song nextSong =new Song(tokens[0],tokens[1],tokens[2],tokens[3]);
songList.add(nextSong);
}
}
-----------------------------------------------------------------
以HashSet取代ArrayList
import java.util.*;
import java.io.*;
public class Jukebox6{
ArrayListSong songList= new ArrayListSong();
public static void main(String[] args){
new Jukebox6.go();
}
public void go(){
//这个方法没有更新,所以它还是会把Song加到ArrayList中
getSongs();
System.out.println(songList);
Collections.sort()(songList);
System.out.println(songList);
//创建参数化的HashSet来保存Song,addAll()可以复制其他集合的元素
HashSetSong songSet = new HashSetSong();
songSet.addAll(songList);
System.out.println(songSet);
}
//getSongs() and addSong() methods
}
-------------------------------------------------------------------
有覆盖过hashCode()与equals()的Song类
class Song{
String title;
String artist;
String rating;
String bpm;
//Object aSong为要比较的对象
public boolean equals(Object aSong){
Song s = (Song) aSong;
//因为歌名是String,且String本来就喜笑颜开过的equals(),所以我们可调用
return getTitle().equals(s.getTitle());
}
public int hashCode(){
//String也有覆盖过的hashCode(),注意到hashCode()与
//equals()使用相同的实例变量
return title.hashCode();
}
public int compareTo(Song s){
return title.compareTo(s.getTitle());
}
Song(String t, String a,String r,String b){
//变量都会在创建时从构造函数中设定
title=t;
artist=a;
rating=r;
bpm=b;
}
//四种属性的getter
public String getTitle(){
retrun title;
}
public String getArtist(){
retrun artist;
}
public String getRating(){
retrun rating;
}
public String getBpm(){
retrun bpm;
}
//将toString()覆盖过,让它返回歌名
public String toString(){
return title;
}
}
-----------------------------------------------------------
如果想要保持有序,使用TreeSet
import java.util.*;
import java.io.*;
public class Jukebox8{
ArrayListSong songList= new ArrayListSong();
int val;
public static void main(String[] args){
new Jukebox8.go();
}
public void go(){
getSongs();
System.out.println(songList);
Collections.sort()(songList);
System.out.println(songList);
//调用没有参数的构造函数来用TreeSet取代HashSet意味着
//以对象的compareTo()方法来进行排序
TreeSetSong songSet = new TreeSetSong();
//使用addAll()可以把对象全部加入
songSet.addAll(songList);
System.out.println(songList);
}
//读取文件的程序
void getSongs(){
try{
File file=new File("SongList.txt");
BufferedReader reader=new BufferedReader(new
FileReader(file));
String line=null;
while(line=reader.readLine())!=null){
addSong(line);
}
}catch(Exception ex){ex.printStackTrace();}
}
void addSong(String lineToParse){
//split()方法会用反斜线来拆开歌曲内容
String[] tokens=lineToParse.split("/");
//使用解析出来 的四项属性来创建Song对象并加入到list中
Song nextSong =new Song(tokens[0],tokens[1],tokens[2],tokens[3]);
songList.add(nextSong);
}
}
-----------------------------------
public T extends Animal void takeThing(ArrayListT list)
与
public void takeThing(ArrayList? extends Animallist)是一样的~
java中泛型与普通集合 有什么联系 有什么关系 概念是怎么样的?
泛型就是添加了一个类型参数你可以在用泛型类或者泛型方法的时候确定这个泛型为一个确定的类型
在以前的java版本中是没有泛型的只能用根类Object来表示泛型,但是这样的话就不能表示摸一个确定的类型因为object是所有类的父类所以它是一个表示所有类型
java中加入了泛型以后所有的集合框架都重新写了使它们支持泛型,这样你就可以这样写
ArrayListString al=new ArrayListString();
表示一个String型的Arraylist
但是泛型有一个问题就是它不支持基本类型作为类型参数
不知道这么说你能不能理解~~~
学习java遇到的泛型问题,望大牛解答,感激不尽!
泛型(Generic type 或者generics)是对 Java 语言的类型系统的一种扩展,以支持创建可以按类型进行参数化的类。可以把类型参数看作是使用参数化类型时指定的类型的一个占位符,就像方法的形式参数是运行时传递的值的占位符一样。
可以在集合框架(Collection framework)中看到泛型的动机。例如,Map类允许您向一个Map添加任意类的对象,即使最常见的情况是在给定映射(map)中保存某个特定类型(比如String)的对象。
因为Map.get()被定义为返回Object,所以一般必须将Map.get()的结果强制类型转换为期望的类型,如下面的代码所示:
Map m = new HashMap();
m.put("key", "blarg");
String s = (String) m.get("key");
要让程序通过编译,必须将get()的结果强制类型转换为String,并且希望结果真的是一个String。但是有可能某人已经在该映射中保存了不是String的东西,这样的话,上面的代码将会抛出ClassCastException。
理想情况下,您可能会得出这样一个观点,即m是一个Map,它将String键映射到String值。这可以让您消除代码中的强制类型转换,同时获得一个附加的类型检查层,该检查层可以防止有人将错误类型的键或值保存在集合中。这就是泛型所做的工作。
泛型的好处
Java 语言中引入泛型是一个较大的功能增强。不仅语言、类型系统和编译器有了较大的变化,以支持泛型,而且类库也进行了大翻修,所以许多重要的类,比如集合框架,都已经成为泛型化的了。这带来了很多好处:
· 类型安全。泛型的主要目标是提高 Java 程序的类型安全。通过知道使用泛型定义的变量的类型限制,编译器可以在一个高得多的程度上验证类型假设。没有泛型,这些假设就只存在于程序员的头脑中(或者如果幸运的话,还存在于代码注释中)。
Java 程序中的一种流行技术是定义这样的集合,即它的元素或键是公共类型的,比如“String列表”或者“String到String的映射”。通过在变量声明中捕获这一附加的类型信息,泛型允许编译器实施这些附加的类型约束。类型错误现在就可以在编译时被捕获了,而不是在运行时当作ClassCastException展示出来。将类型检查从运行时挪到编译时有助于您更容易找到错误,并可提高程序的可靠性。
· 消除强制类型转换。泛型的一个附带好处是,消除源代码中的许多强制类型转换。这使得代码更加可读,并且减少了出错机会。
尽管减少强制类型转换可以降低使用泛型类的代码的罗嗦程度,但是声明泛型变量会带来相应的罗嗦。比较下面两个代码例子。
该代码不使用泛型:
List li = new ArrayList();
li.put(new Integer(3));
Integer i = (Integer) li.get(0);
该代码使用泛型:
ListInteger li = new ArrayListInteger();
li.put(new Integer(3));
Integer i = li.get(0);
在简单的程序中使用一次泛型变量不会降低罗嗦程度。但是对于多次使用泛型变量的大型程序来说,则可以累积起来降低罗嗦程度。
· 潜在的性能收益。泛型为较大的优化带来可能。在泛型的初始实现中,编译器将强制类型转换(没有泛型的话,程序员会指定这些强制类型转换)插入生成的字节码中。但是更多类型信息可用于编译器这一事实,为未来版本的JVM 的优化带来可能。
由于泛型的实现方式,支持泛型(几乎)不需要JVM 或类文件更改。所有工作都在编译器中完成,编译器生成类似于没有泛型(和强制类型转换)时所写的代码,只是更能确保类型安全而已。
泛型用法的例子
泛型的许多最佳例子都来自集合框架,因为泛型让您在保存在集合中的元素上指定类型约束。考虑这个使用Map类的例子,其中涉及一定程度的优化,即Map.get()返回的结果将确实是一个String:
Map m = new HashMap();
m.put("key", "blarg");
String s = (String) m.get("key");
如果有人已经在映射中放置了不是String的其他东西,上面的代码将会抛出ClassCastException。泛型允许您表达这样的类型约束,即m是一个将String键映射到String值的Map。这可以消除代码中的强制类型转换,同时获得一个附加的类型检查层,这个检查层可以防止有人将错误类型的键或值保存在集合中。
下面的代码示例展示了 JDK 5.0 中集合框架中的Map接口的定义的一部分:
public interface MapK, V {
public void put(K key, V value);
public V get(K key);
}
注意该接口的两个附加物:
* 类型参数 K 和 V 在类级别的规格说明,表示在声明一个 Map 类型的变量时指定的类型的占位符。
* 在 get()、put() 和其他方法的方法签名中使用的 K 和 V。
为了赢得使用泛型的好处,必须在定义或实例化Map类型的变量时为K和V提供具体的值。以一种相对直观的方式做这件事:
MapString, String m = new HashMapString, String();
m.put("key", "blarg");
String s = m.get("key");
当使用Map的泛型化版本时,您不再需要将Map.get()的结果强制类型转换为String,因为编译器知道get()将返回一个String。
在使用泛型的版本中并没有减少键盘录入;实际上,比使用强制类型转换的版本需要做更多键入。使用泛型只是带来了附加的类型安全。因为编译器知道关于您将放进Map中的键和值的类型的更多信息,所以类型检查从执行时挪到了编译时,这会提高可靠性并加快开发速度。
向后兼容
在 Java 语言中引入泛型的一个重要目标就是维护向后兼容。尽管 JDK 5.0 的标准类库中的许多类,比如集合框架,都已经泛型化了,但是使用集合类(比如HashMap和ArrayList)的现有代码将继续不加修改地在 JDK 5.0 中工作。当然,没有利用泛型的现有代码将不会赢得泛型的类型安全好处。
类型参数
在定义泛型类或声明泛型类的变量时,使用尖括号来指定形式类型参数。形式类型参数与实际类型参数之间的关系类似于形式方法参数与实际方法参数之间的关系,只是类型参数表示类型,而不是表示值。
泛型类中的类型参数几乎可以用于任何可以使用类名的地方。例如,下面是java.util.Map接口的定义的摘录:
public interface MapK, V {
public void put(K key, V value);
public V get(K key);
}
Map接口是由两个类型参数化的,这两个类型是键类型K和值类型V。(不使用泛型)将会接受或返回Object的方法现在在它们的方法签名中使用K或V,指示附加的类型约束位于Map的规格说明之下。
当声明或者实例化一个泛型的对象时,必须指定类型参数的值:
MapString, String map = new HashMapString, String();
注意,在本例中,必须指定两次类型参数。一次是在声明变量map的类型时,另一次是在选择HashMap类的参数化以便可以实例化正确类型的一个实例时。
编译器在遇到一个MapString, String类型的变量时,知道K和V现在被绑定为String,因此它知道在这样的变量上调用Map.get()将会得到String类型。
除了异常类型、枚举或匿名内部类以外,任何类都可以具有类型参数。
命名类型参数
推荐的命名约定是使用大写的单个字母名称作为类型参数。这与C++ 约定有所不同(参阅附录 A:与 C++ 模板的比较),并反映了大多数泛型类将具有少量类型参数的假定。对于常见的泛型模式,推荐的名称是:
* K —— 键,比如映射的键。
* V —— 值,比如 List 和 Set 的内容,或者 Map 中的值。
* E —— 异常类。
* T —— 泛型。
泛型不是协变的
关于泛型的混淆,一个常见的来源就是假设它们像数组一样是协变的。其实它们不是协变的。ListObject不是ListString的父类型。
如果 A 扩展 B,那么 A 的数组也是 B 的数组,并且完全可以在需要B[]的地方使用A[]:
Integer[] intArray = new Integer[10];
Number[] numberArray = intArray;
上面的代码是有效的,因为一个Integer是一个Number,因而一个Integer数组是一个Number数组。但是对于泛型来说则不然。下面的代码是无效的:
ListInteger intList = new ArrayListInteger();
ListNumber numberList = intList; // invalid
最初,大多数 Java 程序员觉得这缺少协变很烦人,或者甚至是“坏的(broken)”,但是之所以这样有一个很好的原因。如果可以将ListInteger赋给ListNumber,下面的代码就会违背泛型应该提供的类型安全:
ListInteger intList = new ArrayListInteger();
ListNumber numberList = intList; // invalid
numberList.add(new Float(3.1415));
因为intList和numberList都是有别名的,如果允许的话,上面的代码就会让您将不是Integers的东西放进intList中。但是,正如下一屏将会看到的,您有一个更加灵活的方式来定义泛型。
package com.ibm.course.generics;
import java.util.ArrayList;
import java.util.List;
public class GenericsExample {
public static void main(String[] args) {
Integer[] integer = new Integer[5];
Number[] number = integer;
System.out.println(number[0]);// null
number[0] = new Float(7.65);
System.out.println(number[0]);
System.out.println(integer[0]);
ListInteger list = new ArrayListInteger();
// Type mismatch: cannot convert from ListInteger to ListNumber
// ListNumber listObj = list;
}
}
ListNumber listObj = list;导致编译错误:Type mismatch: cannot convert from ListInteger to ListNumber
而System.out.println(number[0]);和System.out.println(integer[0]);导致运行时异常:
Exception in thread "main" java.lang.ArrayStoreException: java.lang.Float
at com.ibm.course.generics.GenericsExample.main(GenericsExample.java:15)
类型通配符
假设您具有该方法:
void printList(List l) {
for (Object o : l)
System.out.println(o);
}
上面的代码在 JDK 5.0 上编译通过,但是如果试图用ListInteger调用它,则会得到警告。出现警告是因为,您将泛型(ListInteger)传递给一个只承诺将它当作List(所谓的原始类型)的方法,这将破坏使用泛型的类型安全。
如果试图编写像下面这样的方法,那么将会怎么样?
void printList(ListObject l) {
for (Object o : l)
System.out.println(o);
}
它仍然不会通过编译,因为一个ListInteger不是一个ListObject(正如前一屏泛型不是协变的 中所学的)。这才真正烦人——现在您的泛型版本还没有普通的非泛型版本有用!
解决方案是使用类型通配符:
void printList(List? l) {
for (Object o : l)
System.out.println(o);
}
上面代码中的问号是一个类型通配符。它读作“问号”。List?是任何泛型List的父类型,所以您完全可以将ListObject、ListInteger或ListListListFlutzpah传递给printList()。
package com.ibm.course.generics;
import java.util.ArrayList;
import java.util.List;
public class GenericExample {
public static void main(String[] args) {
ListInteger integer = new ArrayListInteger();
integer.add(new Integer(0));
integer.add(new Integer(1));
ListString str = new ArrayListString();
str.add(new String("Hello"));
str.add(new String("World"));
List? li=integer;
li=str;
printList(integer);
printList(str);
}
public static void printList(List? l) {
for (Object o : l) {
System.out.println(o);
}
}
}
上面的例子程序没有警告也没有编译错误。
类型通配符的作用
前一屏类型通配符 中引入了类型通配符,这让您可以声明List?类型的变量。您可以对这样的List做什么呢?非常方便,可以从中检索元素,但是不能添加元素(可以添加null)。原因不是编译器知道哪些方法修改列表哪些方法不修改列表,而是(大多数)变化的方法比不变化的方法需要更多的类型信息。下面的代码则工作得很好:
ListInteger li = new ArrayListInteger();
li.add(new Integer(42));
List? lu = li;
System.out.println(lu.get(0));
为什么该代码能工作呢?对于lu,编译器一点都不知道List的类型参数的值。但是编译器比较聪明,它可以做一些类型推理。在本例中,它推断未知的类型参数必须扩展Object。(这个特定的推理没有太大的跳跃,但是编译器可以作出一些非常令人佩服的类型推理,后面就会看到(在底层细节 一节中)。所以它让您调用List.get()并推断返回类型为Object。
另一方面,下面的代码不能工作:
ListInteger li = new ArrayListInteger();
li.add(new Integer(42));
List? lu = li;
lu.add(new Integer(43)); // error
在本例中,对于lu,编译器不能对List的类型参数作出足够严密的推理,以确定将Integer传递给List.add()是类型安全的。所以编译器将不允许您这么做。
以免您仍然认为编译器知道哪些方法更改列表的内容哪些不更改列表内容,请注意下面的代码将能工作,因为它不依赖于编译器必须知道关于lu的类型参数的任何信息:
ListInteger li = new ArrayListInteger();
li.add(new Integer(42));
List? lu = li;
lu.clear();
泛型方法
(在类型参数 一节中)您已经看到,通过在类的定义中添加一个形式类型参数列表,可以将类泛型化。方法也可以被泛型化,不管它们定义在其中的类是不是泛型化的。
泛型类在多个方法签名间实施类型约束。在ListV中,类型参数V出现在get()、add()、contains()等方法的签名中。当创建一个MapK, V类型的变量时,您就在方法之间宣称一个类型约束。您传递给add()的值将与get()返回的值的类型相同。
类似地,之所以声明泛型方法,一般是因为您想要在该方法的多个参数之间宣称一个类型约束。例如,下面代码中的ifThenElse()方法,根据它的第一个参数的布尔值,它将返回第二个或第三个参数:
public T T ifThenElse(boolean b, T first, T second) {
return b ? first : second;
}
注意,您可以调用ifThenElse(),而不用显式地告诉编译器,您想要T的什么值。编译器不必显式地被告知 T 将具有什么值;它只知道这些值都必须相同。编译器允许您调用下面的代码,因为编译器可以使用类型推理来推断出,替代T的String满足所有的类型约束:
String s = ifThenElse(b, "a", "b");
类似地,您可以调用:
Integer i = ifThenElse(b, new Integer(1), new Integer(2));
但是,编译器不允许下面的代码,因为没有类型会满足所需的类型约束:
String s = ifThenElse(b, "pi", new Float(3.14));
为什么您选择使用泛型方法,而不是将类型T添加到类定义呢?(至少)有两种情况应该这样做:
* 当泛型方法是静态的时,这种情况下不能使用类类型参数。
* 当 T 上的类型约束对于方法真正是局部的时,这意味着没有在相同类的另一个 方法签名中使用相同 类型 T 的约束。通过使得泛型方法的类型参数对于方法是局部的,可以简化封闭类型的签名。
有限制类型
在前一屏泛型方法 的例子中,类型参数V是无约束的或无限制的类型。有时在还没有完全指定类型参数时,需要对类型参数指定附加的约束。
考虑例子Matrix类,它使用类型参数V,该参数由Number类来限制:
public class MatrixV extends Number { ... }
编译器允许您创建MatrixInteger或MatrixFloat类型的变量,但是如果您试图定义MatrixString类型的变量,则会出现错误。类型参数V被判断为由Number限制。在没有类型限制时,假设类型参数由Object限制。这就是为什么前一屏泛型方法 中的例子,允许List.get()在List?上调用时返回Object,即使编译器不知道类型参数V的类型。