【软件构造】关于泛型

关于泛型的好处：提高 Java 程序的类型安全；消除源代码中的许多强制类型转换。
实例化泛型类的时候指明泛型的具体类型
定义如下（lab2 p1）

public interface Graph<L> {
    
    public static <L> Graph<L> empty() {
    	Graph<L> graph = new ConcreteEdgesGraph<>();
    	return graph; 
    }
    
    public boolean add(L vertex);
    
    public int set(L source, L target, int weight);
   
    public boolean remove(L vertex);
    
}

泛型的类型参数只能是类类型（包括自定义类），不能是简单类型。
同一种泛型可以对应多个版本（因为参数类型是不确定的），不同版本的泛型类实例是不兼容的。
泛型的类型参数可以有多个。
泛型的参数类型可以使用extends语句，例如<T extends superclass>。习惯上成为“有界类型”。
泛型的参数类型还可以是通配符类型。例如Class<?> classType = Class.forName(Java.lang.String);
泛型在编译时会有类型擦除现象。
泛型类可以定义多个类型变量。
java禁止List中具有泛型返回类型的方法，如get()