"영구적으로"
"절대"
"쉽게 비유하자면... 과 같습니다"

아.. 제미니한테 글 맡기면 저렇게 주관적으로 작성됨. ㅎㅎ

제미니는 분명 주관이 없을텐데 말야. ㅎㅎ

그래서 "주관적 표현을 모두 제거하라",

"레퍼런스 매뉴얼에 입각하여 개선하라",

"주관적 평가를 모두 제거하라"

"학술적으로 작성하라"

"저작권 침해 소지를 제거하라"

이렇게 매번 명령해야 함.

Ada의 예외 처리: 종료 모델 (Termination Model)

Ada에서 예외가 발생하면, 해당 예외를 일으킨 코드 블록(begin ... end 또는 서브프로그램)의 실행은 즉시 **영구적으로 중단(terminate)**됩니다.

제어권은 그 블록의 끝에 있는 예외 핸들러로 이전되어 필요한 후속 조치를 수행하지만, 핸들러의 실행이 끝나면 제어권은 예외가 발생했던 지점으로 절대 돌아가지 않습니다. 대신, 예외 핸들러를 포함했던 전체 블록 다음으로 실행을 이어갑니다.

쉽게 비유하자면, 응급실에 실려 온 환자를 치료(예외 처리)한 후, 환자를 다치기 직전의 시간으로 되돌려 보낼 수 없는 것과 같습니다.

재실행을 구현하는 방법: 반복문 (Loop)

하지만 사용자가 원하는 수정 후 재시도 로직은 반복문을 사용하여 구현할 수 있습니다. 이는 Ada에서 흔히 사용되는 매우 일반적인 패턴입니다.

다음은 잘못된 인덱스를 교정하고 배열 접근을 재시도하는 예시 코드입니다.

declare
   A : array (1..10) of Integer;
   Index : Integer := 11; -- 고의로 잘못된 인덱스 설정
begin
   loop
      begin
         -- 예외가 발생할 수 있는 위험한 작업
         A(Index) := 100;
         Put_Line ("성공적으로 값을 할당했습니다.");
         
         exit; -- 성공 시 반복문 탈출

      exception
         when Constraint_Error =>
            Put_Line ("잘못된 인덱스(" & Index'Image & ")를 감지했습니다. 수정합니다.");
            -- 인덱스를 올바른 범위로 교정
            if Index > A'Last then
               Index := A'Last;
            elsif Index < A'First then
               Index := A'First;
            end if;
            -- 핸들러가 끝나면 loop의 처음으로 돌아가 재시도 🔁
      end;
   end loop;

   Put_Line ("최종 할당된 인덱스: " & Index'Image);
end;

이처럼 Ada는 예외 발생 지점으로의 복귀를 허용하지 않지만, 반복문과 예외 핸들러를 조합하여 유사한 재시도 로직을 안전하고 명확하게 구현할 수 있습니다.