摘要: 前言本文主要介绍java语言的三个特性:类型协变和逆变,动态代理和静态代理,注解。协变和逆变借用Treant的博文,逆变与协变用来描述类型转换(type transformation)后的继承关系,其定义:如果A、B表示类型,f(⋅)表示类型转换,≤表示继承关系(比如,A≤B表示A是由B派生出来的子类);f(⋅)是逆变(contravariant)的,当A≤B时,有f(B)≤f(A)成立;f(⋅... 阅读全文
posted @ 2016-10-05 00:09 jasonkent27 阅读(497) 评论(0) 推荐(0) 编辑