Trong khối Java 7 đa khối, loại ngoại lệ bị bắt là gì?

Question

Trong một khối multicatch Java 7 như sau:

try { 
    // code that throws exception 
} catch (CharacterCodingException | UnknownServiceException ex) { 
    // handle exception 
} 

loại thời gian biên dịch ex là gì? Có phải đó là lớp học xuất phát nhất mà cả hai loại ngoại lệ đều có điểm chung? Trong ví dụ này có thể là IOException.

Answer 1

Có, loại ex là loại siêu mẫu cụ thể nhất của cả hai số CharacterCodingException và UnknownServiceException, là IOException.

Edit: Trực tiếp từ miệng của ngựa trên http://cr.openjdk.java.net/~darcy/ProjectCoin/ProjectCoin-Documentation-v0.83.html#multi_catch:

, định lub (ít nhất là trên ràng buộc) là siêu kiểu cụ thể hầu hết các loại trong câu hỏi.

Answer 2

Trong JSL 7 http://docs.oracle.com/javase/specs/jls/se7/html/jls-14.html#jls-14.20-510

§14.20> Loại tuyên bố của một số ngoại lệ mà biểu thị loại của nó như là một sự kết hợp với lựa chọn thay thế D1 | D2 | ... | Dn là lub (D1, D2, ..., Dn) (§15.12.2.7).

Định nghĩa của lub() tức là giới hạn trên ràng buộc khá phức tạp. May mắn thay các loại chúng ta đang nói về ở đây thường chỉ đơn giản là các lớp con không chung chung của Throwable, và lub() mang lại một lớp siêu đặc biệt nhất.

Đối với một trường hợp phức tạp hơn, hãy xem xét

class E1 extends Exception implements G<A> 
class E2 extends Error implements G<B> 

lub(E1, E2) = Throwable & G<?>