當(dāng)創(chuàng)建了帶泛型聲明的接口、父類之后,可以為該接口創(chuàng)建實(shí)現(xiàn)類,或從該父類來派生子類,但值得指出的是,當(dāng)使用這些接口、父類時不能再包含類型形參。
如果使用泛型類時沒有傳入實(shí)際的類型參數(shù),Java編譯器可能發(fā)出警告:使用了未經(jīng)檢查或不安全的操作——這就是泛型檢查的警告。
實(shí)戰(zhàn)——傳入實(shí)際的類型參數(shù)
public class A1 extends Apple<String> {
// 正確重寫了父類的方法,返回值
// 與父類Apple<String>的返回值完全相同
public String getInfo() {
return "子類" + super.getInfo();
}
/*
// 下面方法是錯誤的,重寫父類方法時返回值類型不一致
public Object getInfo()
{
return "子類";
}
*/
}
實(shí)戰(zhàn)——沒傳入實(shí)際的類型參數(shù)
public class A2 extends Apple {
// 重寫父類的方法
public String getInfo() {
// super.getInfo()方法返回值是Object類型,
// 所以加toString()才返回String類型
return super.getInfo().toString();
}
}
并不存在泛型類
1、點(diǎn)睛
雖然可以把ArrayList<String>類當(dāng)成ArrayList的子類,事實(shí)上ArrayList<String>類也確實(shí)是一種特殊的ArrayList類,這個ArrayList<String>對象只能添加String對象作為集合元素。但實(shí)際上,系統(tǒng)并沒有為ArrayList<String>生成新的class文件,而且也不會把ArrayList<String>當(dāng)成新類來處理。
實(shí)際上,泛型對其所有可能的類型參數(shù),都具有同樣的行為,從而可以把相同的類被當(dāng)成許多不同的類來處理。與此完全一致的是,類的靜態(tài)變量和方法也在所有的實(shí)例間共享,所以在靜態(tài)方法、靜態(tài)初始化、或者靜態(tài)變量的聲明和初始化中不允許使用類型形參。
系統(tǒng)中并不會真正生成泛型類,所以instanceof運(yùn)算符后不能使用泛型類。
2、實(shí)戰(zhàn)
public class R<T>
{
// 下面代碼錯誤,不能在靜態(tài)變量聲明中使用類型形參
// static T info;
T age;
public void foo(T msg){}
// 下面代碼錯誤,不能在靜態(tài)方法聲明中使用類型形參
// public static void bar(T msg){}
}
以上就是關(guān)于Java泛型繼承原理與用法詳解的全部內(nèi)容。