예외 처리

오류(error)와 예외(exception)

자바 프로그램을 작성할 때 자바 문법에 맞지 않게 코드를 작성하고 컴파일하려고 하면, 자바 컴파일러는 문법 오류(syntax error)를 발생 시킨다.

또한, 자바 문법에는 맞게 작성되었다 하더라도 프로그램이 실행되면서 예상하지 못한 오류가 발생할 수 있다.

이렇게 컴퓨터 시스템이 동작하는 도중에 예상하지 못한 사태가 발생하여 실행 중인 프로그램이 영향을 받는 것을 오류(error)와 예외(Exception) 두 가지로 구분할 수 있다.

오류(error)는 시스템 레벨에서 프로그램에 심각한 문제를 야기하여 실행 중인 프로그램을 종료시킨다.

이러한 오류는 개발자가 미리 예측하여 처리할 수 없는 것이 대부분이므로, 오류에 대한 처리는 할 수 없다.

하지만 예외(exception)는 오류와 마찬가지로 실행 중인 프로그램을 비정상적으로 종료시키지만, 발생할수 있는 상황을 미리 예측하여 처리할 수 있다.

따라서 개발자는 예외처리(exception handling)를 통해 예외 상황을 처리할 수 있도록 코드의 흐름을 바꿀 필요가 있다.

예외 처리(exception handling)

자바에서는 프로그램이 실행되는 도중 발생하는 예외를 처리하기 위해 try / cahtch / finally 문을 사용할 수 있다.

try {
 
    예외를 처리하길 원하는 실행 코드;
 
} catch (e1) {
 
    e1 예외가 발생할 경우에 실행될 코드;
 
} catch (e2) {
 
    e2 예외가 발생할 경우에 실행될 코드;
 
}
 
...
 
finally {
 
    예외 발생 여부와 상관없이 무조건 실행될 코드;
 
}

1. try 블록: 기본적으로 맨 먼저 실행되는 코드로 여기에서 발생한 예외는 catch 블록에서 처리된다.

2. catch 블록: try 블록에서 발생한 예외 코드나 예외 객체를 인수로 전달받아 그 처리를 담당.

3. finally 블록: 이 블록은 try 블록에서 예외가 발생하건 안 하건 맨 마지막에 무조건 실행한다.

catch 블록과 finally 블록은 선택적인 옵션으로 반드시 사용할 필요는 없다.

하지만 다른 제어문과는 달리 예외 처리문은 중괄호({})를 생략할 수 없다.

예외 처리 매커니즘

자바에서 예외 처리는 다음과 같은 순서로 진행된다.

1. try 블록에 도달한 프로그램의 제어는 try블록 내의 코드를 실행한다. 이때 만약 예외가 발생(throws)하지 않고, finally 블록이 존재하면 프로그램의 제어는 바로 finally 블록으로 이동한다.

2. try 블록에서 예외가 발생하면 catch 핸들러는 다음과 같은 순서로 적절한 catch 블록을 찾게 된다.

2-1. 스택에서 try 블록과 가장 가까운 catch 블록부터 차례대로 검사합니다.

2-2. 만약 적절한 catch 블록을 찾지 못하면, 바로 다음 바깥쪽 try 블록 다음에 위치한 catch 블록을 차례대로 검사한다.

2-3. 이러한 과정을 가장 바깥쪽 try 블록까지 계속 검사하게 된다.

2-4. 그래도 적절한 catch 블록을 찾지 못하면, 예외는 처리되지 못한다.

3. 만약 적절한 catch 블록을 찾게 되면, throw 문의 피연산자는 예외 객체의 형식 매개변수로 전달된다.

4. 모든 예외 처리가 끝나면 프로그램의 제어는 finally 블록으로 이동한다.

5. finally 블록이 모두 처리되면, 프로그램의 제어는 예외 처리문 바로 다음으로 이동한다.

만약 1번 try 블록에서 예외가 발생하지 않고, 바깥쪽 try 블록에서도 예외가 발생하지 않으면, 6번 finally블록이 바로 실행될 것이다.

하지만 1번 try 블록에서 예외가 발생하면, 2번과 3번 catch 블록에서 해당 예외를 처리할 수 있는지 검사하게된다.

만약 적절한 catch 블록을 찾지 못하면, 바깥쪽 try 블록의 4번과 5번 catch 블록도 차례대로 검사하게 된다.

이때 해당 예외를 처리할 수 있는 catch 블록을 찾게 되면, 해당 catch 블록을 실행한 후 6번 finally 블록을 실행한다.

하지만 모든 catch 블록이 해당 예외를 처리할 수 없으면, 예외는 처리되지 못한 채 해당 프로그램은 강제 종료될 것이다.

참고링크: http://tcpschool.com/java/java_exception_intro (TCP school)