软件构造之泛型

        泛型，这个Java语言的重要特性，在写实验的过程中也是不断地使用。尤其是实验二和实验三，不仅使用了Java自带的泛型类型，甚至还自己编写了泛型。那么什么是泛型呢？

        泛型，即“参数化类型”。一提到参数，最熟悉的就是定义方法时有形参，然后调用此方法时传递实参。那么参数化类型怎么理解呢？顾名思义，就是将类型由原来的具体的类型参数化，类似于方法中的变量参数，此时类型也定义成参数形式（可以称之为类型形参），然后在使用/调用时传入具体的类型（类型实参）。比如在List<String>中，String是类型实参，也就是说，相应的List接口中肯定含有类型形参。

        当然在Java中，除了List，还有好多其它的泛型定义。泛型，只在编译阶段有效。在编译过程中，正确检验泛型结果后，会将泛型的相关信息擦除，并且在对象进入和离开方法的边界处添加类型检查和类型转换的方法。也就是说，泛型信息不会进入到运行时阶段。在使用泛型类时，虽然传入了不同的泛型实参，但并没有真正意义上生成不同的类型，传入不同泛型实参的泛型类在内存上只有一个，即还是原来的最基本的类型，当然，在逻辑上我们可以理解成多个不同的泛型类型。

        前面也提到过了，泛型是可以自己定义的，接口、类和方法都可以使用泛型去定义。在实验二和实验三中也自己定义了泛型类，并且在使用自定义的泛型类之后，发现泛型确实特别好用。由于在实验中是第一次接触泛型，也是第一次编写自定义的泛型类，所以我在网上找了一些方法才会编写泛型类，接下来我就介绍一个编写泛型类的简单的方法：

        首先，按照某种类型，例如String，来编写类；然后，在这个类中标记所有的特定类型，这里是String；最后，把特定类型String替换为T，并申明<T>。比如：

public class Pair<T>

         若是熟练的人可直接从T开始编写。特别注意，除了要将类中的特定类型替换为T之外，不要忘记还要在类名处申明<T>。

   另外，泛型类型<T>不能用于静态方法，比如这样就不行：

public static Pair<T> create(T first, T last)

        这样会导致编译错误，我们无法在静态方法create()的方法参数和返回类型上使用泛型类型T 。解决方法可以在static修饰符后面加一个<T>，编译就能通过。但是这个<T>和Pair<T>类型的<T>已经没有任何关系了。也就是说，对于静态方法，我们可以使用另一个类型，例如<K>来表示。