Java学习笔记：泛型

这篇文章是对自己学习的一个总结，学习资料是疯狂Java讲义第三版，李刚编，电子工业出版社出版。

• 这片文章对泛型的细节进行了进一步的探讨，没写基础。

在Java7以前，定义有泛型的接口时比较繁琐。等号的左右边都需要加上接口可接受的类型，比如下面的例子

List strList = new ArrayList();
Map = new HashMap();

Java7以后，可以省略等号右边的一部分内容，比如下面的例子

List strList = new ArrayList<>();
Map = new HashMap<>();

以上是最简单的泛型的定义，下面的内容会涉及到定义接口，函数，类的泛型。

---

定义泛型接口、类

Java5之后定义Map的代码是这样的

public interface Map{
    Set keySet();
    V put(K key, V value);
    ...
}

接口的泛型被简写成K和V，当然也可以使用其它的变量名来代替K和V。

自定义接口和类时也可以使用这样的形式，在接口名或类名后加上尖括号，尖括号里就是泛型的名字比如下面的代码

public interface A{
    aa function1();
    int function2(bb c);
}
public class B{
    void B(){
        //do something
    }
    aa function1(){...};
    int function2(bb c){...};
}
}

值得注意的是，定义类使用泛型时，定义构造函数时，函数名不要加上尖括号，就正常的写法就行了。

如果泛型参数有多个，并且我们要表现出参数之间有继承关系，比如有两个泛型类型，我们要表现出S是T的子类，似乎不能表现出来。

看了文章的后面，可能有人会觉得可以这样写。

class A{
    void test(S a, T b) {
		System.out.println(a);
		System.out.println(b);
	}
}

这种写法好像没问题，也不会报错，但是实例化这个对象后，调用方法test，即使参数a的类型不是b的父类，系统也不会报错，这个代码能运行，输出也是对的。这就意味着，上面那样定义类是有问题的，因为我们想要表现参数的继承关系，结果调用时即使参数没有表现出继承关系系统也不会报错，这就有问题。

A a = new A();
int b = 3;
String c = "dd";
a.test(b, c);

 

想要表现出参数之间的继承关系似乎只能是参数类型是具有泛型接口的类才可以表现。

但是下面这样的写法对于泛型集合是有效的，比如

protected static  S test(Collection dest, Collection src){
		return last;
	}
	public static void main(String[] args){
		List dest = new ArrayList<>();
		List src = new ArrayList<>();
		src.add(3.2);
		src.add(2.3);
		Double result = copy(dest, src);    //报错，参数类型不符合定义
		System.out.println(result);
	}

 

---

从泛型类派生子类

当一个父类定义了泛型接口，一个子类想要继承这个父类时，要有特定的写法。

比如父类时Apple，子类是A。父类只定义了一个泛型参数，代码如下所示。

public class Apple{...}

子类继承父类时要么不写泛型接口，要么将泛型形参改成具体的形参。下面两种写法都是合法的。

public class A extends Apple{...}
public class A extends Apple{...}

最好是使用第二种方法，明确指出泛型的具体类型。不推荐使用第一种方法，会出现位置的错误。

 

---

类型通配符：方法定义中，参数使用泛型

在声明定定义一个方法时，如果参数是一个泛型，会有很多有意思的情况。比如下面代码定义一个方法

public void test(List c) {
	System.out.println("Something");
}

参数c在方法中没有用到，这个不用管。

上面的方法没什么语法问题，但是参数类型List是一个泛型声明的接口，如果我们没有指定类型，那代码可能会有泛型警告。按照之前的习惯，我们加上特定类型的泛型。

public void test(List