6.5 예외 전파

예외가 발생했을 때 현재 실행 중인 블록에 해당 예외를 처리할 수 있는 when 절이 없으면, 예외는 소멸되지 않고 자신을 호출한 코드로 전파됩니다. 이처럼 예외가 호출 스택을 거슬러 올라가는 과정을 예외 전파(exception propagation)라고 합니다.

전파 과정

1. 서브프로그램이나 블록문(declare ... begin ... end) 실행 중 예외가 발생합니다.
2. 해당 블록의 정상적인 실행은 즉시 중단됩니다.
3. Ada 런타임은 해당 블록의 exception 처리 구역에서 발생한 예외와 일치하는 when 절을 찾습니다.
4. 만약 일치하는 when 절이 없으면 (또는 exception 구역 자체가 없으면), 예외는 전파됩니다.
5. 전파된다는 것은, 현재 블록을 호출했던 지점에서 동일한 예외가 다시 발생하는 것을 의미합니다. 이 과정은 적절한 예외 처리기를 만나거나, 태스크의 최상위에 도달할 때까지 반복됩니다.

예시

다음 코드에서 procedure_b는 Constraint_Error에 대한 처리기가 없습니다. 따라서 예외가 발생하면, procedure_b를 호출한 procedure_a로 예외가 전파되어 그곳의 처리기가 실행됩니다.

with Ada.Text_IO;

procedure main_example is

  -- procedure_b를 미리 선언하여 procedure_a에서 호출 가능하게 함

  procedure procedure_b;

  -- procedure_b를 호출하는 procedure_a의 구현

  procedure procedure_a is

  begin

    Ada.Text_IO.put_line ("procedure_b를 호출합니다...");

    procedure_b;

  exception

    when Constraint_Error =>

      Ada.Text_IO.put_line ("procedure_a에서 예외가 처리되었습니다.");

  end procedure_a;

  -- 예외를 발생시키는 procedure_b의 구현

  procedure procedure_b is

    x : Integer := 0;

    y : Integer;

  begin

    Ada.Text_IO.put_line ("procedure_b 내부에서 예외를 발생시킵니다...");

    y := 1 / x;

    -- 위의 나눗셈에서 예외가 발생하므로 이 줄은 실행되지 않음

  end procedure_b;

begin

  -- 프로그램 실행을 시작하기 위해 procedure_a를 호출

  procedure_a;

end main_example;

전파의 규칙

예외 전파에는 다음과 같은 두 가지 규칙이 적용됩니다.

1. 선언부에서의 예외

서브프로그램이나 블록의 선언부(예: is 와 begin 사이)에서 예외가 발생하면, 해당 블록의 exception 처리기는 이를 처리하지 못하고 즉시 상위 실행 문맥으로 전파됩니다.

procedure example is

  -- 선언부에서 Constraint_Error 발생

  n : Positive := 0;

begin

  null;

exception

  -- 이 처리기는 선언부의 예외를 처리할 수 없음

  when Constraint_Error =>

    Ada.Text_IO.put_line ("이 메시지는 출력되지 않습니다.");

end example;

2. 태스크에서의 예외

처리되지 않은 예외가 태스크(task)의 최상위 레벨까지 전파되면, 더 이상 다른 곳으로 전파되지 않고 해당 태스크가 종료됩니다. 자세한 내용은 태스크를 다루는 8.1절에서 다시 설명하겠습니다.