The bounded wildcard in List<? super Number>
can capture Number
and any of its supertypes. Since Number extends Object implements Serializable
, this means that the only types that are currently capture-convertible by List<? super Number>
are:
List<Number>
List<Object>
List<Serializable>
Note that you can add(Integer.valueOf(0))
to any of the above types. however, you CAN’T add(new Object())
to a List<Number>
or a List<Serializable>
, since that violates the generic type safety rule.
Hence it is NOT true that you can add
any supertype of Number
to a List<? super Number>
; that’s simply not how bounded wildcard and capture conversion work. You don’t declare a List<? super Number>
because you may want to add an Object
to it (you can’t!); you do because you want to add Number
objects to it (i.e. it’s a “consumer” of Number
), and simply a List<Number>
is too restrictive.
References
- Angelika Langer’s Generics FAQs
- What is a bounded wildcard?
- When would I use a wildcard parameterized type with a lower bound? (“When a concrete parameterized type would be too restrictive.”)
- Why is there no lower bound for type parameters? (“Because it does not make sense.”)
- JLS 5.1.10 Capture Conversion
See also
- Effective Java 2nd Edition, Item 28: Use bounded wildcards to increase API flexibility
- “PECS stands for producer-
extends
, consumer-super
- “PECS stands for producer-
Related questions
- Too many to list, PECS,
new Integer(0)
vsvalueOf
, etc