1
0
定义 逆变与协变用来描述类型转换(type transformation)后的继承关系,其定义:如果A、B表示类型,f(⋅)表示类型转换,≤表示继承关系(比如,A≤B表示A是...
写了 23667 字,被 38 人关注,获得了 57 个喜欢