泛型是 Java 的一个高级特性。在 Mybatis、Hibernate 这种持久化框架,泛型更是无处不在。

然而,泛型毕竟是高级特性,藏在框架的底层代码里面。我们平时都是写业务代码,可能从来没见过泛型,更别提怎么用了。

既然如此,我们就一步步学习泛型吧。

泛型是什么

泛型是一种特殊的类型。你不用一开始就指明参数的具体类型,而是先定义一个类型变量,在使用的时候再确定参数的具体类型。

这好像还是很难理解。没关系,我们先来看看,在没有泛型情况下,我们是怎么做的。

比如,在电商系统中,用户有两种类型,分别是普通用户、商户用户。当用户点击获取信息详情时,系统要先把一些敏感信息设置为空,像是 password 之类字段,然后才返回给用户。

你能写一个通用方法,把这些敏感字段设置为空吗?

你可能想到了,在 Java 中,所有的类都继承了Object。于是你写出了第一个版本。

public class ApplicationV1 {


    // 把敏感字段设置为空
    public static Object removeField(Object obj) throws Exception {
        // 需要过滤的敏感字段
        Set<String> fieldSet = new HashSet<String>();
        fieldSet.add("password");

        // 获取所有字段:然后获取这个类所有字段
        Field[] fields = obj.getClass().getDeclaredFields();

        // 敏感字段设置为空
        for (Field field : fields) {
            if (fieldSet.contains(field.getName())) {
                // 开放字段操作权限
                field.setAccessible(true);
                // 设置空
                field.set(obj, null);
            }
        }

        // 返回对象
        return obj;
    }

}

在这个方法中,你把Object作为传入参数,然后用反射操作字段,把 password 设置为空。代码一气呵成,于是你又写出了下面的测试代码。

public class ApplicationV1 {

    // ...省略部分代码
    
    public static void main(String[] args) throws Exception {
        // 初始化
        ShopUser shopUser = new ShopUser(0L, "shopUser", "123456");
        ClientUser clientUser = new ClientUser(0L, "clientUser", "123456");

        // 输出原始信息
        System.out.println("过滤前:");
        System.out.println("          " + shopUser);
        System.out.println("          " + clientUser);

        // 执行过滤
        shopUser = (ShopUser) removeField(shopUser);
        clientUser = (ClientUser) removeField(clientUser);

        // 输出过滤后信息
        System.out.println("过滤后:");
        System.out.println("          " + shopUser);
        System.out.println("          " + clientUser);
    }
}

运行结果
过滤前:
          ShopUser{id=0, username='shopUser', password='123456'}
          ClientUser{id=0, username='clientUser', password='123456'}
过滤后:
          ShopUser{id=null, username='shopUser', password='null'}
          ClientUser{id=null, username='clientUser', password='null'}

运行结果看起来没问题,但很遗憾,这个方法不能用。最显而易见的问题是,简洁性不够。这个方法要强制转换对象,你看看这两行测试代码:

    // 执行过滤
    shopUser = (ShopUser) removeField(shopUser);
    clientUser = (ClientUser) removeField(clientUser);

明明是同一个对象,你过滤掉敏感字段后,自己还得再转换一次对象。你想想看,这好歹是一个通用方法,要用在很多地方,当然是越简单越好。

你又想到了,Java 有方法重载机制,你写出了第二个版本。

public class ApplicationV2 {
    /********************** 业务方法 ************************/
    public static ShopUser removeField(ShopUser user) throws Exception {
        // 强转,并返回对象
        return (ShopUser) remove(user);
    }
    public static ClientUser removeField(ClientUser user) throws Exception {
        // 强转,并返回对象
        return (ClientUser) remove(user);
    }

    /********************** 核心方法 ************************/
    // 把敏感字段设置为空
    public static Object remove(Object obj) throws Exception {
        // 需要过滤的敏感字段
        Set<String> fieldSet = new HashSet<String>();
        fieldSet.add("password");

        // 获取所有字段:然后获取这个类所有字段
        Field[] fields = obj.getClass().getDeclaredFields();

        // 敏感字段设置为空
        for (Field field : fields) {
            if (fieldSet.contains(field.getName())) {
                // 开放字段操作权限
                field.setAccessible(true);
                // 设置空
                field.set(obj, null);
            }
        }

        // 返回对象
        return obj;
    }
}

这样一来,问题好像又解决了。但新问题来了,重复方法特别多,而且如果再加一个供应商用户,我还得再写一个方法吗?这可是通用方法,动不动就改源码,也不是办法呀。

在没有泛型的情况下,重复代码没法解决,你总得做些没意义的操作。要不强转对象,要不就多写几个方法。

然而,Java 的 1.5 版本引入了泛型机制,代码可以变得更加简单。利用泛型,你写出了第三个版本。

public class ApplicationV3 {
    // 把敏感字段设置为空
    public static <T> T removeField(T obj) throws Exception {
        // 需要过滤的敏感字段
        Set<String> fieldSet = new HashSet<String>();
        fieldSet.add("password");

        // 获取所有字段:然后获取这个类所有字段
        Field[] fields = obj.getClass().getDeclaredFields();

        // 敏感字段设置为空
        for (Field field : fields) {
            if (fieldSet.contains(field.getName())) {
                // 开放字段操作权限
                field.setAccessible(true);
                // 设置空
                field.set(obj, null);
            }
        }

        // 返回对象
        return obj;
    }
}

在第三个版本中,你使用了泛型,调用方法时不用强转对象了,你也不用在源码写这么多重复方法,代码变得更加简单了。

你再仔细看完上面的代码,可以发现,泛型的使用步骤:定义类型变量<T>、使用类型变量T obj、确定类型变量 removeField(new ShopUser(0L, "shopUser", "123456"))这点非常重要,这里先按下不表。

这就是泛型,你不用把参数的类型写死在代码,而是在使用的时候,再确定具体的类型。使用了泛型,你的代码可以变得更简单、安全。

当然,泛型很多的用法,分别是:泛型类及接口、泛型方法、通配符。接下来,我们就一个个解锁吧~

泛型类

当泛型用在类和接口时,就被称为泛型类、泛型接口。这个最典型的运用就是各种集合类和接口,比如,List、ArrayList 等等。

那么,我们泛型怎么用在类上面呢?

首先,定义一个泛型类。

public class IdGen<T> {
    protected T id;

    public Generic(T id) {
        this.id = id;
    }
}

IdGen 是一个 id 生成类。第一行代码中,<T> 是泛型标识,代表你定义了一个类型变量 T。第二行代码,我使用这个类型变量,把 id 定义成一个泛型。

然后,在实例化、继承的的时候,指定具体的类型。

public class IdGen<T> {
    // ..省略部分代码

    // 通过继承,确定泛型变量
    static class User extends IdGen<Integer> {
        public User(Integer id) {
            super(id);
        }
    }

    public static void main(String[] args) {
        // 通过实例化,确定泛型变量
        IdGen idGen = new IdGen<String>("1");
        System.out.println(idGen);

        User user = new User(1);
        System.out.println(user);
    }
}

用户类继承了 IdGen,在代码extends IdGen<Integer>中,指定了 Integer 作为 id 的具体类型;而 IdGen 实例化的时候,在代码new IdGen<String>("1")中,则指定了 String 作为 id 的具体类型。

泛型方法

泛型不仅能用在类和接口上,还可以用在方法上。

比如,怎么把一个类的成员变量转换成 Map 集合呢?

这时候,我们可以写一个泛型方法。

public class Generic {
    public static <T> Map obj2Map(T obj) throws Exception {
        Map map = new HashMap<>();

        // 获取所有字段:通过 getClass() 方法获取 Class 对象,然后获取这个类所有字段
        Field[] fields = obj.getClass().getDeclaredFields();
        for (Field field : fields) {
            // 开放字段操作权限
            field.setAccessible(true);
            // 设置值
            map.put(field.getName(), field.get(obj));
        }

        return map;
    }
}

同样的,<T> 是泛型标识,代表你定义了一个类型变量 T,用在这个方法上。T obj 使用类型变量 T,定义一个 obj 参数。最后,在调用方法的的时候,再确定具体的类型。

泛型通配符

泛型通配符用 ? 表示,代表不确定的类型,是泛型的一个重要组成。

有一点很多文章都没提到,大家一定要记住!!!

使用泛型有三个步骤:定义类型变量、使用类型变量、确定类型变量。在第三步,确定类型变量的时候,如果你没法明确类型变量,这时候可以用泛型通配符。

一般情况下,我们不需要用到泛型通配符,因为你能明确地知道类型变量,你看下面代码。

public class Application {

    public static Integer count(List<Integer> list) {
        int total = 0;
        for (Integer number : list) {
            total += number;
        }
        list.add(total);
        return total;
    }

    public static void main(String[] args) {
        // 不传指定数据,编译报错
        List<String> strList = Arrays.asList("0", "1", "2");
        int totalNum = count(strList);

        // 绕过了编译,运行报错
        List strList1 = Arrays.asList("0", "1", "2");
        totalNum = count(strList1);
    }
}

你非常清楚 count() 方法是干什么的,所以你在写代码的时候,直接就能指明这是一个 Integer 集合。这样一来,在调用方法的时候,如果不传指定的数据进来,就没法通过编译。退一万步讲,即使你绕过了编译这一关,程序也很可能没法运行。

所以,如果你非常清楚自己要干什么,可以很明确地知道类型变量,那没必要用泛型通配符。

然而,在一些通用方法中,什么类型的数据都能传进来,你没法确认类型变量,这时候该怎么办呢?

你可以使用泛型通配符,这样就不用确认类型变量,从而实现一些通用算法。

比如,你要写一个通用方法,把传入的 List 集合输出到控制台,那么就可以这样做。

public class Application {
    public static void print(List<?> list) {
        for (int i = 0; i < list.size(); i++) {
            System.out.println(list.get(i));
        }
    }

    public static void main(String[] args) {
        // Integer 集合,可以运行
        List<Integer> intList = Arrays.asList(0, 1, 2);
        print(intList);

        // String 集合,可以运行
        List<String> strList = Arrays.asList("0", "1", "2");
        print(strList);
    }
}

List<?> list 代表我不确定 List 集合装的是什么类型,有可能是 Integer,有可能是 String,还可能是别的东西。但我不管这些,你只要传一个 List 集合进来,这个方法就能正常运行。

这就是泛型通配符。此外,有些算法虽然也是通用的,但适用范围不那么大。比如,用户分为:普通用户、商家用户,但用户有一些特殊功能,其它角色都没有。这时候,又该怎么办呢?

你可以给泛型通配符设定边界,以此限定类型变量的范围。

泛型通配符的上边界

上边界,代表类型变量的范围有限,只能传入某种类型,或者它的子类。你看下这幅图就明白了。

泛型通配符-上边界

利用 <? extends 类名> 的方式,可以设定泛型通配符的上边界。你看下这个例子就明白了。

public class TopLine {

    public static void print(List<? extends Number> list) {
        for (int i = 0; i < list.size(); i++) {
            System.out.println(list.get(i));
        }
    }

    public static void main(String[] args) {
        // Integer 是 Number 的子类,可以调用 print 方法
        print(new ArrayList<Integer>());

        // String 不是 Number 的子类,没法调用 print 方法
        print(new ArrayList<String>());
    }

}

你想调用 print() 方法中,那么你可以传入 Integer 集合,因为 Integer 是 Number 的子类。但 String 不是 Number 的子类,所以你没法传入 String 集合。

泛型通配符的下边界

下边界,代表类型变量的范围有限,只能传入某种类型,或者它的父类。你看下这幅图就明白了。

泛型通配符-下边界

利用 <? super 类名> 的方式,可以设定泛型通配符的上边界。你看下这个例子就明白了。

public class LowLine {

    public static void print(List<? super Integer> list) {
        for (int i = 0; i < list.size(); i++) {
            System.out.println(list.get(i));
        }
    }

    public static void main(String[] args) {
        // Number 是 Integer 的父类,可以调用 print 方法
        print(new ArrayList<Number>());

        // Long 不是 Integer 的父类,没法调用 print 方法
        // print(new ArrayList<String>());
    }
}

你想调用 print() 方法中,那么可以传入 Number 集合,因为 Number 是 Integer 的父类。但 Long 不是 Integer 的父类,所以你没法传入 Long 集合。

写在最后

泛型是一种特殊的类型,你可以把泛型用在类、接口、方法上,从而实现一些通用算法。

此外,使用泛型有三个步骤:定义类型变量、使用类型变量、确定类型变量。

在确定类型变量这一步中,你可以用泛型通配符来限制泛型的范围,从而实现一些特殊算法。


JerryWu
73 声望291 粉丝