Một ngoại lệ bị đàn áp là gì?

Một nhận xét (của người dùng soc ) về câu trả lời cho câu hỏi về tối ưu hóa cuộc gọi đuôi đã đề cập rằng Java 7 có một tính năng mới được gọi là "ngoại lệ bị loại bỏ", vì "việc bổ sung ARM" (hỗ trợ cho CPU ARM?).

"Ngoại lệ bị đàn áp" trong bối cảnh này là gì? Trong các ngữ cảnh khác, một "ngoại lệ bị triệt tiêu" sẽ là một ngoại lệ bị bắt và sau đó bị bỏ qua (hiếm khi là một ý kiến ​​hay); đây rõ ràng là một cái gì đó khác nhau.

Tôi tin rằng người bình luận đang đề cập đến là một ngoại lệ bị bỏ qua một nửa khi nó được ném vào trong finallykhối ẩn của khối try-with-resources , trong bối cảnh một ngoại lệ hiện có được ném ra khỏi trykhối:

Một ngoại lệ có thể được đưa ra từ khối mã được liên kết với câu lệnh try-with-resources. Trong ví dụ writeToFileZipFileContents, một ngoại lệ có thể được ném ra từ khối try và có thể ném tối đa hai ngoại lệ từ câu lệnh try-with-resources khi nó cố gắng đóng các đối tượng ZipFile và BufferedWriter. Nếu một ngoại lệ được ném ra từ khối try và một hoặc nhiều ngoại lệ được ném ra khỏi câu lệnh try-with-resources, thì những ngoại lệ đó được ném ra từ câu lệnh try-with-resources sẽ bị loại bỏ và ngoại lệ do khối ném ra là một được ném bởi phương thức writeToFileZipFileContents. Bạn có thể truy xuất các ngoại lệ bị loại bỏ này bằng cách gọi phương thức Throwable.getSuppressed từ ngoại lệ được ném bởi khối try.

(Đó là trích dẫn một phần có tên "Ngoại lệ bị Loại bỏ" từ trang được liên kết.)

Để làm rõ câu trích dẫn trong câu trả lời của Jon, chỉ có một ngoại lệ có thể được đưa ra bởi một phương thức (mỗi lần thực hiện) nhưng trong trường hợp a try-with-resources, nhiều ngoại lệ có thể được ném ra. Ví dụ: một cái có thể được ném vào trong khối và cái khác có thể được ném từ hàm ngầm finallyđược cung cấp bởi try-with-resources.

Trình biên dịch phải xác định cái nào trong số này để ném "thực sự". Nó chọn ném ngoại lệ được nêu ra trong mã rõ ràng (mã trong trykhối) thay vì ngoại lệ được ném bởi mã ngầm ( finallykhối). Do đó (các) ngoại lệ được đưa vào khối ngầm định bị loại bỏ (bỏ qua). Điều này chỉ xảy ra trong trường hợp có nhiều ngoại lệ.

Trước Java7; Có những ngoại lệ được đưa ra trong mã nhưng bằng cách nào đó đã bị bỏ qua.

ví dụ)

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 {
}

Một hàm tạo mới và hai phương thức mới đã được thêm vào lớp Throwable trong JDK 7. Chúng như sau:

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

với cách tiếp cận mới này, chúng tôi cũng có thể xử lý những ngoại lệ bị triệt tiêu đó.

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 {
}

Trong Java7 try-with-resources; ngoại lệ tại AutoClosable :: close () được thêm làm ngoại lệ bị loại bỏ theo mặc định cùng với ngoại lệ thử.

Cũng cần biết rằng điều này khác với các ngoại lệ theo chuỗi (đã được giới thiệu với JDK 1.4 và nhằm mục đích giúp bạn có thể dễ dàng theo dõi các mối quan hệ nhân quả giữa các ngoại lệ.)

Chuyển đổi mã bên dưới:

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!");
       }
   }
}

Với tất cả các dòng, bạn sẽ nhận được: java.lang.RuntimeException: from finally!

Xóa finallykhối bạn sẽ nhận được:java.lang.RuntimeException: from catch!

Xóa catchkhối bạn sẽ nhận được:

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

Các ngoại lệ bị loại bỏ là các ngoại lệ bổ sung xảy ra trong câu lệnh try-with-resources (được giới thiệu trong Java 7 ) khi AutoCloseabletài nguyên bị đóng. Bởi vì nhiều ngoại lệ có thể xảy ra trong khi đóng AutoCloseabletài nguyên, các ngoại lệ bổ sung được gắn vào một ngoại lệ chính như là các ngoại lệ bị triệt tiêu .

Nhìn vào bytecode của một đoạn mã mẫu try-with-resources, các trình xử lý ngoại lệ JVM tiêu chuẩn được sử dụng để phù hợp với ngữ nghĩa try-with-resources.

Bạn cũng có thể loại bỏ các Ngoại lệ trong Java 6 (một thủ thuật nhỏ liên quan),

Tôi đã tạo một tiện ích xử lý minh bạch ngoại lệ ngăn chặn trong Java 1.6 và Java 1.7. Bạn có thể tìm thấy cách triển khai tại đây

Tất cả những gì bạn cần là gọi:

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

để áp dụng một ngoại lệ, và

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

để có được các ngoại lệ bị triệt tiêu của một Ngoại lệ, trong trường hợp ai đó vẫn sử dụng Java 1.6

ARM - Quản lý tài nguyên tự động (Được giới thiệu từ Java 7)

Lấy một ví dụ rất đơn giản

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

Bây giờ nếu readLine()hàm ném Ngoại lệ và sau đó close()hàm chẵn [trong khối cuối cùng] ném ngoại lệ thì cái sau được ưu tiên hơn và được ném trở lại hàm đang gọi. Trong trường hợp này,Exception thrown by the readLine() method is ignored/suppressed . Bạn có thể liên kết ngoại lệ gây ra ngoại lệ trong ngoại lệ của mình và lặp lại ngoại lệ từ khối cuối cùng.

Vì java 7chức năng đã được cung cấp để truy xuất các Ngoại lệ bị chặn. Bạn có thể gọi public final java.lang.Throwable[] getSuppressed()hàm trên đối tượng có thể ném được đã bắt để xem các Ngoại lệ bị triệt tiêu.

Ví dụ:

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

Bây giờ nếu br.readLine();dòng ném Exception1và sau đó cho phép nói Exception2được ném ra trong khi đóng tài nguyên [Hãy tưởng tượng điều này xảy ra trong một khối cuối cùng ngầm định mà câu lệnh try-with-resource tạo ra] thì Exception1 loại bỏ Exception2.

Một số điểm cần lưu ý ở đây -

1. Nếu khối try-with-resource ném ra ngoại lệ, tức là trong khi tài nguyên khởi tạo thì khối try sẽ không thực thi và cùng một ngoại lệ sẽ được ném ra.
2. Nếu việc khởi tạo tài nguyên thành công, hãy thử khối ném một ngoại lệ và ngoại lệ được ném ra trong khi đóng tài nguyên thì ngoại lệ được ném ra trong khi đóng tài nguyên sẽ bị loại bỏ bởi ngoại lệ được ném từ khối thử.
3. Nếu bạn cung cấp khối cuối cùng rõ ràng và ngoại lệ được ném từ khối đó, nó sẽ ngăn chặn tất cả các ngoại lệ khác. (Khối cuối cùng rõ ràng này thực thi sau khi tài nguyên bị đóng)

Tôi đã biên soạn hầu hết các tình huống có thể xảy ra với các đoạn mã và đầu ra trong bài đăng sau.

Đã loại bỏ các ngoại lệ trong java 7

Hy vọng rằng sẽ giúp.

Tôi nghĩ rằng điều này phải làm với "cơ sở ngoại lệ chuỗi". Nó sẽ ảnh hưởng đến cách một ngoại lệ được xử lý bởi cơ sở này khi dấu vết ngăn xếp phát triển. Theo thời gian, các ngoại lệ nằm trong nhóm ngoại lệ được xâu chuỗi có thể bị loại bỏ. Xem tài liệu Throwable để biết thêm chi tiết.