2

Consider the following example:

public class LambdaArgsTest {
    private static void display(Supplier<?> arg) {
        try {
            // this is the place where the Exception("wrong") might be thrown
            // and it is in fact handled
            System.out.println(arg.get());
        } catch (Exception e) {
            e.printStackTrace();
        }
    }

    public static void main(String[] args) {
        display(() -> {
            if(/*some condition*/) {
                // this statement will be rejected due to unhandled exception
                throw new Exception("wrong");
            }
            return "abcde";
        });
    }
}

Here comes the question: the lambda argument in the above example is an object that'll be executed later inside the "display()" method. It is obviously not executed when passing the arguments to the "display()".

Why is it rejected by the compiler? I think it's quite reasonable to surround it by try...catch only when the lambda is actually called.

Zhou
  • 633
  • 5
  • 16
  • 1
    Because checked exceptions need to be declared or caught, and you do neither. It doesn't matter when they might be thrown. – daniu Oct 09 '20 at 14:54
  • See https://stackoverflow.com/questions/18198176/java-8-lambda-function-that-throws-exception – Wim Deblauwe Oct 09 '20 at 15:11
  • 2
    If you change the `Supplier` to `Callable` which does throw an expectation it will compile just fine. – Peter Lawrey Oct 09 '20 at 15:54
  • 1
    It is not uncommon to add a `ThrowingSupplier` such as the one I wrote for this purpose. https://www.javadoc.io/doc/net.openhft/chronicle-core/latest/net/openhft/chronicle/core/util/ThrowingSupplier.html – Peter Lawrey Oct 09 '20 at 15:56

1 Answers1

5

This is because of the signature of Supplier functional interface:

T get();

As you see, the method get is not declared to throw Exception (neither any other checked exception).

In Java, there are checked vs unchecked exceptions (unchecked exceptions are those which inherit from RuntimeException). Checked exceptions must be handled, either by catching them in a catch block, or by declaring that the method throws that exception.

If the signature of Supplier.get were:

T get() throws Exception:

The code would compile fine.

Try throwing RuntimeException instead of Exception and the code will compile fine.

EDIT: As per Peter Lawrey's suggestion in the comments, if you do need to throw a checked exception from within your lambda expression, you could use e.g. Callable, whose only one method's signature is as follows:

T call() throws Exception;

You'd just need to pass a Callable to your display method instead of a Supplier.

fps
  • 33,623
  • 8
  • 55
  • 110