美文网首页
Java系列8 泛型

Java系列8 泛型

作者: 莫小归 | 来源:发表于2019-03-18 19:10 被阅读0次

    参考:
    Java泛型详解:https://www.jianshu.com/p/c8ee2cfa5b33
    https://blog.csdn.net/s10461/article/details/53941091
    反射与泛型:https://www.jianshu.com/p/b2430a9a8be7

    一.概述

    1.语法糖(Syntactic Sugar)
    • 在计算机语言中添加某种语法,这种语法对语言的功能并没有影响,但更方便程序员使用
    • Java中常用的语法糖主要有泛型、变长参数、条件编译、自动拆装箱、内部类
    • 虚拟机并不支持语法糖,会在编译阶段解语法糖,将语法糖还原回基础的语法结构
    • 泛型作为一种语法糖,可以在编译阶段完成一些类型转换工作,避免在运行时强制转换而出现ClassCastException(类型转换异常)
    2.泛型的引入
    • JDK1.5之前没有泛型,通过引用Object实现参数的“任意化”
    • 任意化带来的缺点是需要显式的强制类型转换,这种转换要求开发者预知实际参数类型
    • 如果开发者进行错误的类型转换,编译器可能不会提示,但在运行时出现异常
    • JDK1.5通过引入泛型在编译时检查类型安全,并且自动和隐式进行强制类型转换,提高代码重用率
    3.泛型出现后代码的变化
    • 泛型出现前
      1)List放置Object类型,任何对象类型都可以放置或取出
      2)但对象放入集合时,集合不会记忆该对象类型,再次从集合取出该对象时,该对象类型为Object
      3)这导致使用从集合取出的对象时需要强制类型转换,可能出现ClassCastException
    public static void main(String[] args)
    {
        List list = new ArrayList();
        list.add("123");
        list.add("456");
     
        System.out.println((String)list.get(0));
    }
    
    • 泛型出现后
      通过菱形符限制对象类型,避免了对象类型丢失和强制类型转换
    public static void main(String[] args)
    {
        List<String> list = new ArrayList<String>();
        list.add("123");
        list.add("456");
     
        System.out.println(list.get(0));
    }
    
    4.泛型的特点
    • 泛型的本质是参数化数据类型,即将所操作的数据类型被指定为一个参数
    • 这种参数类型可以用在类、接口和方法的创建中,分别被称为泛型类、泛型接口和泛型方法
    • 大型应用通过使用泛型可以显著提高代码重用率,降低程序的复杂度,为较大优化带来可能
    • 使用泛型可以在编译时检查类型安全,并且自动和隐式进行强制类型转换
    • 泛型不具备协变性,协变性将破坏泛型提供的类型安全
    • 泛型只在编译阶段有效,编译后程序会擦除泛型的相关信息,成功编译后的class文件是不包含任何泛型信息的
      考虑下述代码,因为编译后进行类型擦除,所以返回结果为true
    Class c1=new ArrayList<Integer>().getClass();
    Class c2=new ArrayList<String>().getClass();
    System.out.println(c1==c2);      //true
    

    二.泛型的应用

    1.泛型类
    • 在类定义中使用泛型的类
    • 通过泛型可以完成对一组类的操作对外开放相同的接口,应用场景如容器类(List、Set、Map)
    • 泛型类示例
    //此处T可以随便写为任意标识,常见的如T、E、K、V等形式的参数常用于表示泛型
    //在实例化泛型类时,必须指定T的具体类型
    public class Generic<T>{ 
        //key这个成员变量的类型为T,T的类型由外部指定  
        private T key;
    
        public Generic(T key) { //泛型构造方法形参key的类型也为T,T的类型由外部指定
            this.key = key;
        }
    
        public T getKey(){ //泛型方法getKey的返回值类型为T,T的类型由外部指定
            return key;
        }
    }
    

    调用泛型类注意,泛型类的类型参数不能是简单类型

    //传入的实参类型需与泛型的类型参数类型相同,即为Integer.
    Generic<Integer> genericInteger = new Generic<>(123456);
    //传入的实参类型需与泛型的类型参数类型相同,即为String.
    Generic<String> genericString = new Generic<>("key_vlaue");
    
    Log.d("泛型测试","key is " + genericInteger.getKey());
    Log.d("泛型测试","key is " + genericString.getKey());
    
    2.泛型接口
    • 在接口定义中使用泛型的接口
    • 泛型接口示例
    public interface List<E> extends Collection<E> {
       //在该接口里,E可以作为类型使用
       public E get(int index) {}
       public void add(E e) {} 
    }
    
    //定义类时指定了一个类型形参,该形参名为E
    public class ArrayList<E> extends AbstractList<E> implements List<E>{
       //在该类里,E可以作为类型使用
       public void set(E e) {
       ...
       }
    }
    
    3.泛型方法
    • 在方法声明时使用一个或多个类型形参
    • 泛型方法定义格式
    修饰符<T, S> 返回值类型 方法名(形参列表){
        方法体
     }
    
    • 泛型方法示例
    public class GenericMethodDemo {
    
        public <T> void f(T x)  {
            System.out.println(x.getClass().getName());
        }
    
        public static void main(String[] args) {
            GenericMethodDemo genericMethodDemo = new GenericMethodDemo();
            genericMethodDemo.f("String");
            genericMethodDemo.f('A');
            genericMethodDemo.f(123);
        }
    }
    

    三.类型通配符

    1.通配符“?"
    • 表示类型实参可以是任何一种类型
    • 注意,与参数“T”不同,“T”表示未知类型,“?”表示任何一种类型
    • 使用场景
      待补充
    2.带限通配符
    • 上限通配符“? extends Shape”
      "? extends Shape"代表的类型必须是Shape类本身或其子类
    表示集合中的所有元素都是Shape类型或者其子类
    List< ? extends Shape >
    
    • 下限通配符“? super Circle”
      “? super Circle”代表的类型必须是Circle类本身或其父类
    它表示集合中的所有元素都是Circle类型或者其父类
    List< ? super Circle >
    

    四.泛型和反射

    1.泛型和Class类
    • Class类允许使用泛型限制Class类。例如String.class类型实际上是Class<String>,如果Class对应的类型暂时未知,则使用Class<?>
    • 在反射中使用泛型,可以避免对反射生成的对象进行强制类型转换
    • 不使用泛型的工厂类如下:
    public class ObjectFactory {
        public static Object getInstance(String name){
            try {
                //创建指定类对应的Class对象
                Class cls = Class.forName(name);
                //返回使用该Class对象创建的实例
                return cls.newInstance();
            } catch (ClassNotFoundException | InstantiationException | IllegalAccessException e) {
                e.printStackTrace();
                return null;
            }
        }
    }
    

    生成实例后需要进行强制类型转换,若转换类型与实际类型不一致(下面第二行代码),编译时不会警告,但运行时将抛出ClassCastException

    //强制类型转换成功
    Date date = (Date) ObjectFactory.getInstance("java.util.Date");
    //类型不符,运行时抛出ClassCastException
    String string = (String) ObjectFactory.getInstance("java.util.Date");
    
    • 使用泛型在getInstance()方法中传入Class<T>参数,限制返回对象类型,避免强制转换
    public class ObjectFactory {
        public static <T> T getInstance(Class<T> cls) {
            try {
                // 返回使用该Class对象创建的实例
                return cls.newInstance();
            } catch (InstantiationException | IllegalAccessException e) {
                e.printStackTrace();
                return null;
            }
        }
    }
    
    //通过String.class确定返回对象为String,避免强制类型转换
    String instance = ObjectFactory.getInstance(String.class);
    
    2.通过反射获取泛型信息

    参考:https://www.jianshu.com/p/b2430a9a8be7

    石上水潺潺,流入青溪去

    相关文章

      网友评论

          本文标题:Java系列8 泛型

          本文链接:https://www.haomeiwen.com/subject/zumbmqtx.html