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

不同的Token在校验时用到了逆变

Token和它的子类之间的关系

• Token
  • Md5Token
  • IdToken
    • JwtToken

代码的实现，每种类型在校验失败后会有自己的消息提示

    @Test
	public void testSuper() {
		JwtToken jwtToken = new JwtToken();
		jwtToken.setUserId("1");
		jwtToken.setRoles("admin");
		jwtToken.setJti("123");
		jwtToken.verify(i -> i.getUserId().equals("1"), i -> i.getRoles().equals("admin"), i -> i.getJti() != null);

		Md5Token md5Token = new Md5Token();
		md5Token.setJti("abc123");
		md5Token.verify(i -> i.getJti().equals("abc123"));
	}

	abstract class Token {

		private String jti;

		public String getJti() {
			return jti;
		}

		public void setJti(String jti) {
			this.jti = jti;
		}

	}

	class IdToken extends Token {

		private String userId;

		public String getUserId() {
			return userId;
		}

		public void setUserId(String userId) {
			this.userId = userId;
		}

	}

	class JwtToken extends IdToken {

		private String roles;

		public String getRoles() {
			return roles;
		}

		public void setRoles(String roles) {
			this.roles = roles;
		}

		/**
		 * JwtToken类校验方法 通配符的下限,校验实体字段的方法，通过传入实体的Predicate条件，来对当前实体进行校验
		 * @return
		 */
		public void verify(Predicate<? super JwtToken>... checks) {
			for (Predicate<? super JwtToken> check : checks) {
				if (!check.test(this)) {
					throw new IllegalArgumentException("JWT token check failed for check " + check);
				}
			}
		}

	}

	class Md5Token extends Token {

		public void verify(Predicate<? super Md5Token>... checks) {
			for (Predicate<? super Md5Token> check : checks) {
				if (!check.test(this)) {
					throw new IllegalArgumentException("Md5 token check failed for check " + check);
				}
			}
		}

	}