Java中extends一定代表继承吗?

Java中继承用哪个关键字表示?extends!没错,这是Java小学生都知道的常识。可是extends有没有别的含义呢?它在任何情况下都一定代表继承吗?不一定。

我们知道Collections类有静态方法sort,用于List的排序,该方法要求List中的元素类必须实现Comparable接口。我们来看看源码:

...
@SuppressWarnings("unchecked")
public static <T extends Comparable<? super T>> void sort(List<T> list) {
    list.sort(null);
}
...

显然,该方法的入參是一个List,List的泛型为T,可是这里写的是“T extends Comparable”(后面的“<? super T>”我们暂时不考虑),按照以往的思维,也就是说T这个class必须继承自Comparable。这和我们所熟知的Collections.sort()是有出入的。所以我们必须熟悉这样一个概念:

在Java的泛型中,extends关键字表示“继承或实现”。

也就是说,泛型的extends表示“是一个”的含义。那么为什么Java不新建一个“is”关键字表示这样的含义呢?要知道新增一个关键字的代价是很大的。

 

我们再来看一下泛型中的extends和super的区别:

  • <? extends T>限定参数类型的上界:参数类型必须是T或T的子类型
  • <? super T>限定参数类型的下界:参数类型必须是T或T的超类型

猜你喜欢

转载自blog.csdn.net/hz_940611/article/details/81094119