예외(Exception)

에러나 다른 사건이 프로그램의 정상적인 실행을 방해하면 예외(exception)가 발생합니다.
예외는 예외 핸들러로 제어를 넘김으로써 정상적인 프로그램 로직과 에러 처리를 분리할 수
있도록 해줍니다. 예외는 객체이므로 상속을 통해 계층적으로 그룹화할 수 있으며, 기존 코
드에 영향을 주지 않고 새로운 예외를 만들 수 있습니다. 예외는 에러 메시지와 같은 정보를
예외가 발생한 위치로부터 처리된 위치로 전달할 수 있습니다.
애플리케이션에서 SysUtils 유닛을 uses 하면 대부분의 런타임 에러는 자동으로 예외로 변
환됩니다. 메모리 부족, 0으로 나누기, 일반 보호 에러 등 처리하지 않으면 애플리케이션을
종료시키는 많은 에러들을 잡아 처리할 수 있습니다.


예외를 사용하는 시기
예외는 프로그램을 중단시키지 않고 불편한 조건문 없이 런타임 에러를 우아하게 처리할 수
있게 해줍니다. 예외 처리를 이용하는 방식은 코드/데이터 크기 및 런타임 성능 면에서는 불
리합니다.
거의 모든 이유로 예외를 발생시킬 수 있으며 어떤 코드 블럭이든 try...except 또는
try...finally 문을 사용하여 보호할 수 있지만, 실제로 특별한 경우에만 예외 처리를 사용하
는 것이 가장 좋습니다.
예외 처리는 드물게 발생하거나 판단하기 어렵지만 그 결과는 대단히 심각한(애플리케이션
의 갑작스런 중지 등) 에러에 적합합니다. if...then 문으로 테스트하기 복잡하거나 어려운
경우, 운영 체제에서 발생한 예외를 처리해야 하는 경우, 소스 코드를 직접 관리할 수 없는
루틴에서 발생하는 예외를 처리해야 하는 경우 등입니다. 예외는 하드웨어, 메모리, I/O, 운
영 체제 에러에서 흔히 사용됩니다.
조건문이 에러를 테스트하기 위해 가장 좋은 방법인 경우가 종종 있습니다. 예를 들어, 파일
을 열기 전에 파일이 존재하는지 확인하고 싶은 경우를 가정해 보십시오. 다음과 같은 방법
으로 할 수도 있습니다.

1.png

그러나 다음의 코드를 사용하여 예외 처리의 오버헤드를 피할 수도 있습니다.

2.png

어서션(assertion)은 소스 코드의 어느 곳에서나 부울 조건을 테스트할 수 있는 또다른 방법
입니다. Assert 문이 실패하면 런타임 에러를 내고 프로그램이 중단되거나(SysUtils 유닛을
uses 하는 경우) EAssertionFailed 예외가 발생합니다. 어서션은 발생할 것으로 생각하지
못하는 조건을 테스트하기 위해서만 사용되어야 합니다. 자세한 내용은 Assert 표준 프로시
저의 온라인 헬프를 참조하십시오.


예외 타입의 선언
예외 타입은 다른 클래스와 마찬가지로 선언됩니다. 실제로 어떤 클래스의 인스턴스든 예외
로 사용할 수 있지만, SysUtils에 정의된 Exception 클래스에서 예외 클래스를 파생하는 것
이 바람직합니다.
상속을 이용하여 예외를 패밀리로 그룹화할 수 있습니다. 예를 들어, SysUtils에 있는 다음
의 선언은 수학적인 에러의 예외 타입 패밀리를 정의합니다.

3.png

위와 같이 선언한 후에는 EInvalidOp, EZeroDivide, EOverflow 및 EUnderflow를 처리하
는 단일 EMathError 예외 핸들러를 정의할 수 있습니다.
예외 클래스는 경우에 따라 에러에 대한 추가 정보를 전달하는 필드, 메소드, 속성을 정의합
니다. 예를 들면, 다음과 같습니다.

4.png