1.泛型介绍在日常编程过程中，泛型是这三个特性中使用频率最高的。“generic”一词中的“generic”一词可以理解为泛化的意思，即从特殊的、个别的扩展到一般的。Oracle对泛型的官方定义是：泛型类型是由类型参数化的泛型类或接口。简而言之，泛型通过类型参数化解决了程序的一般设计和实现中的几个问题。Java泛型是1.5版本之后引入的特性。它主要用来解决三类问题：1.编译器类型检查。比如上图中的例子1，设计了一个简单的Box类，里面定义了一个私有对象。属性，同时定义了get()和set()两种行为，其中set()用于保存Box中的对象，set()用于获取Box中的object对象。从抽象的角度看，Box类抽象了一个在盒子中存储和访问object对象的行为，访问方法接受或返回Object类型的对象。在这种抽象的基础上，可以存储除原始类型之外的任何类型的对象，Object类型的声明体现了面向对象的继承概念。示例2实现了Box在不同业务场景下的使用。它列出了两种不同的业务场景。场景一需要在Box中存储String类型的对象，场景二需要在Box中存储Integer类型的对象。这种情况，在实际开发中，很有可能会误传入一个String对象，导致运行时错误，而这恰恰是因为Box只能传入任何类型的对象，这一点在集合类操作。比如例3的情况：首先声明了一个List类型的boxes对象，里面存放了两个对象，一个是String类型的“aaaaa”，一个是Integer类型的11111。在业务场景中，用户认为boxes中存储的所有对象都是String类型，所以在取出第二个对象进行类型转换时出现错误。这种情况常常使用户感到困惑。编译时没有问题，但是运行时出现异常。也就是说，在这个面向对象的抽象过程中，无法通过编译来验证类型是如何使用的。那么泛型是如何解决这类问题的呢？Oracle意识到了上述问题。引入泛型后，它通过将代码中的“publicclassBox”改为“publicclassBox”创建了一个泛型类型声明，而这个声明的背后本质上是引入了一个可以在类中任意位置使用的类型变量T班级。如例4所示：可以看出，除了新增的泛型类型声明外，将原代码中出现的所有Object都替换为类型变量T。乍一看，类型变量这个词好像是一个有点晦涩，但其实仔细想想，你会发现并不难理解。上面的例子4可以理解为“使用泛型时，可以通过类型参数T给Box类型本身”，结合Oracle官方给出的定义“泛型的本质是类型参数化”会有更深刻的理解。在示例5中，当声明和初始化对象时，指定了类型参数T。在第一种情况下，T是String；在第二种情况下，T是整数。这样，在场景2中，当String类型的数据“aaaaa”传给IntegerBox时，程序就会报错。例6中泛型集合对象的操作也类似。在声明了一个Listboxes对象后，如果将Integer对象11111传入boxes，程序会报错。可以看到，通过使用泛型，解决了之前多服务场景下的问题，因为现在类型不匹配的问题可以在编译阶段解决，而不是在运行时暴露问题，只要合理的是使用泛型可以在很大程度上避免这种风险。对于泛型的使用，这个参数化类型的作用看似是一个声明，其实是背后的契约。2.强制类型转换回过头来看示例3，List类型的boxes对象中存储了两个对象，分别是String类型的“aaaaa”和Integer类型的11111。有一个问题。在boxes的声明中，用户并不知道boxes列表中应该存储什么类型的对象，编译器也不知道集合中存储的数据类型。这只能通过实际的业务场景来确定。盒子的类型是什么？使用强制将Object转成String的方法，达到业务需要的效果。使用泛型后，这种场景下强制类型转换的问题就解决了。如例7，通过泛型声明，指定集合中元素的类型参数为String类型，这样编译器就可以直接知道元素的类型，而不需要依赖实际的业务逻辑进行转换，从而解决了这种类型的胁迫问题。3.可读性和灵活性除了进行编译器类型检查和避免类型强制转换，泛型还可以有效提高代码的可读性。比如3，如果不使用泛型，一个不了解业务场景的人在对集合进行操作的时候，是无法知道列表中存放的是什么类型的对象。如果使用泛型，可以通过其类型参数来判断，勾勒出当前的业务场景，也增加了代码的可读性，同时在抽象继承的基础上大胆发展。泛型使用的灵活性体现在很多方面，因为它本质上是对继承使用的增强。因为泛型是专门工作的，所以编译器在编译源代码的时候，首先要检查泛型的类型参数，检查出类型不匹配等问题，然后进行类型擦除，同时插入强制转换指令，从而实现泛型.除了上述基本用法外，泛型还有几个特殊的高级用法：通配符的设计中有一些场景，比如使用泛型后，先声明一个Animal类，然后再声明一个类继承自Animal类的Cat类，很明显Cat类是Animal类的子类，但是List并不是List的子类，往往需要在类中表达这样的逻辑关系程序。为了解决这种类似的场景，在泛型参数类型的基础上增加了通配符的使用。具体有以下三种用法：,,。其中，前两者称为有限通配符，称为非限定通配符。1.上界通配符上界通配符顾名思义，表示类型的上界（包括自身），所以通配符参数化类型可能是T或者T的子类。正因为无法确定具体是什么类型，所以add方法是有限制的（null可以添加，因为null表示任何类型），但它可以从列表中获取元素并将它们分配给父类型。与上面的第一个示例一样，第三个add()操作将受到限制，因为List和List是List。2.下界通配符下界通配符表示参数化类型是T的超类型（包括它自己），一层一层向上到Object，编译器没有办法判断get()返回的对象是什么类型，所以get()方法受限。但是，可以使用add()方法。add()方法可以添加T类型和T类型的子类型。比如第二个例子，先添加一个Cat类型对象，然后添加两个Cat子类型对象。这种方法是可行的，但是如果你添加一个Animal类型的对象，显然会颠倒继承关系，这是不可行的。3.无界通配符了解了上界通配符和下界通配符之后，其实自然而然就理解了无界通配符。无限通配符用,?表示任何类型，只有null可以表示任何类型（Object本身也是一种类型，但是不能表示任何类型，所以List
