8

In Java type arguments, does mean strictly subtypes only? or would E also suffice?

3 Answers 3

7

It's not strict; E would suffice.

2
  • I presume the converse is true as well? i.e. <? super E> is not strict and can mean E as well. Thanks!
    – Aaron Fi
    Commented Jun 28, 2010 at 23:54
  • Yes, E satisfies <? super E> as well. Commented Jun 29, 2010 at 0:57
6

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 of Type , type Type 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 of Type , type Type being included. Type is called the lower bound.

2
  • 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
1
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.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.