JDK1.5 令我们期待很久,可是当他发布的时候却更换版本号为5.0。这说明Java已经有大幅度的变化。本文将讲解JDK5.0支持的新功能-----Java的泛型. 3xuV@A E
/,5 c%"c-
1、Java泛型 II9vL8l
l9?[], [
其实Java的泛型就是创建一个用类型作为参数的类。就象我们写类的方法一样,方法是这样的method(String str1,String str2 ),方法中参数str1、str2的值是可变的。而泛型也是一样的,这样写class Java_Generics<K,V>,这里边的K和V就象方法中的参数str1和str2,也是可变。下面看看例子: I z-y
dK5U U m
//code list 1 J4?ulsx
huOmKn?D
import Java.util.Hashtable; p}(_X%/
PbyD<n*
class TestGen0<K,V>{ LWLMK_i/
$^.cdf
public Hashtable<K,V> h=new Hashtable<K,V>(); |h+,I`9mf
i URQbr?
public void put(K k, V v) { (FR\j3|B.
#3l 7
h.put(k,v); _eb{Ntsc
0s=;_5,)Z
} q%RGiN(Z
v,EF3Q
public V get(K k) { _h-1cl
DDmH :_
return h.get(k); +[` :1 C
l=! lO
} Q9V~eQCBa$
y\~V;Ts
public static void main(String args[]){ B}!EnHqP
NN`Qt`!M
TestGen0<String,String> t=new TestGen0<String,String>(); $!{t>e*
2FxBwTy*n
t.put("key", "value"); thYiHA?
ysq"3cL
String s=t.get("key"); tue:aO]t
PSFEA\AVt
System.out.println(s); ^3$W34*
3xct[}
} F]c9+j l~
wIw#'[0J
} 8TIH Y3!D
z"%A"@\
正确输出:value tCvh($B
,UJCkm=T#/
这只是个例子(Java中集合框架都泛型化了,这里费了2遍事.),不过看看是不是创建一个用类型作为参数的类,参数是K,V,传入的“值”是String类型。这个类他没有特定的待处理型别,以前我们定义好了一个类,在输入输入参数有所固定,是什么型别的有要求,但是现在编写程序,完全可以不制定参数的类型,具体用的时候来确定,增加了程序的通用性,像是一个模板。 gbQF(A77S
~0K>Z|k
呵呵,类似C++的模板(类似)。 ^kqhCo]=<
:]dJ2h%k
1.1. 泛型通配符 g }{F[B~@
xwn^LM%e0
下面我们先看看这些程序: '0R(+
N8qfa)jo
//Code list 2 9myC@GhwV
\_k<2k^_/L
void TestGen0Medthod1(List l) { 4Cps>Lz,
aY9|] Rjy
for (Object o : l) j6*5+Y(o
8tqo*y
System.out.println(o); iN^FXOk43
y@Do{4$#
} SDqZ@I{
\go}|{!
看看这个方法有没有异议,这个方法会通过编译的,假如你传入String,就是这样List<String>。 GKl;,zaa
:Ls%f4|*q
接着我们调用它,问题就出现了,我们将一个List<String>当作List传给了方法,JVM会给我们一个警告,说这个破坏了类型安全,因为从List中返回的都是Object类型的,而让我们再看看下面的方法。 , )+d}<4
8aV7 >7
//Code list 3 \HqUam I
`3)5;_a/pt
void TestGen0Medthod1(List<String> l) { h56z5~S<
e@"Sw0 b
for (Object o : l) u?? wrG
Xvn,mZ4
System.out.println(o); l ; v@9c7R
'_,`5g?
} {U!8[D]
F?l_}qw
因为这里的List<String>不是List<Object>的子类,不是String与Object的关系,就是说List<String>不隶属于list<Object>,他们不是继承关系,所以是不行的,这里的extends是表示限制的。 ZR< \}
:8vk,]7
类型通配符是很神奇的,List<?>这个你能为他做什么呢?怎么都是“?”,它似乎不确定,他总不能返回一个?作为类型的数据吧,是啊他是不会返回一个“?”来问程序员的?JVM会做简单的思考的,看看代码吧,更直观些。 h:L9(vZ
guN'`B
//code list 4 [(f&n$[
>.tr{AG~q
List<String> l1 = new ArrayList<String>(); (x#Jzh-
--|(l _T
li.add(“String”); C? ['5=sG
f. $V=S
List<?> l2 = l1; L}eA.4|
[K:j[BX{
System.out.println(l1.get(0)); C|p{2 y]
Y)c{tO0KT
这段代码没问题的,l1.get(0)将返回一个Object。 o5EVIcf<
>qXKh[
1.2. 编写泛型类要注意: YjV~K}l[R
)vOwX"$/8e
1) 在定义一个泛型类的时候,在 “<>”之间定义形式类型参数,例如:“class TestGen<K,V>”,其中“K” , “V”不代表值,而是表示类型。 m w=
skLQCXpp
2) 实例化泛型对象的时候,一定要在类名后面指定类型参数的值(类型),一共要有两次书写。例如: d RGjDqB
|mUzm6
TestGen<String,String> t=new TestGen<String,String>(); Y%<& RUI
# }{g#
3) 泛型中<K extends Object>,extends并不代表继承,它是类型范围限制。 7FQ~f >4(
/Y9`R"=A1
2、泛型与数据类型转换 +9t(jn{
fvENRJ:
2.1. 消除类型转换 $WfhWP
H<Ql 3Z=g
上面的例子大家看到什么了,数据类型转换的代码不见了。在以前我们经常要书写以下代码,如: 'n)U^t4
2sRt S=
//code list 5 3Og 3|b"Y9
?+`8_ZW
import Java.util.Hashtable; $IeZ.zV
%< R:^ Zrq
class Test { JG2[-;
L hGi%T6a
public static void main(String[] args) { Q d(0NmiG
PFH?3\W
Hashtable h = new Hashtable(); ~0os Eg+
Gx Ci zs!
h.put("key", "value"); o~On-b~I/e
KF&b\S
String s = (String)h.get("key"); N+EM h(
:tO$!;z
System.out.println(s); OrEpg#BK
BjN]3!dJ
} F3?H Tk%]U
rMf|_mVn<
} p7PR QeOM
这个我们做了类型转换,是不是感觉很烦的,并且强制类型转换会带来潜在的危险,系统可能会抛一个ClassCastException异常信息。在JDK5.0中我们完全可以这么做,如: 6[ag RT
UpMXK@Ou
//code list 6 k'q%
-k(EhhR
import Java.util.Hashtable; )DPK54@)
JuBk ^
class Test { ! [W}
+XE!`0a
public static void main(String[] args) { lr]6l/"7
SKLw]Ylc
Hashtable<String,Integer> h = new Hashtable<String,Integer> (); _&d]PE$ 4
2OSS%Lr})
h.put("key", new Integer(123)); XiGEp {a
[*H/>m/:
int s = h.get("key").intValue(); c yi?dq-V
. X6Nbo
System.out.println(s); .XNE$W_
)9RN
} Io/7*)d}
TfbEZrD&H
} b0ff-nSy
qM]jrc~L
这里我们使用泛化版本的HashMap,这样就不用我们来编写类型转换的代码了,类型转换的过程交给编译器来处理,是不是很方便,而且很安全。上面是String映射到String,也可以将Integer映射为String,只要写成HashTable<Integer,String> h=new HashTable<Integer,String>();h.get(new Integer(0))返回value。果然很方便。 7>+wr"E
>?HeX*DM
2.2 自动解包装与自动包装的功能 }D5|&=&
H 0,J$ks
从上面有没有看到有点别扭啊,h.get(new Integer(123))这里的new Integer(123);好烦的,在JDK5.0之前我们只能忍着了,现在这种问题已经解决了,请看下面这个方法。我们传入一个int这一基本型别,然后再将i的值直接添加到List中,其实List是不能储存基本型别的,List中应该存储对象,这里编译器将int包装成Integer,然后添加到List中去。接着我们用List.get(0);来检索数据,并返回对象再将对象解包装成int。恩,JDK5.0给我们带来更多方便与安全。 A](/8afv
nv}8+G
//Code list 7 T$_LN\;g
O U]?]{'
public void autoBoxingUnboxing(int i) { hdlsB
7c1e4.F$<
ArrayList<Integer> L= new ArrayList<Integer>(); v=7cIyY
IZ2:V`K'i
L.add(i); A?snb#2~
kM01G:
int a = L.get(0); +| ~&^YC
gNiZ M<Q_%
System.out.println("The value of i is " + a); ~gve'
t ML>Nfh
} n. pyyZ
=N{8sHXq
2.3 限制泛型中类型参数的范围 l ++w? 9
Lid>,t &
也许你已经发现在code list 1中的TestGen<K,V>这个泛型类,其中K,V可以是任意的型别。也许你有时候呢想限定一下K和V当然范围,怎么做呢?看看如下的代码: R[4Nq:sd
V |8`e|W
//Code list 8 h1NbdODC
.[_(hNQ G%
class TestGen2<K extents String,V extends Number> qg=B- gD
*7!>[5I y
{ {uz=R(NP
h0(4iB!
private V v=null; CB1_[x-0
x-kP`S7
private K k=null; -NI #xpGu
D--EI@t
public void setV(V v){ f)t0<D0
O&aCV@,%H
this.v=v; G zRZT@N%
9o;c Z]U
} WOe!(>;
D21Fra`
public V getV(){ HzfUE&;"
DpcsV8l=
return this.v; 5UDBs2
lCra!\N8
} RTa -T 3
xBSp7.<S5
public void setK(K k){ ((AA#`r
g6mQ_TfER:
this.k=k; "DZw $ \
Ecj`w\
} )zl j,8i&R
KMp \,3n
public V getK(){ lw}ygNn4
oEMG+
return this.k; 7*hM`mwg
n&G/ylX
} bo)J>caO
=YvC>N
public static void main(String[] args) gkm-cvcP
-a&y/0(
{ 7_\8mJ#
>WMvg *
TestGen2<String,Integer> t2=new TestGen2<String,Integer>(); aZ(8DT
Hh*e`H
t2.setK(new String("String")); p';e.4w*
"l 1u jQz
t2.setV(new Integer(123)); }MXk"tUW
$]>>a$t;
System.out.println(t2.getK()); LtpRhu
rOF !
System.out.println(t2.getV()); Z%7X&{A
S-/\^T
} nxfGcq1
?w47.7ON
} i* I3*Xm
b\"Ph9(LLj
上边K的范围是<=String ,V的范围是<=Number,注意是“<=”,对于K可以是String的,V当然也可以是Number,也可以是Integer,Float,Double,Byte等。看看下图也许能直观些请看上图A是上图类中的基类,A1,A2分别是A的子类,A2有2个子类分别是A2_1,A2_2。 6.fks%$j
S)! P9:U
然后我们定义一个受限的泛型类class MyGen<E extends A2>,这个泛型的范围就是上图中兰色部分。 .nooesgFm
'7^oie$,
这个是单一的限制,你也可以对型别多重限制,如下: 7 V/]^$
'9Cs[Yz`z
class C<T extends Comparable<? super T> & Serializable> xr ^2Yn
S7QlQo/
我们来分析以下这句,T extends Comparable这个是对上限的限制,Comparable< super T>这个是下限的限制,Serializable是第2个上限。一个指定的类型参数可以具有一个或多个上限。具有多重限制的类型参数可以用于访问它的每个限制的方法和域。 mf4y-(>a8
{o^VA8 O
2.4. 多态方法 "1nqwM6|
fMd0jV3
//Code list 9 uDTPlbtJ
0r.{zg /El
class TestGen { :Z4@zlV4N
M K^T4[c
<T extends Object> public static List<T> make(T first) { rgsBqP_
1 iocrg
return new List<T>(first); {sp 0 I
VHT8bN^l
} D\LYO??
)[Sxl5*
}
查看本文来源