Обработка проверяемых исключений в Java 8 Lambdas и Streams

При использовании Java 8 Lambdas и Streams есть желание, чтобы выбросить проверенные исключения, не прибегая к исключениям или исключениям запуска или obstructive Trap/CatcLective Block. Однако вопреки ожиданиям:

ограничения с проверенными исключениями: ]

, к сожалению, текущие функциональные интерфейсы Java 8, включая Stream.map (), не поддерживают подтвержденные исключения. Этот дефицит проистекает из объявления параметров отсутствия типа в функциональных интерфейсах, в котором указывается обработка проверенных исключений.

потенциальное решение (пропущенная возможность):

более подходящий дизайн мог бы включить параметр типа, который откровенно определяет типы исключений, которые функционируют. Такой механизм облегчит бесшовное прохождение проверенных исключений вдоль потоковой конвейера:

interface Function {
    // Explicit declaration of potential exceptions.
    R apply(T t) throws E;
}

interface Stream {
    // Pass-through type parameters for exceptions.
     Stream map(Function mapper) throws E;
}

С этим подходом компилятор может точно вывести типы исключений, которые операции потока будут обрабатывать, позволяя прозрачно обработать исключение. Несмотря на доступные обходные пути, они либо требуют преобразования исключений среды выполнения, либо требуют громоздких блоков Try/Catch в потоке. Отсутствие комплексного решения подчеркивает ограничения текущей конструкции функционального интерфейса при обработке проверенных исключений.