Intro 跟大家聊聊 Kotlin，聊聊 Java 虚拟机，聊聊代码人生~
在过去推送过的第15期视频中，涉及到一个泛型对比的点，当时文中提到“对于循环引用泛型参数的情况，Kotlin 无法实现”的结论是有问题的。感谢 @zhangdatou 指正，对应部分的内容修改如下：
3 泛型
整体上来讲，Kotlin 的泛型与 Java 的没什么大的差别，Java 的 ? 在 Kotlin 中变成了 *，毕竟 ? 在 Kotlin 当中用处大着呢。另外，Java 泛型的上限下限的表示法在 Kotlin 当中变成了 out 和 in。
不过，由于 Java 1.5 之前并没有泛型的概念，为了兼容旧版本，1.5 之后的 Java 仍然允许下面的写法存在：
List list = new ArrayList();
list.add("Hello");
list.add(1);
for (Object o : list) {
System.out.println(o);
} 而对应的，在 Kotlin 当中要用 List<*> 来表示 Java 中的 List —— 这本身没什么问题。那么我们现在再看一段代码：
public abstract class View<P extends Presenter>{
protected P presenter;
}
public abstract class Presenter<V extends View>{
protected V view;
} 这个其实是现在比较流行的 MVP 设计模式的一个简单的接口，我希望通过泛型来绑定 V-P，并且我可以通过泛型参数在运行时直接反射实例化一个 presenter 完成 V-P 的实例注入，这在 Java 当中是没有问题的。
那么在 Kotlin 当中呢？ 因为我们知道 View 和 Presenter 都有泛型参数的，所以我们在 Kotlin 当中就要这么写：
abstract class View<P : Presenter<out View<out Presenter<out View<...>>{
protected abstract val presenter: P
}
abstract class Presenter<out V : View<out Presenter<out View<...>>>>{
protected abstract val view: V
} 一直写下去，最终陷入了死循环。编译器给出的解释是：
This type parameter violates the Finite Bound Restriction.
在 @zhangdatou 给我发邮件之前，我曾一直对此耿耿于怀，Kotlin 这么优秀的语言怎么还会有做不到的事情呢。原来不是做不到，而是我没有想到：
abstract class View<out P: Presenter<View<P>>>
abstract class Presenter<out V: View<Presenter<V>>>
class MyView: View<MyPresenter>()
class MyPresenter: Presenter<MyView>() 实际上我们需要 View 的泛型参数 P 只要是 Presenter 的子类即可，并且要求这个泛型参数 P 本身对应的泛型参数也需要是 View 的子类，而这个 View 其实就是最初的那个 View，那么这个 View 的泛型参数当然就是 P 了。有点儿绕，但这么写出来明显感觉比 Java 安全靠谱多了。
“Kotlin, More Than a Better Java.
Kotlin
长按识别二维码，关注Kotlin
