了解上限和下限?在Java泛型中

我真的很难理解通配符参数。我对此有一些疑问。

  1. ?作为类型参数只能在方法中使用。例如:printAll(MyList<? extends Serializable>)我不能使用?类型参数定义类。

  2. 我了解上限?printAll(MyList<? extends Serializable>)表示:“ 如果有实现该接口的对象,printAll 则将打印。MyList``Serialzable

    我对有点问题superprintAll(MyList<? super MyClass>)表示:“ 如果具有或扩展的任何类(的后代

    ),printAll 则将打印。MyList``MyClass``MyClass``MyClass

纠正我哪里出错了。

简而言之,只有TEKVN可用作定义泛型类的类型参数。?只能用于方法


public void printAll(MyList<? super MyClass>){

// code code code

}

根据Ivor Horton的书,这MyList<? super

MyClass>意味着我可以打印MyList它是否具有MyClass其实现的对象或任何实现的接口或类。也就是说,MyClass是一个

。它是继承层次结构中的最后一个类。这意味着我最初的假设是错误的。

因此,假设是否MyClass看起来像:

public class MyClass extends Thread implements ActionListener{

// whatever

}

然后,printAll()将打印,如果

1.有对象MyClass列表

2.有对象ThreadActionListenerList


因此,在阅读了该问题的许多答案之后,这是我的理解:

  1. ? extends T表示 。因此,我们指的是的 子项T。因此,

  2. ? super T表示 。因此,我们指的是的所有 父母T

回答:

?作为类型参数只能在方法中使用。例如:printAll(MyList<? extends

Serializable>)我不能使用?类型参数定义类。

通配符(?)不是正式的类型参数,而可以用作 类型参数 。在您给出的示例中,方法参数? extends

Serializable的泛型类型作为类型实参提供。MyList``printAll

方法还可以声明类型参数,例如类,例如:

static <T extends Serializable> void printAll(MyList<T> myList)

我了解上限?printAll(MyList<? extends Serializable>)表示

printAll如果具有实现Serialzable接口的对象,则将打印MyList

更准确地说,这意味着 只有将传递给具有或实现的某种通用类型的时,

对的调用printAll才会编译MyList``Serializable。在这种情况下,它会接受MyList<Serializable>MyList<Integer>等等。

我对有点问题superprintAll(MyList<? super MyClass>)表示

printAll如果具有MyClass对象或任何扩展MyClass的类MyClass 的后代), 则将打印MyList。

以限制的通配符super是一个 下限 。因此,我们可以说

printAll仅当通过传递MyList具有MyClass或的某种超类型的时,才会编译的调用MyClass。因此,在这种情况下,它将接受MyList<MyClass>,例如MyList<MyParentClass>MyList<Object>

因此,假设MyClass看起来像:

public class MyClass extends Thread implements ActionListener{

// whatever

}

然后,printAll()将在以下情况下打印

  1. 列表中有MyClass对象
  2. 列表中有Thread或ActionListener对象

您走在正确的轨道上。但是我认为说“例如,如果MyClass列表中有对象,它将打印”是有问题的。这听起来像是您在定义运行时行为-

泛型都是关于编译时检查的。例如,即使它可能通过继承包含的实例,也无法将a

MyList<MySubclass>作为参数传递给。我将其改写为:MyList<? super MyClass>``MyClass

printAll(MyList<? super MyClass>)只有在以下情况下,对的调用才会编译:

  1. MyList<MyClass>
  2. MyList<Thread>
  3. MyList<Runnable>
  4. MyList<ActionListener>
  5. MyList<EventListener>
  6. MyList<Object>
  7. MyList<? super X>其中XMyClassThreadRunnableActionListenerEventListener,或Object

因此,在阅读了该问题的许多答案之后,这是我的理解:

? extends T表示 。因此,我们指的是T的子代。因此,

? super T表示T的任何类/接口super。因此,我们指的是T的所有父级。

T亲,但我不会说“的孩子”或“其父母T”,因为这些范围是 包含在内的 -说“ T或其子类型”和“ T或其超类型” 会更准确。

以上是 了解上限和下限?在Java泛型中 的全部内容, 来源链接: utcz.com/qa/413963.html

回到顶部