泛型

泛型

基本使用略。

擦除

没有指定泛型，其最终在一般情况下会转换成Object。这就是泛型的擦除。如：

private abstract class Father<T>{
T str;
public abstract void test();
}
private class Child1<T,T1> extends Father{
T1 str1;
@Override
public void test() {

}
}
public void test(){
Child1<String,Intent> child1 = new Child1<>();
Object str = child1.str;//str为Object类型
Intent intent = child1.str1;//str1为Intent类型，是通过泛型指定的
}

这里在extends Father时并没有指定Father的泛型，所以其内部的str类型就被转换为Object了。而在new Child1时指定了泛型String,Intent，因此str1是Intent类型的。

泛型的擦除会发生在两个地方：1，子类实现或实现时没有为父类指定泛型；2，使用者在使用时，没有指定泛型。此时会统一使用Object对待。

继承时的泛型

父类如果定义了泛型，子类在继承或实现时，必须指定全部的泛型或者都不指定。如上面的Child1，是都没指定。都指定的示例如下：

private abstract class Father<T,T1>{
T str;
T1 t1;
public abstract void test();
}
private class Child1<T,T1> extends Father<T1,T>{//父类有泛型，并且定义了。那么子类必须也指定，因为父类的泛型来自于子类
T str1;
@Override
public void test() {

}
}
public void test(){
Child1<String,Integer> child1 = new Child1<>();
//此时child1中的str为Integer类型，t1为String类型
}

在定义Child1类时，父类指定了泛型，它又来自于子类，子类的泛型在定义时指定，因此Child1必须定义泛型<T,T1>——这两个名字与父类的相同，但顺序可以不一致。
在new Child1时 ，为泛型指定了具体的类型。所以Father中的T,T1都有了具体的类型。

当然，可以在继承的时候，直接为Father指定泛型，此时Child1可以不使用泛型。也就是说：父类的泛型来自于子类——除非继承或实现时直接指定，而子类的泛型来自于使用时使用者指定。不能父类需要泛型，而子类却没有指定。

注意事项

1，使用泛型定义数组时，只能用来声明，不可以用来定义。即T[] ta；是合法的，但ta = new T[3];是错误的。这也是为什么ArrayList中使用的是Object[]数组来存储其中的元素，而不是直接使用泛型数组。如下是ArrayList#get()源码：

@SuppressWarnings("unchecked") @Override public E get(int index) {
if (index >= size) {
throwIndexOutOfBoundsException(index, size);
}
return (E) array[index];//其中array是Object[]
}

2，泛型没有多态。但可以使用通配符?达到类似多态的效果。如：

ArrayList<Father> list = new ArrayList<Child1>();//报编译错误
ArrayList<?> list = new ArrayList<Child1><child1>();//可正常使用
</child1>