前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >Java泛型的重要目的:别让猫别站在狗队里

Java泛型的重要目的:别让猫别站在狗队里

作者头像
沉默王二
发布2019-03-14 15:49:54
4010
发布2019-03-14 15:49:54
举报
文章被收录于专栏:沉默王二

《Java编程思想》第四版足足用了75页来讲泛型——厚厚的一沓内容,很容易让人头大——但其实根本不用这么多,只需要一句话:我是一个泛型队列,狗可以站进来,猫也可以站进来,但最好不要既站猫,又站狗!

01、泛型是什么

泛型,有人拆解这个词为“参数化类型”。这种拆解其实也不好理解,还是按照沉默王二的意思来理解一下吧。

现在有一只玻璃杯,你可以让它盛一杯白开水,也可以盛一杯二锅头——泛型的概念就在于此,制造这只杯子的时候没必要在说明书上定义死,指明它只能盛白开水而不能盛二锅头!

可以在说明书上指明它用来盛装液体,但最好也不要这样,弄不好用户想用它来盛几块冰糖呢!

这么一说,你是不是感觉不那么抽象了?泛型其实就是在定义类、接口、方法的时候不局限地指定某一种特定类型,而让类、接口、方法的调用者来决定具体使用哪一种类型的参数。

就好比,玻璃杯的制造者说,我不知道使用者用这只玻璃杯来干嘛,所以我只负责造这么一只杯子;玻璃杯的使用者说,这就对了,我来决定这只玻璃杯是盛白开水还是二锅头,或者冰糖。

02、什么时候用泛型

我们来看一段简短的代码:

代码语言:javascript
复制
public class Cmower {

    class Dog {
    }

    class Cat {
    }

    public static void main(String[] args) {
        Cmower cmower = new Cmower();
        Map map = new HashMap();
        map.put("dog", cmower.new Dog());
        map.put("cat", cmower.new Cat());

        Cat cat = (Cat) map.get("dog");
        System.out.println(cat);
    }

}

这段代码的意思是:我们在map中放了一只狗(Dog),又放了一只猫(Cat),当我们想从map中取出猫的时候,却一不留神把狗取了出来。

这段代码编译是没有问题的,但运行的时候就会报ClassCastException(狗毕竟不是猫啊):

代码语言:javascript
复制
Exception in thread "main" java.lang.ClassCastException: com.cmower.java_demo.sixteen.Cmower$Dog cannot be cast to com.cmower.java_demo.sixteen.Cmower$Cat
    at com.cmower.java_demo.sixteen.Cmower.main(Cmower.java:20)

为什么会这样呢?

1)写代码的程序员粗心大意。要从map中把猫取出来,你不能取狗啊!

2)创建map的时候,没有明确指定map中要放的类型。如果指定是要放猫,那肯定取的时候就是猫,不会取出来狗;如果指定是要放狗,也一个道理。

第一种情况不太好解决,总不能把程序员打一顿(我可不想做一个天天背锅的程序员,很重的好不好);第二种情况就比较容易解决,因为Map支持泛型(泛型接口)。

代码语言:javascript
复制
public interface Map<K,V> {
}

注:在Java中,经常用T、E、K、V等形式的参数来表示泛型参数。

T:代表一般的任何类。 E:代表 Element 的意思,或者 Exception 异常的意思。 K:代表 Key 的意思。 V:代表 Value 的意思,通常与 K 一起配合使用。

既然Map支持泛型,那作为Map的实现者HashMap(泛型类)也支持泛型了。

代码语言:javascript
复制
public class HashMap<K,V> extends AbstractMap<K,V>
    implements Map<K,V>, Cloneable, Serializable {

}

其中的put方法(泛型方法)是这样定义的:

代码语言:javascript
复制
public V put(K key, V value) {
  return putVal(hash(key), key, value, false, true);
}

好了,现在使用泛型的形式来定义一个只能放Cat的Map吧!

代码语言:javascript
复制
public class Cmower {

    class Dog {
    }

    class Cat {
    }

    public static void main(String[] args) {
        Cmower cmower = new Cmower();
        Map<String, Cat> map = new HashMap<>();
//        map.put("dog", cmower.new Dog()); // 不再允许添加
        map.put("cat", cmower.new Cat());

        Cat cat = map.get("cat");
        System.out.println(cat);
    }
}

当使用泛型定义map(键为String类型,值为Cat类型)后:

1)编译器就不再允许你向map中添加狗的对象了。

2)当你从map中取出猫的时候,也不再需要强制转型了。

03、类型擦除

有人说,Java的泛型做的只是表面功夫——泛型信息存在于编译阶段(狗队在编译时不允许站猫),运行阶段就消失了(运行时的队列里没有猫的信息,连狗的信息也没有)——这种现象被称为“类型擦除”。

来,看代码解释一下:

代码语言:javascript
复制
public class Cmower {

    class Dog {
    }

    class Cat {
    }

    public static void main(String[] args) {
        Cmower cmower = new Cmower();
        Map<String, Cat> map = new HashMap<>();
        Map<String, Dog> map1 = new HashMap<>();

        // The method put(String, Cmower.Cat) in the type Map<String,Cmower.Cat> is not applicable for the arguments (String, Cmower.Dog)
        //map.put("dog",cmower.new Dog());

        System.out.println(map.getClass());
        // 输出:class java.util.HashMap
        System.out.println(map1.getClass());
        // 输出:class java.util.HashMap
    }

}

map的键位上是Cat,所以不允许put一只Dog;否则编译器会提醒The method put(String, Cmower.Cat) in the type Map<String,Cmower.Cat> is not applicable for the arguments (String, Cmower.Dog)。编译器做得不错,值得点赞。

但是问题就来了,map的Class类型为HashMap,map1的Class类型也为HashMap——也就是说,Java代码在运行的时候并不知道map的键位上放的是Cat,map1的键位上放的是Dog。

那么,试着想一些可怕的事情:既然运行时泛型的信息被擦除了,而反射机制是在运行时确定类型信息的,那么利用反射机制,是不是就能够在键位为Cat的Map上放一只Dog呢?

我们不妨来试一试:

代码语言:javascript
复制
public class Cmower {

    class Dog {
    }

    class Cat {
    }

    public static void main(String[] args) {
        Cmower cmower = new Cmower();
        Map<String, Cat> map = new HashMap<>();

        try {
            Method method = map.getClass().getDeclaredMethod("put",Object.class, Object.class);

            method.invoke(map,"dog", cmower.new Dog());

            System.out.println(map);
            // {dog=com.cmower.java_demo.sixteen.Cmower$Dog@55f96302}
        } catch (NoSuchMethodException | SecurityException | IllegalAccessException | IllegalArgumentException | InvocationTargetException e) {
            e.printStackTrace();
        }
    }

}

看到没?我们竟然在键位为Cat的Map上放了一只Dog!

注:Java的设计者在JDK 1.5时才引入了泛型,但为了照顾以前设计上的缺陷,同时兼容非泛型的代码,不得不做出了一个折中的策略:编译时对泛型要求严格,运行时却把泛型擦除了——要兼容以前的版本,还要升级扩展新的功能,真的很不容易!

04、泛型通配符

有些时候,你会见到这样一些代码:

代码语言:javascript
复制
List<? extends Number> list = new ArrayList<>();
List<? super Number> list = new ArrayList<>();

?和关键字extends或者super在一起其实就是泛型的高级应用:通配符。

我们来自定义一个泛型类——PetHouse(宠物小屋),它有一些基本的动作(可以住进来一只宠物,也可以放出去):

代码语言:javascript
复制
public class PetHouse<T> {
    private List<T> list;

    public PetHouse() {
    }

    public void add(T item) {
        list.add(item);
    }

    public T get() {
        return list.get(0);
    }
}

如果我们想要住进去一只宠物,可以这样定义小屋(其泛型为Pet):

代码语言:javascript
复制
PetHouse<Pet> petHouse = new PetHouse<>();

然后,我们让小猫和小狗住进去:

代码语言:javascript
复制
petHouse.add(new Cat());
petHouse.add(new Dog());

如果我们只想要住进去一只小猫,打算这样定义小屋:

代码语言:javascript
复制
PetHouse<Pet> petHouse = new PetHouse<Cat>();

但事实上,编译器不允许我们这样定义:因为泛型不直接支持向上转型。该怎么办呢?

可以这样定义小屋:

代码语言:javascript
复制
PetHouse<? extends Pet> petHouse = new PetHouse<Cat>();

也就是说,宠物小屋可以住进去小猫,但它必须是宠物(Pet或者Pet的子类)而不是一只野猫。

但很遗憾,这个宠物小屋实际上住不了小猫,看下图。

这是因为Java虽然支持泛型的向上转型(使用 extends 通配符),但我们却无法向其中添加任何东西——编译器并不知道宠物小屋里要住的是小猫还是小狗,或者其他宠物,因此干脆什么都不让住。

看到这,你一定非常疑惑,既然PetHouse<? extends Pet>定义的宠物小屋什么也不让住,那为什么还要这样定义呢?

(我暂时也没有想到合适的场景,你知道吗?)

本文参与 腾讯云自媒体同步曝光计划,分享自微信公众号。
原始发表:2019-02-02,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 沉默王二 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 01、泛型是什么
  • 02、什么时候用泛型
  • 03、类型擦除
  • 04、泛型通配符
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档