6. 예외 처리

Ada는 프로그램 실행 중 발생하는 오류 및 기타 예기치 않은 이벤트를 관리하기 위해 내장된 예외 처리 메커니즘을 제공합니다. 이 메커니즘의 핵심 원칙은 관심사의 분리입니다: 오류를 감지하는 코드와 이를 처리하는 코드가 분리되어 있습니다.

Ada에서 예외는 형식이 아닌 명명된 객체로 선언됩니다.

-- 패키지 명세에서
Invalid_Input : exception;

비정상적인 상황이 감지되면 raise 문을 사용하여 예외가 발생됩니다. 이는 즉시 정상적인 프로그램 실행을 중단하고 서브프로그램 호출 체인을 따라 예외를 전파하기 시작합니다.

procedure process_data (value : in Integer) is
begin
  if value < 0 then
    raise Invalid_Input with "입력 값은 음수일 수 없습니다";
  end if;
  -- 정상 처리...
end process_data;

예외 처리기는 exception 블록 내에 정의되며, 이 블록은 모든 begin ... end 블록(예: 서브프로그램 본체 또는 declare 블록)의 끝에 위치할 수 있습니다.

begin
  -- 일련의 문장들
  process_data (value => User_Value);
exception
  when Invalid_Input =>
    Ada.Text_IO.put_line ("오류: 유효한 입력을 제공하십시오.");
  when others =>
    Ada.Text_IO.put_line ("예기치 않은 오류가 발생했습니다.");
    raise; -- 현재 예외를 외부 범위에서 처리하도록 다시 발생시킴
end;

이 설계는 모듈식 프로그래밍을 장려합니다. 하위 수준의 유틸리티 패키지는 오류를 감지하고 특정 예외를 발생시킬 수 있지만, 애플리케이션이 어떻게 응답해야 하는지 추정하지 않습니다. 애플리케이션의 전반적인 상태와 요구사항에 적합한 방식으로 예외를 처리하는 것은 상위 수준의 호출 코드의 책임입니다.