(6)Java笔记6之泛型

1、泛型：就是允许在定义类、接口时指定类型形参，这个类型形参将在声明变量、创建对象时确定（即传入实际的类型参数，也可以成为类型实参）。


2、当声明了带泛型的接口、父类之后，可以为该接口创建实现类，或者从该父类派生子类，但是，当使用这些接口、父类的时候不能再包括类型参数，
如：
//定义类A继承Apple类，Apple类不能跟类型形参，下面出异常
public class A extends Apple<T>{}//异常
//但是下面是正确的
public class A extends Apple<String>{}
public class A extends Apple{}


3、并不存在泛型类：事实上ArrayList<String>确实是一种特殊的ArrayList类，但实际上系统并没有为ArrayList生成新的class文件，而且也不会把ArrayList当成新类来处理。
不管泛型的实际类型是什么，它们在运行时总有同样的类（class）。
与此完全一致的是，类的静态变量和方法也在所有实例间共享，所以在静态方法、静态初始化或者静态变量的声明和初始化中不允许使用类型参数，如下：
//以下程序错误：
public class R<T>{
//下面代码错误，不能在静态属性声明中使用类型形参
static T info(T msg){}
//下面代码错误，不能在哦静态方法声明中使用类型形参
public static void bar(T msg){}


}


4、由于系统中并不会真正生成泛型类，所以instanceof运算符后不能使用泛型类，例如下面代码是错误的：
Collection cs=newArrayList<String>();
//下面代码编译错误时引起错误：instanceof运算符后不能使用泛型类
if(cs instanceof List<String>){...}


5、为了表示各种泛型List的父类，我们就需要是使用泛型中的类型通配符：类型通配符是一个问号（？）被称为通配符，它的元素类型可以匹配任何类型。


6、数组和泛型不同，假设Foo是Bar的一个子类型（子类型或者子接口），那么Foo[]依然是Bar[]的子类型；但是G<Foo>不是G<Bar>的子类型。


7、如果程序要为形参设定多个上限（至多有一个父类上限，可以有多个接口上限），表明该类型形参必须是其父类的子类（包括父类本身也行），并且实现多个接口，但是为类型形参指定多个上限时，所有接口上限必须位于类上限之后，即如果需要为类型形参指定类上限，类上限必须位于第一位：
如：
//表明T类型必须是Number类或其子类，并必须实现java.io.Serializable接口
public class Apple<T extends Number&java.io.Serializable>{
...
}


8、在定义类、接口时没有使用类型形参，但定义方法时想自己定义类型形参，这也是可以的，而且方法声明的形参只能在该方法中使用，而接口、类声明中定义的类型形参则可以在整个接口、类中使用。


9、泛型方法中的类型形参声明放在方法修饰符和方法返回值类型之间。


10、Java不支持创建泛型数组。