Що таке пригнічений виняток?

У коментарі (користувачем soc ) до відповіді на запитання про оптимізацію хвостових викликів згадувалося, що Java 7 має нову функцію, яка називається "пригнічені винятки", через "додавання ARM" (підтримка процесорів ARM?).

Що таке "придушений виняток" у цьому контексті? В інших контекстах "придушений виняток" буде винятком, який було спіймано, а потім проігноровано (рідко хороша ідея); це явно щось інше.

Я вважаю, що коментатор, на який посилається, - це виняток, який напівігнорується, коли він потрапляє в неявний finallyблок блоку try-with-resources , в контексті існуючого винятку, що викидається з tryблоку:

Виняток може бути виведено з блоку коду, пов'язаного з інструкцією try-with-resources. У прикладі writeToFileZipFileContents може бути викинуто виняток із блоку try, а до оператора try-with-resources - до двох винятків, коли він намагається закрити об'єкти ZipFile та BufferedWriter. Якщо виключення викидається з блоку try і одне або кілька винятків викидаються з оператора try-with-resources, тоді ці винятки, викинуті з оператора try-with-resources, пригнічуються, і виняток, який створює блок, є тим що викидається методом writeToFileZipFileContents. Ви можете отримати ці приглушені винятки, викликавши метод Throwable.getSuppressed з винятку, викликаного блоком try.

(Це посилання на розділ під назвою "Пригнічені винятки" на пов'язаній сторінці.)

Щоб пояснити цитату у відповіді Джона, методом може бути створено лише одне виняток (за кожне виконання), але у випадку a try-with-resourcesможливе викидання декількох винятків. Наприклад, один може бути кинутий у блок, а інший може бути викинутий із неявного, finallyнаданого try-with-resources.

Компілятор повинен визначити, кого з них "справді" кинути. Він вирішує кинути виняток, викликаний явним кодом (код у tryблоці), а не виклик неявного коду ( finallyблоку). Тому виключення, викинуті в неявному блоці, придушуються (ігноруються). Це відбувається лише у випадку кількох винятків.

До Java7; У коді є винятки, але їх якось ігнорували.

наприклад)

public class SuppressedExceptions {
  public static void main(String[] args) throws Exception {
    try {
        callTryFinallyBlock();
    } catch (Exception e) {
        e.printStackTrace(); **//Only Finally Exception is Caught**
    }
  }

  private static void callTryFinallyBlock() throws Exception {
    try 
    {
        throw new TryException(); **//This is lost**
    }
    finally
    {
        FinallyException fEx = new FinallyException();
        throw fEx;
    }
  }
}

class TryException extends Exception {
}

class FinallyException extends Exception {
}

Новий конструктор та два нові методи були додані до класу Throwable в JDK 7. Вони наведені нижче:

Throwable.getSupressed(); // Returns Throwable[]
Throwable.addSupressed(aThrowable);

за допомогою цього нового підходу ми можемо впоратися і з тими пригніченими винятками.

public class SuppressedExceptions {
  public static void main(String[] args) throws Exception {
    try {
        callTryFinallyBlock();
    } catch (Exception e) {
        e.printStackTrace();
        for(Throwable t: e.getSuppressed())
        {
            t.printStackTrace();
        }
    }
  }

  private static void callTryFinallyBlock() throws Exception {
    Throwable t = null;
    try 
    {
        throw new TryException();
    }
    catch (Exception e) {
        t = e;
    }
    finally
    {
        FinallyException fEx = new FinallyException();
        if(t != null)fEx.addSuppressed(t);
        throw fEx;
    }
  }
}

class TryException extends Exception {
}

class FinallyException extends Exception {
}

У Java7 спробувати ресурси; виняток у AutoCloseable :: close () додається як вимкнений виняток за замовчуванням разом із винятком try.

Також усвідомлюючи, що це відрізняється від ланцюгових винятків (були введені з JDK 1.4 і мали на меті зробити можливим легко відстеження причинно-наслідкових зв’язків між винятками).

Поступаючись коду нижче:

public class MultipleExceptionsExample {

   static class IOManip implements Closeable{
       @Override
       public void close() {
           throw new RuntimeException("from IOManip.close");
       }
   }

   public static void main(String[] args) {
       try(IOManip ioManip = new IOManip()){
           throw new RuntimeException("from try!");
       }catch(Exception e){
           throw new RuntimeException("from catch!");
       }finally{
           throw new RuntimeException("from finally!");
       }
   }
}

З усіх рядків ви отримаєте: java.lang.RuntimeException: from finally!

Видаливши finallyблок, ви отримаєте:java.lang.RuntimeException: from catch!

Видаливши catchблок, ви отримаєте:

Exception in thread "main" java.lang.RuntimeException: from try!
    Suppressed: java.lang.RuntimeException: from IOManip.close

Пригнічені винятки - це додаткові винятки, які виникають у операторі try-with-resources ( представленому в Java 7 ) при AutoCloseableзакритті ресурсів. Оскільки під час закриття AutoCloseableресурсів можуть виникати кілька винятків , додаткові винятки приєднуються до основного винятку як пригнічені винятки .

Розглядаючи байт-код фрагмента зразка коду try-with-resources, для розміщення семантики try-with-resources використовуються стандартні обробники винятків JVM .

Ви також можете придушити винятки в Java 6 (із невеликою хитрістю),

Я створив утиліту, яка прозоро обробляє придушення винятків у Java 1.6 та Java 1.7. Ви можете знайти реалізацію тут

Все, що вам потрібно, це зателефонувати:

public static <T extends Throwable> T suppress(final T t, final Throwable suppressed) 

придушити виняток, і

public static Throwable [] getSuppressed(final Throwable t) {

отримати приглушені винятки винятків, якщо хтось все ще використовує Java 1.6

ARM - Автоматичне управління ресурсами (представлено з Java 7)

Візьмемо дуже простий приклад

static String readFirstLineFromFileWithFinallyBlock(String path)
                                                     throws IOException {
    BufferedReader br = new BufferedReader(new FileReader(path));
    try {
        return br.readLine();
    } finally {
        if (br != null) br.close();
    }
}

Тепер, якщо readLine()функція викидає виняток, а потім навіть close()функція [у блоці нарешті] викидає виняток, тоді пізніший надається більше пріоритету і повертається до викличної функції. У цьому випадкуException thrown by the readLine() method is ignored/suppressed . Ви можете ланцюжком викликати виняток у вашому винятку і повернути свій виняток з нарешті блокувати.

Оскільки java 7була надана функціональність для отримання пригнічених винятків. Ви можете викликати public final java.lang.Throwable[] getSuppressed()функцію на спійманому об'єкті, який можна кинути, щоб переглянути пригнічені винятки.

Для напр.

static String readFirstLineFromFileWithFinallyBlock(String path)
        throws Exception {
    try (BufferedReader br = new BufferedReader(new FileReader(path));) {
        return br.readLine();
    }
}

Тепер, якщо br.readLine();рядок кидає, Exception1а потім дозволяє сказати Exception2, що кидається під час закриття ресурсу [уявіть, що це відбувається в неявному остаточному блоці, який створює оператор try-with-resource], тоді Exception1 придушує Exception2.

Тут слід відзначити кілька пунктів -

1. Якщо блок try-with-resource видає виняток, тобто під час створення екземпляра ресурсу, тоді блок try не буде виконуватися, і буде викинутий той самий виняток.
2. Якщо створення екземпляра ресурсу успішне, спроба блоку викидає виняток, а виняток створюється під час закриття ресурсу, тоді виняток, викинутий під час закриття ресурсу, придушується винятком, викинутим із блоку try.
3. Якщо ви надаєте явний блок нарешті, а виняток викидається з цього блоку, він буде придушувати всі інші виключення. (Цей явний блок нарешті виконується після закриття ресурсів)

Я скомпілював більшість можливих сценаріїв із фрагментами коду та результатами в наступному дописі.

Пригнічені винятки в Java 7

Сподіваюся, що це допомагає.

Думаю, це пов’язано з "ланцюжком винятків". Це вплине на те, як обробляється виняток цим засобом у міру еволюції трасування стека. З часом винятки, які входять до групи ланцюгових винятків, можуть бути припинені. Подивіться документацію Throwable, щоб отримати докладнішу інформацію.