Java泛型

Java泛型

1. 对于常见的泛型模式，推荐的名称是：
   
   • K ——键，比如映射的键。
   • V ——值，比如 List 和 Set 的内容，或者 Map 中的值。
   • E ——异常类。
   • T ——泛型。
     泛型不是协变的

什么是java泛型？

• 泛型是Java SE 1.5的新特性，泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口、泛型方法。

为什么需要泛型？

• Java语言引入泛型的好处是安全简单。可以将运行时错误提前到编译时错误。
• 在Java SE 1.5之前，没有泛型的情况的下，通过对类型Object的引用来实现参数的“任意化”，“任意化”带来的缺点是要做显式的强制类型转换，而这种转换是要求开发者对实际参数类型可以预知的情况下进行的。对于强制类型转换错误的情况，编译器可能不提示错误，在运行的时候才出现异常，这是一个安全隐患。泛型的好处是在编译的时候检查类型安全，并且所有的强制转换都是自动和隐式的，提高代码的重用率。

什么是元组类库，怎么用？

1. 为什么使用元组tuple？
   元组和列表list一样，都可能用于数据存储，包含多个数据；但是和列表不同的是：列表只能存储相同的数据类型，而元组不一样，它可以存储不同的数据类型，比如同时存储int、string、list等，并且可以根据需求无限扩展。

2. 代码实例

   class TwoTuple<A,B>{  
       public final A first;  
       public final B second;  
   
       public TwoTuple(A a,B b){ //这里是括号，不是中括号  
           first = a;  
           second = b;  
       }  
       public String toString(){  
           return "(" + first + "," + second + ")";  
       }  
   }  
   class ThreeTuple<A,B,C> extends TwoTuple<A,B>{  
       private final C three;  
       public ThreeTuple(A a,B b,C c){  
           super(a,b);  
           three = c;  
       }  
       public String toString(){  
           return "(" + first + "," + second + "," + three + ")";  
       }  
   }  
   

怎么自定义泛型接口、泛型类？

1. java泛型接口、泛型类简介
   泛型类中的类型参数几乎可以用于任何可以使用接口名、类名的地方。当声明或者实例化一个泛型的对象时，必须指定类型参数的值。

   public interface Map

怎么自定义泛型方法

1. 泛型方法
   
   • 泛型方法使得该方法能独立于类而产生变化。以下是一个基本的指导原则：无论何时，只要你能做到，你就应该尽量使用泛型方法。也就是说，如果使用泛型方法可以取代将整个类泛型化，那么就应该只使用泛型方法，因为它可以使事情更清楚明白。另外，对于一个static的方法而言，无法访问泛型类的类型参数。所以，如果static方法需要使用泛型能力，就必须使其成为泛型方法。
   • 要定义泛型方法，只需将泛型参数列表置于返回值之前，就像下面这样：

    public class GenericMethods {  
    //当方法操作的引用数据类型不确定的时候，可以将泛型定义在方法上  
        public <T> void f(T x){  
            System.out.println(x.getClass().getName());  
        }  
    }

1. 可变参数与泛型方法
   泛型方法与可变参数列表能很好地共存：

    public static <T> List<T> makeList(T... args){  
        List<T> result = new ArrayList<T>();  
        for(T item:args)  
            result.add(item);  
        return result;         
    }  

1. 静态方法上的泛型：静态方法无法访问类上定义的泛型。如果静态方法操作的引用数据类型不确定的时候，必须要将泛型定义在方法上。

    public static<Q> void function(Q t) {
        System.out.println("function:"+t);
    }

怎么构建复杂模型如list元组？

泛型的一个重要好处是能够简单而安全地创建复杂的模型。如List元组。

    class ThreeTuple2<A,B,C>{  
        public final A first;  
        public final B second;  
        private final C three;  
        public ThreeTuple2(A a,B b,C c){  
            first = a;  
            second = b;  
            three = c;  
        }  
        public String toString(){  
            return "(" + first + "," + second + "," + three + ")";  
        }  
    }  

泛型的擦除

1. 代码实例：

    public class ErasedTypeEquivalence {  
        public static void main(String[] args) {  
            Class c1 = new ArrayList<String>().getClass();  
            Class c2 = new ArrayList<Integer>().getClass();  
            System.out.println(c1 == c2);  
        }  
    } 
        /* 
         * Output: true 
         */
>在泛型内部，无法获得任何有关泛型参数类型的信息。
ArrayList<String>和ArrayList<Integer>是相同的类型。

1. 擦除的补偿
   要想在表达式中使用类型，需要显式地传递类型的class对象。

可以创建泛型数组吗？相应的应用场景怎么处理？

正如你在下面示例Erased.java中所见，不能创建泛型数组。一般的解决方案是任何想要创建泛型数组的地方都使用ArrayList:

泛型通配符‘？’怎么用？

可以解决当具体类型不确定的时候，这个通配符就是 ? ；当操作类型时，不需要使用类型的具体功能时，只使用Object类中的功能。那么可以用 ? 通配符来表未知类型。

例如Class

泛型限定（上限和下限）的表达式是怎样的？

• 
  
• 上限：？extends E：可以接收E类型或者E的子类型对象。
• 下限：？super E：可以接收E类型或者E的父类型对象。
  

• 上限什么时候用：往集合中添加元素时，既可以添加E类型对象，又可以添加E的子类型对象。为什么？因为取的时候，E类型既可以接收E类对象，又可以接收E的子类型对象。
  
• 下限什么时候用：当从集合中获取元素进行操作的时候，可以用当前元素的类型接收，也可以用当前元素的父类型接收。

可以将基本类型作为泛型参数吗？

泛型的类型参数只能是类类型（包括自定义类），不能是简单类型（基本数据类型）。

什么时候用泛型？

当接口、类及方法中的操作的引用数据类型不确定的时候，以前用的Object来进行扩展的，现在可以用泛型来表示。这样可以避免强转的麻烦，而且将运行问题转移到的编译时期。
泛型的细节：
- 泛型到底代表什么类型取决于调用者传入的类型，如果没传，默认是Object类型；
- 使用带泛型的类创建对象时，等式两边指定的泛型必须一致；
原因：编译器检查对象调用方法时只看变量，然而程序运行期间调用方法时就要考虑对象具体类型了；
- 等式两边可以在任意一边使用泛型，在另一边不使用(考虑向后兼容)；