Прикольно. Я это понимаю следующим образом.



Вот эту часть кода вы пропустили, хотя она важна для понимания. Метод Consumer_WithExceptions#accept() объявляет, что он кидает нечто, что наследуется от Exception. Если этот метод где-то будет вызываться, то компилятор заставит нас написать обработку ошибки.



Здесь Exception превращается в нечто, что наследуется от Throwable (т.е. буквально "любая ошибка": Error, Exception или RuntimeException). Каст нужен, потому что E и Exception - это не один и тот же тип, и если не написать каст, то компилятор попросить объявить Exception в перечне выбрасываемых ошибок (т.е. дописать throws E, Exception). Каст разрешен, потому что upper bound E - это Throwable, и приведение Exception -> Throwable корректно. Но при этом каст небезопасный, так как компилятор не может знать, к чему реально будет привязан E в рантайме. При этом в данном случае это и неважно, поскольку то что выбрасывается через throw, можно присвоить к чему-то только через catch(), и если тип не совпадет, то вместо ClassCastException catch просто не будет вызван, т.е. программа никак не может спровоцировать некорректное приведение типов.



Зная, что Consumer_WithExceptions#accept() кидает Exception, компилятор обязывает нас его как-то обработать. Перебросить мы его не можем, так как метод rethrowConsumer возвращает java.util.Consumer, у которого метод accept() уже не объявляет исключений. Т.е. единственный вариант это catch. Держим в уме, что помимо Exception любой метод может бросить RuntimeException или Error. Ни то, ни другое обработки не требует; при этом RuntimeException будет обработан в catch(Exception e), а Error вылетит, минуя обработку.



rethrowConsumer возвращает java.util.Consumer, что и требуется для Stream#forEach.



Тип лямбды в данном контексте вычисляется компилятором как Consumer_WithExceptions<String, ClassNotFoundException>, и поскольку метод rethrowConsumer компилируется, то это с т.з. компилятора значит, что ClassNotFoundException в нем корректно обрабатывается (и мы действительно видели, что внутри есть try{} catch(Exception), который перехватит ClassNotFoundException).

--

С моей точки зрения, такой код лучше не писать.

redwhite90,

Тут работает автовыведение типов. Наверно, подразумевается, что если ошибка объявлена как некий наследник Throwable, то это может быть как checked, так и unchecked exception, и поэтому заставлять обрабатывать такую ошибку не следует.



E выводится как RuntimeException, о чем выше написал Alexey Tomin.

Если написать явно:


То потребуется написать обработку ошибки.

redwhite90Andrei Tredwhite90,

Тут работает автовыведение типов. Наверно, подразумевается, что если ошибка объявлена как некий наследник Throwable, то это может быть как checked, так и unchecked exception, и поэтому заставлять обрабатывать такую ошибку не следует.



E выводится как RuntimeException, о чем выше написал Alexey Tomin.

Если написать явно:


То потребуется написать обработку ошибки.

То, что получается рантайм я и так вижу.

Почему он получается?
http://docs.oracle.com/javase/specs/jls/se8/html/jls-18.html#jls-18.1.3

Usmanredwhite90пропущено...


Нет, багой выглядит то, что после хитрого каста генерика мы можем выплюнуть чекед эксепшн и не декларировать его нигде https://dzone.com/articles/throw-checked-exceptions

Побочный эффект "стирания" generic'а:
- <E extends Throwable> трактуется как <RuntimeException>
- Кастинг t в RuntimeException не вызывает ClassCastException
- Стирание происходит во время компиляции, а также стирается сам кастинг и остается оригинальное исключение

На самом деле там остается не оригинальное исключение, а upper bound дженерика, т.е. Throwable:



Для сравнения байткод Consumer_WithExceptions#accept():



То что <E extends Throwable> трактуется как <RuntimeException>, это, как мне кажется, не побочный, а вполне намеренный эффект (не удивлюсь если где-нибудь в JLS это указано как special case). Логика по-видимому такая, что заставлять писать try{} catch (Throwable e){} некошерно, т.к. тогда код будет ловить все подряд, включая то, что ловить не следует.

Usman, я думал ты про типы после компиляции :)