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 b

Answer 1

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.

Answer 2

() -> 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.