Java泛型：了解有界通配符

Question

在“ 泛型”一章中，一句话引起了我的注意。 对于以下声明List<? extends Shape> List<? extends Shape> ，它说：

注意：它可以是Shape本身，也可以是某些子类。 它不需要从字面上扩展Shape 。

在此上下文中的字面意思是什么？

Answer 1

Shape可以是接口， <? extends Shape> <? extends Shape>可以是实现Shape接口的类的实例。

Answer 2

这意味着该类不必 extend Shape ，即作为直接子Shape 。 它也可以Shape自身，也可以是间接子Shape ，或Shape可以是一个interface ，其类implements 。 什么是作者试图传达的是关键字extends用于进出方便（添加新的关键字的语言是昂贵的）和熟悉，这并不意味着每一个可以使用的类型都有一个完全相同的字符串extends Shape在其定义中。

换句话说：作者的字面意思是“字面”和“字面”。