Here are some notes I’ve been meaning to write up and post for a long time.
The ability to perform functional-style operations on streams of elements (not to be confused with I/O streams) was introduced in Java 8, all the way back in March 2014. Combined with generic methods, (introduced in Java 5!) this provided a great deal of new flexibility - albeit with a learning curve for those of us who never spent much time studying bounded wildards.
Stream class has the following
That method signature has a lot going on:
<R> Stream<R> map(Function<? super T,? extends R> mapper)
A basic example implementation is this:
In the above example the implementation is this:
How does that statement match the method signature?
Another more involved example:
Now, we have the following implementation of map():
map(p -> new Student(p.getId(), p.getName()))
Again, how does this lambda function relate to the method signature?
Looking at the overall
map() method, we can state that it take a
Stream of objects as its input, and generates a (presumably modified)
Stream of (potentially different) objects as its output. The method description makes this clear - as does the
Stream<R> return value.
Looking at the other elements of the
map() signature, we can see take the following as a method parameter:
Function<? super T,? extends R> mapper
What is this Function object?
This is what is responsible for transforming each input object into a related output object. For example, converting lower-case letters to upper-case letters, or creating Student objects from the relevant Person objects.
For this latter example, we might write that code as follows:
Here, we have embedded an anonymous class into the stream, in place of the lambda function we used earlier. In this case, the class is an implementation of the
Function interface, and implements the necessary apply() method.
(Remember, anonymous classes are expressions, which means that you define the class inside another expression. There is no class keyword, and the class does not have a name. Anonymous classes are different from local classes, which are class declarations inside another class.)
Function interface is an example of a so-called functional interface: A functional interface in Java is an interface that contains only a single abstract (unimplemented) method. (It can also contain default and static methods which do have an implementation, in addition to the single unimplemented method.)
Lambda expressions are an alternative way to implement the abstract method of a functional interface, instead of using the anonymous class shown above. When using a lambda function in this way, there is no need to include the name of the abstract method - because it is the only abstract method provided by the interface. The parameters of the lambda expression must also match the parameters of the abstract method. And the return type of the lambda expression must match as well.
(One consequence of this is that it helps to make the lambda expression as concise as possible.)
Furthermore, this explains how we can replace our anonymous class example with the lambda expression we already saw:
In this lambda expression,
p is the single input parameter - a
The body of the lambda expression is:
new Student(p.getId(), p.getName())
The lambda body is only one line, and its result is therefore used as the return value - with no need for the return keyword. The return value in this case is a new
In our very first example, we saw this:
This is a Java method reference, which is a special type of lambda expression. It can be used here because the
toUpperCase() method takes a single input, and produces a single output - which fits with what the
Function.apply() abstract method expects.
That just leaves this:
<? super T,? extends R>
These are bounded wildcard declarations - two of them:
<? super T>
<? extends R>
Parameterized types are invariant. For example,
List<Type1> is neither a subtype nor a supertype of
String is a subtype of
List<String> is not a subtype of
(By contrast, arrays are covariant. If
Sub is a subtype of
Sub is also a subtype of
Super. Arrays are also reified - they know and enforce the type of the array at run-time.)
Generics only enforce their constraints at compile-time (due to erasure).
A bounded wildcard type can provide more flexibility than invariant types.
But why - and how - is this?
Josh Bloch explains it nicely in his Effective Java book. A very high-level summary:
The expression Iterable<? extends E> means “iterable of some subtype of E” - and remembering that any type is considered a subtype of itself.
Similarly, the expression Collection<? super E> means “collection of some supertype of E” (also including E itself).
He gives the example of a generic stack, with these methods:
void push (E e)
which are fine for handling individual items - but then he asks: Suppose we want to add a method that takes a sequence of elements and pushes them all onto the stack.
And also a similar
The solution is our bounded wildcards. This is how Java provides a way around the “parameterized types are invariant” restriction.
So, we can define this:
When you have an API which handles typed collections, then you have exactly this situation.
Of course, most of the time (maybe all of the time), as a user of such an API, you probably never think about the bounded wildcards - you just use the API and get on with the rest of your day.
Other ways I have seen this explained:
With help from this answer on Stack Overflow…
map() method produces a collection of objects. Using
<? extends R> means that the objects in the collection can be a subtype of R.
The reasoning is that a
Collection<? extends Thing> could hold any subtype of
Thing, and thus each element will behave as a
Thing when you perform your operation. (You actually cannot add anything to a
Collection<? extends Thing>, because you cannot know at runtime which specific subtype of
Thing the collection holds.)
Conversely, when reading values from the input stream, the collection being consumed can contain supertypes of type
The reasoning here is that unlike
Collection<? extends Thing>,
Collection<? super Thing> can always hold a
Thing no matter what the actual parameterized type is. Here you don’t care what is already in the list as long as it will allow a Thing to be added; this is what
? super Thing guarantees.
Final note: The PECS mnemonic = Producer : Extends; Consumer : Super.
“PECS” is from the point of view of the collection - the one being passed into or out of the API. If you are only pulling items from a generic collection, it is a producer and you should use
extends; if you are only stuffing items in, it is a consumer and you should use
super. If you do both with the same collection, you shouldn’t use either extends or super.