在Java中键入数组和泛型的规则

内容导读

互联网集市收集整理的这篇技术教程文章主要介绍了在Java中键入数组和泛型的规则，小编现在分享给大家，供广大互联网技能从业者学习和参考。文章包含1179字，纯文字阅读大概需要2分钟。

内容图文

在Effective Java(第2版)第25项的最后一段中,它说：

Arrays and generics have very different type rules. Arrays are covariant and reified; generics are invariant and erased.

有人可以更好地定义与Java中的数组和泛型有关的粗体术语吗？我也不介意一些例子.

解决方法:

你没有提到你是否对某一特定概念感到困惑,所以我将尝试给出协方差和不变性的基本定义.

协方差保留类型排序,不变性不保留.这意味着子类型是否被保留(在逆变的情况下反转).

所以,如果你有以下课程

public class A {

  public void go() {

    System.out.println("A");
  }
}

和…

public class B extends A {

  @Override
  public void go() {

    System.out.println("B");
  }
}

使用协变类型(例如数组),函数

public static void go(A[] as) {

  for (A a : as)
    a.go();
}

完全有效的用作

A[] as = new A[8];
B[] bs = new B[8];

go(as);
go(bs);

换句话说,数组类型将暴露给运行时或已实现.

使用不变类型(例如泛型),不保留子类型.因此,例如,X< B>与X< A>没有类型关系除了X之外,这部分是泛型类型未暴露给运行时或被擦除的结果.

但是,您仍然可以分别使用extends和super在Java中明确表达协方差和逆变.例如与班级

public class X<T extends A> {

  private T t_;

  public X(T t) {
   t_ = t;
  }

  public void go() {

    t_.go();
  }
}

功能

public static void go(X<?> x) {

  x.go();
}

将被用作有效

X<A> xa = new X<A>(a);
X<B> xb = new X<B>(b);

go(xa);
go(xb);

内容总结

以上是互联网集市为您收集整理的在Java中键入数组和泛型的规则全部内容，希望文章能够帮你解决在Java中键入数组和泛型的规则所遇到的程序开发问题。 如果觉得互联网集市技术教程内容还不错，欢迎将互联网集市网站推荐给程序员好友。

内容备注

版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 gblab@vip.qq.com 举报，一经查实，本站将立刻删除。

内容手机端