In Java type arguments, does mean strictly subtypes only? or would E also suffice?
3 Answers
It's not strict; E
would suffice.
-
I presume the converse is true as well? i.e. <? super E> is not strict and can mean E as well. Thanks!– Aaron FiCommented Jun 28, 2010 at 23:54
-
Yes, super
and extends
gives inclusive lower and upper bounds respectively.
Here's a quote from Angelika Langer's Generics FAQ:
What is a bounded wildcard?
A wildcard with an upper bound looks like
? extends Type
and stands for the family of all types that are subtypes ofType
, typeType
being included.Type
is called the upper bound.A wildcard with a lower bound looks like
? super Type
and stands for the family of all types that are supertypes ofType
, typeType
being included.Type
is called the lower bound.
-
This doesn't reflect my observations. If I write method that accepts
<T extends E>
, I get error if I try to pass E instance. Commented May 2, 2015 at 13:43 -
@TomášZato: The answer is correct; example: ideone.com/hRZFlu. Suggest removing the comment (and flagging this one as obsolete). If there's a specific example you have where it doesn't seem to work, you might want to post a question about that, it's probably something similar but different. :-) Commented Jul 24, 2016 at 13:39
List<? extends Animal> animalList=new List<Dog>();
List<? extends Animal> animalList=new List<Animal>();
Both the lines compile without any error. Any function taking the list as a parameter understands that the objects in the list are of type E or a subtype of E.