java~类型的逆变和协变

发布时间 2024-01-11 14:59:47作者: 张占岭

在 Java 中,泛型的逆变(contravariance)和协变(covariance)是涉及到泛型类型转换时的两个重要概念。

协变(Covariance)

协变指的是子类型对象可以赋值给父类型引用的情况。在泛型中,协变表示如果 BA 的子类,那么 List<B> 就是 List<A> 的子类。这意味着你可以将 List<B> 赋值给 List<A>,但只能读取 List<A> 中的元素,不能向其中添加任何元素。

示例代码:

List<? extends Number> numbers = new ArrayList<Integer>();

逆变(Contravariance)

逆变指的是父类型对象可以赋值给子类型引用的情况。在泛型中,逆变表示如果 BA 的子类,那么 Consumer<A> 就是 Consumer<B> 的子类。这意味着你可以将 Consumer<A> 赋值给 Consumer<B>,并且可以向其中添加 B 类型的元素,但不能读取其中的元素。

示例代码:

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());