예외처리하기(4) try~catch와 finally

try 블록에서 코드를 실행하다가 예외가 던져지면 프로그램의 실행이 catch 절로 바로 뛰어넘어온다.

만약 예외 때문에 try 블록의 자원 해제 같은 중요한 코드를 미처 실행하지 못한다면?

이는 곧 버그를 만드는 원인이 될 것이다!

 

예를 들어 다음 코드와 같이 try 블록 끝에 데이터베이스의 커넥션을 닫는 코드가 있었는데 갑자기 발생한 예외 때문에 이것을 실행하지 못한다면 사용할 수 있는 커넥션이 점점 줄어 나중에는 데이터베이스에 전혀 연결할 수 없는 상태에 이를 수 있다. 

<예시>

            try
            {
                dbconn.Open();  //dbconn은 데이터베이스 커넥션
                //...
                dbconn.Close(); //이런 코드는 버그를 일으킬 가능성이 높다.
            }
            catch (xxxException e) 
            {
                //...
            }

그렇다고 자원을 해제하는 코드를 모든 catch 절에 배치하는 것도 코드 반복이 발생하여 좋아보이지 않는다.

            try
            {
                dbconn.Open();
                //...
                dbconn.Close(); //코드 중복!!!
            }
            catch (xxxException e) 
            {
                //...
                dbconn.Close();//코드 중복!!!
            }
            catch (xxxException e)
            {
                //...
                dbconn.Close();//코드 중복!!!
            }

 

C#에서는 예외 처리를 할 때 자원 해제 같은 뒷마무리를 우아하게 실행할 수 있도록 finally 절을 try~catch 문과 함께 제공한다. finally 절은 try~catch 문의 제일 마지막에 연결해서 사용하는데, 다음과 같이 뒷정리 코드를 넣어두면 된다.

            try
            {
                dbconn.Open();
                //...
            }
            catch (xxxException e) 
            {
                //...

            }
            catch (xxxException e)
            {
                //...

            }
            finally
            {
                dbconn.Close(); //우아한 처리
            }

 

자신이 소속된 try절이 실행된다면 finally절은 어떤 경우라도 실행된다. 심지어 try절 안에서 return 문이나 throw 문이 사용되더라도(이 두문장은 프로그램의 흐름 제어를 외부 코드로 옮긴다) finally 절은 꼭 실행된다. 이 메소드를 실행하면 예외가 일어나든 일어나지 않든 반드시 finally 절의 코드를 실행한다.

        static int Divide(int dividend,int divisor)
        {
            try
            {
                WriteLine("Divide() 시작");
                return dividend / divisor; //예외가 일어나지 않고,
                //정상적으로 return을 하더라도 finally 절은 실행된다.
            }
            catch (DivideByZeroException e)
            {
                WriteLine("Divide() 예외 발생");
                throw e; //예외가 일어나더라도 finally 절은 실행된다.
            }
            finally
            {
                WriteLine("Divide() 끝");
            }
        }

 

 

다음은 finally 절을 사용하는 예제 프로그램이다.

using System;
using System.Collections;
using static System.Console;

namespace Finally
{
    class MainApp
{
    static int Divide(int dividend, int divisor)
    {
        try
        {
            WriteLine("Divide() 시작");
            return dividend / divisor; //예외가 일어나지 않고 정상적으로 return을 하더라도 finally 절은 실행된다.
        }
        catch (DivideByZeroException e)
        {
            WriteLine("Divide() 예외 발생");
            throw e; //예외가 일어나더라도 finally 절은 실행된다.
        }
        finally
        {
            WriteLine("Divide() 끝");
        }
    }
    static void Main(string[] args)
    {
        try
        {
            WriteLine("제수를 입력하세요 : ");
            String temp = ReadLine();
            int dividend = Convert.ToInt32(temp);

            WriteLine("피제수를 입력하세요 : ");
            temp = ReadLine();
            int divisor = Convert.ToInt32(temp);

            WriteLine($"{dividend}/{divisor}={Divide(dividend,divisor)}");
        }
        catch(FormatException e)
        {
            WriteLine("에러 : " + e.Message);
        }
        catch(DivideByZeroException e)
        {
            WriteLine("에러 : "+ e.Message);
        }
        finally
        {
            WriteLine("프로그램을 종료합니다.");
        }
    }
    }
}

 

<출력예1>

제수를 입력하세요 :
10
피제수를 입력하세요 :
2
Divide() 시작
Divide() 끝
10/2=5
프로그램을 종료합니다.

 

 

<출력예2>

제수를 입력하세요 :
40
피제수를 입력하세요 :
십
에러 : 입력 문자열의 형식이 잘못되었습니다.
프로그램을 종료합니다.

 

<출력예3>

제수를 입력하세요 :
40
피제수를 입력하세요 :
0
Divide() 시작
Divide() 예외 발생
Divide() 끝
에러 : 0으로 나누려 했습니다.
프로그램을 종료합니다.

 

 

finally 안에서 예외가 또 일어나면?

finally 블록에서 예외가 일어나면 받아주거나 처리해주는 코드가 없으므로 이 예외는 '처리되지 않은 예외'가 된다. 코들르 면밀히 살펴 예외가 일어나지 않도록 하거나 현재 수준의 코드에서 예외가 일어날 가능성을 완전히 배제할 수 없다면 이 안에서 다시 한번 try~catch 절을 사용하는 것도 방법이다.