作者:江南白衣?
?? Java 5的泛型語(yǔ)法已經(jīng)有太多書講了,這里不再打字貼書。GP一定有用,不然Java和C#不會(huì)約好了似的同時(shí)開(kāi)始支持GP。但大家也清楚,GP和Ruby式的動(dòng)態(tài)OO語(yǔ)言屬于不同的意識(shí)形態(tài),如果是一人一票,我想大部分的平民程序員更熱衷動(dòng)態(tài)OO語(yǔ)言的平白自然。但如果不準(zhǔn)備跳槽到支持JSR223的動(dòng)態(tài)語(yǔ)言,那還是看看GP吧。
?? 胡亂總結(jié)泛型的四點(diǎn)作用:
?? 第一是泛化,可以拿個(gè)T代表任意類型。 但GP是被C++嚴(yán)苛的靜態(tài)性逼出來(lái)的,落到Java、C#這樣的花語(yǔ)平原里----所有對(duì)象除幾個(gè)原始類型外都派生于Object,再加上Java的反射功能,Java的Collection庫(kù)沒(méi)有范型一樣過(guò)得好好的。
???第二是泛型 +?反射,原本因?yàn)镴ava的泛型拿不到T.class而覺(jué)得泛型沒(méi)用,最近才剛剛學(xué)到通過(guò)反射的API來(lái)獲取T的Class,后述。
?? 第三是收斂,就是增加了類型安全,減少了強(qiáng)制類型轉(zhuǎn)換的代碼。這點(diǎn)倒是Java Collection歷來(lái)的弱項(xiàng)。
?? 第四是可以在編譯期搞很多東西,比如MetaProgramming。但除非能完全封閉于框架內(nèi)部,框架的使用者和擴(kuò)展者都不用學(xué)習(xí)這些東西的用法,否則那就是自絕于人民的票房毒藥。C++的MetaProgramming好厲害吧,但對(duì)比一下Python拿Meta Programming生造一個(gè)Class出來(lái)的簡(jiǎn)便語(yǔ)法,就明白什么才是真正的叫好又叫座。
???所以,作為一個(gè)架構(gòu)設(shè)計(jì)師,應(yīng)該使用上述的第2,3項(xiàng)用法,在框架類里配合使用反射和泛型,使得框架的能力更強(qiáng); 同時(shí)采用收斂特性,本著對(duì)人民負(fù)責(zé)的精神,用泛型使框架更加類型安全,更少?gòu)?qiáng)制類型轉(zhuǎn)換。
???
?? 擦拭法避免了Java的流血分裂?:
??? 大家經(jīng)常罵Java GP的擦拭法實(shí)現(xiàn),但我覺(jué)得多虧于它的中庸特性---如果你用就是范型,不用就是普通Object,避免了Java陣營(yíng)又要經(jīng)歷一場(chǎng)to be or not to be的分裂。?
?? ?最大的例子莫過(guò)Java 5的Collection 框架,?比如有些同學(xué)堅(jiān)持認(rèn)為自己不會(huì)白癡到類型出錯(cuò),而且難以忍受每個(gè)定義的地方都要帶一個(gè)泛型定義List〈Book〉,不用強(qiáng)制類型轉(zhuǎn)換所省下的代碼還不夠N處定義花的(對(duì)了,java里面還沒(méi)有tyepdef.....),因此對(duì)范型十分不感冒,這時(shí)就要齊齊感謝這個(gè)搽拭法讓你依然可以對(duì)一個(gè)泛型框架保持非泛型的用法了...
?? 通過(guò)反射獲得 T.class:
???
??? 不知為何書上不怎么講這個(gè),是差沙告訴我才知道的,最經(jīng)典的應(yīng)用見(jiàn)Hibernate wiki的Generic Data Access Objects, 代碼如下:?
? 精華就是這句了:
? 泛型之后,所有BaseHibernateEntityDao的子類只要定義了泛型,就無(wú)需再重載getEnttityClass(),get()函數(shù)和find()函數(shù),銷益挺明顯的,所以SpringSide的Dao基類毫不猶豫就泛型了。
? 不過(guò)擦拭法的大棒仍在,所以子類的泛型語(yǔ)法可不能亂寫,最正確的用法只有:
???
?? Java 5的泛型語(yǔ)法已經(jīng)有太多書講了,這里不再打字貼書。GP一定有用,不然Java和C#不會(huì)約好了似的同時(shí)開(kāi)始支持GP。但大家也清楚,GP和Ruby式的動(dòng)態(tài)OO語(yǔ)言屬于不同的意識(shí)形態(tài),如果是一人一票,我想大部分的平民程序員更熱衷動(dòng)態(tài)OO語(yǔ)言的平白自然。但如果不準(zhǔn)備跳槽到支持JSR223的動(dòng)態(tài)語(yǔ)言,那還是看看GP吧。
?? 胡亂總結(jié)泛型的四點(diǎn)作用:
?? 第一是泛化,可以拿個(gè)T代表任意類型。 但GP是被C++嚴(yán)苛的靜態(tài)性逼出來(lái)的,落到Java、C#這樣的花語(yǔ)平原里----所有對(duì)象除幾個(gè)原始類型外都派生于Object,再加上Java的反射功能,Java的Collection庫(kù)沒(méi)有范型一樣過(guò)得好好的。
???第二是泛型 +?反射,原本因?yàn)镴ava的泛型拿不到T.class而覺(jué)得泛型沒(méi)用,最近才剛剛學(xué)到通過(guò)反射的API來(lái)獲取T的Class,后述。
?? 第三是收斂,就是增加了類型安全,減少了強(qiáng)制類型轉(zhuǎn)換的代碼。這點(diǎn)倒是Java Collection歷來(lái)的弱項(xiàng)。
?? 第四是可以在編譯期搞很多東西,比如MetaProgramming。但除非能完全封閉于框架內(nèi)部,框架的使用者和擴(kuò)展者都不用學(xué)習(xí)這些東西的用法,否則那就是自絕于人民的票房毒藥。C++的MetaProgramming好厲害吧,但對(duì)比一下Python拿Meta Programming生造一個(gè)Class出來(lái)的簡(jiǎn)便語(yǔ)法,就明白什么才是真正的叫好又叫座。
???所以,作為一個(gè)架構(gòu)設(shè)計(jì)師,應(yīng)該使用上述的第2,3項(xiàng)用法,在框架類里配合使用反射和泛型,使得框架的能力更強(qiáng); 同時(shí)采用收斂特性,本著對(duì)人民負(fù)責(zé)的精神,用泛型使框架更加類型安全,更少?gòu)?qiáng)制類型轉(zhuǎn)換。
???
?? 擦拭法避免了Java的流血分裂?:
??? 大家經(jīng)常罵Java GP的擦拭法實(shí)現(xiàn),但我覺(jué)得多虧于它的中庸特性---如果你用就是范型,不用就是普通Object,避免了Java陣營(yíng)又要經(jīng)歷一場(chǎng)to be or not to be的分裂。?
?? ?最大的例子莫過(guò)Java 5的Collection 框架,?比如有些同學(xué)堅(jiān)持認(rèn)為自己不會(huì)白癡到類型出錯(cuò),而且難以忍受每個(gè)定義的地方都要帶一個(gè)泛型定義List〈Book〉
?? 通過(guò)反射獲得 T.class:
???
??? 不知為何書上不怎么講這個(gè),是差沙告訴我才知道的,最經(jīng)典的應(yīng)用見(jiàn)Hibernate wiki的Generic Data Access Objects, 代碼如下:?
abstract?public?class?BaseHibernateEntityDao<T>?extends?HibernateDaoSupport?{
?private?Class<T>?entityClass;
?public?BaseHibernateEntityDao()?{
????????entityClass?=(Class<T>) ((ParameterizedType) getClass()
??????????????????????????????? .getGenericSuperclass()).getActualTypeArguments()[0];
????}
?public?T?get(Serializable?id)?{
????????T?o?=?(T)?getHibernateTemplate().get(entityClass,?id);
}
}
?private?Class<T>?entityClass;
?public?BaseHibernateEntityDao()?{
????????entityClass?=(Class<T>) ((ParameterizedType) getClass()
??????????????????????????????? .getGenericSuperclass()).getActualTypeArguments()[0];
????}
?public?T?get(Serializable?id)?{
????????T?o?=?(T)?getHibernateTemplate().get(entityClass,?id);
}
}
? 精華就是這句了:
Class<T>?entityClass?=?(Class<T>)?((ParameterizedType)?getClass().getGenericSuperclass()).getActualTypeArguments()[0];?
? 泛型之后,所有BaseHibernateEntityDao的子類只要定義了泛型,就無(wú)需再重載getEnttityClass(),get()函數(shù)和find()函數(shù),銷益挺明顯的,所以SpringSide的Dao基類毫不猶豫就泛型了。
? 不過(guò)擦拭法的大棒仍在,所以子類的泛型語(yǔ)法可不能亂寫,最正確的用法只有:
???
public?class?BookDao?extends?BaseHibernateEntityDao<Book>
?
http://www.javaspecialists.co.za/archive/newsletter.do?issue=123&locale=en_US
貼一篇用泛型的方式實(shí)現(xiàn)策略模式...
how about this?
import java.lang.reflect.ParameterizedType;
import java.lang.reflect.Type;
import junit.framework.TestCase;
class TClass<T> {
}
class GoodClass<T> extends TClass<String> {
public ParameterizedType getClassT() {
return (ParameterizedType) getClass().getGenericSuperclass();
}
}
class BadClass<T> extends TClass<T> {
public ParameterizedType getClassT() {
return (ParameterizedType) getClass().getGenericSuperclass();
}
}
public class GenericsTest extends TestCase {
private void print(Type[] targs) {
System.out.print("actual type arguments are:");
for (int j = 0; j < targs.length; j++) {
System.out.print(" instance of " + targs[j].getClass().getName() + ":");
System.out.println(" (" + targs[j] + ")");
}
}
public void testGoodClass() throws Exception {
ParameterizedType type = new GoodClass<String>().getClassT();
Type[] types = type.getActualTypeArguments();
print(types);
assertEquals(TClass.class, type.getRawType());
assertEquals(String.class, types[0]);
}
public void testBadClass() throws Exception {
ParameterizedType type = new BadClass<String>().getClassT();
Type[] types = type.getActualTypeArguments();
print(types);
assertEquals(TClass.class, type.getRawType());
assertEquals(String.class, types[0]);
}
}
剛才試驗(yàn)了一下Generic無(wú)法獲取自己的Generic Type類型,后來(lái)仔細(xì)看了下擦拭法的本意。實(shí)際上BadClass<String>()實(shí)例化以后Class里面就不包括T的信息了,對(duì)于Class而言T已經(jīng)被擦拭為Object,而真正的T參數(shù)被轉(zhuǎn)到使用T的方法(或者變量聲明或者其它使用T的地方)里面(如果沒(méi)有那就沒(méi)有存根),所以無(wú)法反射到T的具體類別,也就無(wú)法得到T.class。而getGenericSuperclass()是Generic繼承的特例,對(duì)于這種情況子類會(huì)保存父類的Generic參數(shù)類型,返回一個(gè)ParameterizedType,這時(shí)可以獲取到父類的T.class了,這也正是子類確定應(yīng)該繼承什么T的方法。
之前要重載getEntityClass函數(shù),而且find單體的函數(shù)如get(id) 也要重載做類型轉(zhuǎn)換.
http://www-128.ibm.com/developerworks/java/library/j-genericdao.html
里面那介紹的方式雖然真正實(shí)用性不高,但是很好的用Interface+AOP實(shí)現(xiàn)Java版的仿Ruby的mixin的思路演示
java綜合網(wǎng)
不錯(cuò),不錯(cuò)~~~
public class Convertor<From, To>
{
public To convert(From from)
{
To to;
// 初始化to的值
return to;
}
}
Convertor<Type1, Type2> cntr = new Convertor<Type1, Type2>();
Type2 t2 = cntr.convert(t1);
還是無(wú)法用博主說(shuō)的方式來(lái)實(shí)現(xiàn)。
public class Foo<C,T>
{
...
public <T>T cover(C c)
{
...
}
Foo<Type1, Type2> foo = new Foo<Type1, Type2>();
Type2 t2 = cntr.convert(t1);
...
}