Explain how this lambda can be assigned to an Iterable

Question

I came across some clever code to convert an Iterator to a Stream from Karol on this post. I have to admit that I don't completely understand how the lambda is allowed to be assigned to the Iterable type in the following code...

static <T> Stream<T> iteratorToFiniteStream(final Iterator<T> iterator) {
    final Iterable<T> iterable = () -> iterator;
    return StreamSupport.stream(iterable.spliterator(), false);
}

I decided to write my own small test to ensure that it compiles and executes, and it does.

public void printsStream_givenIterator()
{
    Iterator<String> iterator = Arrays.asList("a", "b", "c").iterator();
    final Iterable<String> iterable = () -> iterator;
    StreamSupport.stream(iterable.spliterator(), false).forEach(s -> System.out.println(s));
}

// prints: abc

My understanding is that the lambda () -> iterator is acting as a Supplier function.

Iterable isn't a FunctionalInterface so how can it be assigned this lambda?

Its the same as: http://www.oracle.com/webfolder/technetwork/tutorials/obe/java/Lambda-QuickStart/index.html#section2 which assigns a lambda to runnable. It is explained here: http://www.oracle.com/webfolder/technetwork/tutorials/obe/java/Lambda-QuickStart/index.html#section1 — Brandon, Jan 25 '17 at 00:41
the annotation is not required, on the last link you have provided: "However, the compiler will treat any interface meeting the definition of a functional interface as a functional interface **regardless of whether or not a FunctionalInterface annotation is present** on the interface declaration." — user85421, Jan 25 '17 at 14:20

score 16 · Accepted Answer · edited May 23 '17 at 11:52

() -> iterator is not “acting as a Supplier function”. Lambda expressions can be assigned to any congruent functional interface type. And there is no requirement for a functional interface to be annotated with @FunctionalInterface. You can create an Iterable with a lambda expression, which will implement the Iterable.iterator() method, which is the only abstract method of that interface. However, implementing it by returning the same Iterator instance each time may violate the expectation of being able to iterate this object multiple times (which is the reason why Stream doesn’t implement Iterable despite having an iterator() method).

This solution will work in this narrow context, but isn’t clever.

The sequence

final Iterable<T> iterable = () -> iterator; … iterable.spliterator()

just introduces an additional step before Spliterators.spliteratorUnknownSize(iterator, 0), which is how the default method of Iterable.spliterator() is implemented.

So

static <T> Stream<T> iteratorToFiniteStream(final Iterator<T> iterator) {
    final Iterable<T> iterable = () -> iterator;
    return StreamSupport.stream(iterable.spliterator(), false);
}

is just a less efficient variant of

static <T> Stream<T> iteratorToFiniteStream(final Iterator<T> iterator) {
    return StreamSupport.stream(Spliterators.spliteratorUnknownSize(iterator, 0), false);
}

If you compare this to the accepted answer of the Q&A you’ve linked, you’ll see that it is exactly that, but that answer takes the opportunity of passing specific characteristics instead of 0.

Thank you for taking the time to give me a thoughtful and detailed answer — Brad, Jan 25 '17 at 21:15

score 8 · Answer 2 · answered Jan 25 '17 at 00:33

As you've pointed out, assignment from a lambda expression is only valid if the target is a functional interface. This is described in section 15.27.3 of the JLS: Type of a Lambda Expression.

A lambda expression is compatible in an assignment context, invocation context, or casting context with a target type T if T is a functional interface type (§9.8) and the expression is congruent with the function type of the ground target type derived from T.

Jumping to section 9.8: Functional Interfaces, we can see the definition of a functional interface.

A functional interface is an interface that has just one abstract method (aside from the methods of Object), and thus represents a single function contract.

Iterable does satisfy the criteria for a functional interface, because it has only one abstract method: iterator(). (The 2 additional default methods do not violate the criteria, because they are not abstract.) Therefore, the assignment is valid.

Explain how this lambda can be assigned to an Iterable

2 Answers2

Linked