了解上限和下限?在Java泛型中
我真的很难理解通配符参数。我对此有一些疑问。
?
作为类型参数只能在方法中使用。例如:printAll(MyList<? extends Serializable>)
我不能使用?
类型参数定义类。我了解上限
?
。printAll(MyList<? extends Serializable>)
表示:“ 如果有实现该接口的对象,printAll
则将打印。MyList``Serialzable
”我对有点问题
super
。printAll(MyList<? super MyClass>)
表示:“ 如果具有或扩展的任何类(的后代),
printAll
则将打印。MyList``MyClass``MyClass``MyClass
”
纠正我哪里出错了。
简而言之,只有T
或E
或K
或V
或N
可用作定义泛型类的类型参数。?
只能用于方法
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.有对象Thread
或ActionListener
在List
因此,在阅读了该问题的许多答案之后,这是我的理解:
? extends T
表示 。因此,我们指的是的 子项T
。因此,? 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>
等等。
我对有点问题
super
。printAll(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()将在以下情况下打印
- 列表中有MyClass对象
- 列表中有Thread或ActionListener对象
您走在正确的轨道上。但是我认为说“例如,如果MyClass
列表中有对象,它将打印”是有问题的。这听起来像是您在定义运行时行为-
泛型都是关于编译时检查的。例如,即使它可能通过继承包含的实例,也无法将a
MyList<MySubclass>
作为参数传递给。我将其改写为:MyList<? super MyClass>``MyClass
printAll(MyList<? super MyClass>)
只有在以下情况下,对的调用才会编译:
MyList<MyClass>
MyList<Thread>
MyList<Runnable>
MyList<ActionListener>
MyList<EventListener>
MyList<Object>
MyList<? super X>
其中X
是MyClass
,Thread
,Runnable
,ActionListener
,EventListener
,或Object
。
因此,在阅读了该问题的许多答案之后,这是我的理解:
? extends T
表示 。因此,我们指的是T的子代。因此,
? super T
表示T的任何类/接口super
。因此,我们指的是T的所有父级。
T
亲,但我不会说“的孩子”或“其父母T
”,因为这些范围是 包含在内的 -说“ T
或其子类型”和“ T
或其超类型” 会更准确。
以上是 了解上限和下限?在Java泛型中 的全部内容, 来源链接: utcz.com/qa/413963.html