在 Java 中,泛型的逆变(contravariance)和协变(covariance)是涉及到泛型类型转换时的两个重要概念。
协变(Covariance)
协变指的是子类型对象可以赋值给父类型引用
的情况。在泛型中,协变表示如果 B
是 A
的子类,那么 List<B>
就是 List<A>
的子类。这意味着你可以将 List<B>
赋值给 List<A>
,但只能读取 List<A>
中的元素,不能向其中添加任何元素。
示例代码:文章来源地址https://www.toymoban.com/news/detail-780618.html
List<? extends Number> numbers = new ArrayList<Integer>();
逆变(Contravariance)
逆变指的是父类型对象可以赋值给子类型引用
的情况。在泛型中,逆变表示如果 B
是 A
的子类,那么 Consumer<A>
就是 Consumer<B>
的子类。这意味着你可以将 Consumer<A>
赋值给 Consumer<B>
,并且可以向其中添加 B
类型的元素,但不能读取其中的元素。文章来源:https://www.toymoban.com/news/detail-780618.html
示例代码:
Consumer<? super Integer> consumer = System.out::println;
mybatis-plus中的协变
// 子类转成父类
QueryWrapper<ReportLoginTypeHour> queryWrapper = new QueryWrapper<>();
queryWrapper.lambda()
.ge(ReportLoginType::getWindowStart, startDate.atZone(ZoneOffset.systemDefault()).toInstant().toEpochMilli())
.lt(ReportLoginType::getWindowStart, endDate.atZone(ZoneOffset.systemDefault()).toInstant().toEpochMilli());
QueryWrapper<ReportLoginType> queryWrapperMinute = new QueryWrapper<>();
queryWrapperMinute.setEntity(queryWrapper.getEntity()); // 拷贝查询条件
// 子类转成父类
List<ReportLoginType> list;
list = reportLoginTypeHourMapper.selectList(queryWrapper)
.stream()
.map(reportLoginTypeHour -> (ReportLoginType) reportLoginTypeHour)
.collect(Collectors.toList());
到了这里,关于java~类型的逆变和协变的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!