java~类型的逆变和协变

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

协变（Covariance）

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

示例代码：

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

逆变（Contravariance）

逆变指的是父类型对象可以赋值给子类型引用的情况。在泛型中，逆变表示如果 B 是 A 的子类，那么 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());