扫盲：Kotlin 的泛型
引子
相信总是有很多同学，总是在抱怨泛型无论怎么学习，都只是停留在一个简单使用的水平，所以一直为此而备受苦恼。
Kotlin 作为一门能和 Java 相互调用的语言，自然也支持泛型，不过 Kotlin 的新关键字 in 和 out 却总能绕晕一部分人，归根结底，还是因为 Java 的泛型基本功没有足够扎实。
很多同学总是会产生这些疑问：
- Kotlin 泛型和 Java 泛型到底有何区别？
- Java 泛型存在的意义到底是什么？
- Java 的类型擦除到底是指什么？
- Java 泛型的上界、下界、通配符到底有何区别？它们可以实现多重限制么？
- Java 的
<? extends T>、<? super T>、<?>到底对应了什么？有哪些使用场景？ - Kotlin 的
in、out、*、where到底有何魔力？ - 泛型方法又是什么？
今天，就用一篇文章为大家解除上述疑惑。
泛型：类型安全的利刃
总所周知，Java 在 1.5 之前，是没有泛型这个概念的。那时候的 List 还只是一个可以装下一切的集合。所以我们难免会写上这样的代码：
List list = new ArrayList();
list.add(1);
list.add("nanchen2251");
String str = (String) list.get(0);
上面的代码编译并没有任何问题，但运行的时候一定会出现常见的 ClassCastException 异常：
Exception in thread "main" java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String
这个体验非常糟糕，我们真正需要的是在代码编译的时候就能发现错误，而不是让错误的代码发布到生产环境中。
而如果上述代码我们增加上泛型，就会在编译期就能看到明显的错误啦。
List<String> list = new ArrayList<>();
list.add(1);
//
版权声明：本文为liushilin原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。