디시인사이드 갤러리

갤러리 이슈박스, 최근방문 갤러리

갤러리 본문 영역

러빨러도 울고 갈, Ada 예외 처리, 6.2 예외 발생시키기

나르시갤로그로 이동합니다. 2025.09.16 02:22:29
조회 57 추천 0 댓글 0

6.2 예외 발생시키기 (raising exceptions)

6.2.1 묵시적 발생 (implicit raising)

프로그래머가 예외를 접하는 일반적인 경로는 묵시적 발생입니다. 이는 Ada 언어가 프로그램의 안정성 및 정확성 보장을 위해 내장한 언어 정의 런타임 검사(language-defined check)가 실패했을 때 발생합니다.

런타임 검사는 프로그램 실행 중에 특정 연산이 유효한지를 확인하는 자동화된 과정입니다. 만약 검사 조건이 거짓으로 판명되면, 검사는 실패하고 그에 상응하는 미리 정의된 예외가 자동으로 발생합니다.

다음은 런타임 검사 실패로 인해 Constraint_Error가 묵시적으로 발생하는 사례들입니다.

인덱스 범위 위반 (Index_Check 실패)

배열에 정의된 범위를 벗어나는 인덱스로 접근하려 할 때 Index_Check가 실패하여 Constraint_Error가 발생합니다.

my_array : array (1 .. 4) of Integer;
value    : Integer;
...
value := my_array(5); -- 5는 1..4 범위를 벗어나므로 Constraint_Error 발생

0으로 나누기 (Division_Check 실패)

숫자를 0으로 나누려고 시도하면 Division_Check가 실패하여 Constraint_Error가 발생합니다.

a      : Integer := 10;
b      : Integer := 0;
result : Integer;
...
result := a / b; -- 0으로 나누므로 Constraint_Error 발생

널(null) 접근 (Access_Check 실패)

null 값을 가지는 접근 타입(access type) 변수를 역참조(dereference)하려 하면 Access_Check가 실패하여 Constraint_Error가 발생합니다.

type Int_Access is access Integer;
ptr   : Int_Access := null;
value : Integer;
...
value := ptr.all; -- null을 역참조하므로 Constraint_Error 발생

묵시적으로 발생할 수 있는 예외와 그와 관련된 언어 정의 런타임 검사를 정리하면 다음과 같습니다.

Constraint_Error는 어떤 값이 특정 제약 조건(constraint)을 위반할 때 다음과 같은 런타임 검사가 실패하여 발생합니다.

  • Access_Check: 값이 널(null)이 아니어야 하는 경우 이를 검사합니다.
  • Discriminant_Check: 복합 객체의 판별자(discriminant)가 올바른 값을 가졌는지 검사합니다.
  • Division_Check: 나눗셈 연산(/, rem, mod)의 두 번째 피연산자가 0이 아닌지 검사합니다.
  • Index_Check: 배열의 인덱스 값이 경계 내에 있는지 검사합니다.
  • Length_Check: 두 배열의 길이가 일치하는지 검사합니다.
  • Overflow_Check: 스칼라 값이 해당 타입의 기본 범위를 벗어나지 않는지 검사합니다.
  • Range_Check: 스칼라 값이 특정 범위 제약 조건을 만족하는지 검사합니다.
  • Tag_Check: 태그드 타입(tagged type)의 태그가 올바른지 검사합니다.

Program_Error는 프로그램의 실행 순서나 접근 규칙 등 논리적으로 실행될 수 없는 상황에서 다음과 같은 런타임 검사가 실패하여 발생합니다.

  • Accessibility_Check: 접근하려는 객체의 접근성 수준(accessibility level)을 검사합니다.
  • Allocation_Check: 할당자(allocator)가 호출될 때 태스크가 올바른 상태인지 등을 검사합니다.
  • Elaboration_Check: 호출하려는 서브프로그램 등의 몸체가 이미 정교화(elaborated)되었는지 검사합니다.
  • Program_Error_Check: 그 외 다양한 언어 규칙 위반 상황을 검사합니다.

Storage_Error는 메모리 관련 문제가 발생했을 때 다음과 같은 런타임 검사가 실패하여 발생합니다.

  • Storage_Check: 할당 가능한 메모리 공간이 충분한지, 또는 태스크나 서브프로그램이 스택 공간을 초과하지 않았는지 검사합니다.

Tasking_Error는 태스크(task) 간의 통신이나 동기화 과정에서 문제가 발생했을 때 다음과 같은 런타임 검사가 실패하여 발생합니다.

  • Tasking_Check: 호출된 태스크가 아직 종료되지 않았는지 등을 검사합니다.

이러한 런타임 검사들을 비활성화하여 프로그램의 성능을 높이는 방법에 대해서는 6.7절에서 자세히 다룹니다.

6.2.2 명시적 발생: raise 문과 표현식

묵시적 발생 외에도, 프로그래머가 특정 조건이 충족되었을 때 코드에서 직접 예외를 발생시킬 수 있습니다. 이는 주로 예상된 오류 조건을 처리하거나, 서브프로그램의 사전/사후 조건을 강제하는 데 사용됩니다.

raise 문(statement)

raise 문은 예외를 발생시키는 독립적인 실행문입니다. 세 가지 형태로 사용할 수 있습니다.

1. 예외 이름으로 예외 발생시키기

가장 기본적인 형태로, 지정된 이름의 예외를 발생시킵니다.

-- Overflow는 이전에 선언된 예외 이름
raise Overflow;

2. 메시지와 함께 예외 발생시키기

예외 발생 시 특정 문자열 메시지를 함께 전달할 수 있습니다. 이 메시지는 나중에 예외 처리기에서 Ada.Exceptions.exception_message 함수를 통해 확인할 수 있어 디버깅에 유용합니다.

raise Constraint_Error with "입력 버퍼가 가득 찼습니다.";

3. 예외 다시 발생시키기 (re-raise)

raise; 형태는 오직 예외 처리기(exception handler) 내부에서만 사용할 수 있습니다. 이 구문은 현재 처리 중인 예외 발생(occurrence)을 그대로 상위 실행 문맥으로 다시 전파하는 역할을 합니다. 이는 예외를 부분적으로 처리(예: 로그 기록)한 후, 상위 처리기에게 마저 처리하도록 위임할 때 유용합니다.

begin
-- 예외가 발생할 수 있는 코드
exception
  when e : others =>
    Ada.Text_IO.put_line ("에러 발생: " & Ada.Exceptions.exception_message (e));
    raise; -- 처리 중인 예외 e를 그대로 다시 발생시킴
end;

raise 표현식 (expression)

raise 표현식은 문장이 아닌, 다른 표현식의 일부로 사용된다는 점에서 raise 문과 다릅니다. 주로 값을 반환하거나 변수를 초기화해야 하지만, 정상적인 값을 생성할 수 없는 상황에서 예외를 발생시키는 데 사용됩니다. raise 표현식은 어떤 타입이든 만족시킬 수 있으며, 평가될 때 지정된 예외를 발생시킵니다.

raise 표현식이 객체 선언, 타입 정의, 기본값 표현식 등의 일부로 사용될 경우, 반드시 괄호 (``)로 감싸야 하는 문법적 제약이 있습니다.

-- 객체 선언 시 괄호가 필요함
x : Integer := (raise Program_Error);

다음은 변수 result를 초기화할 때, 조건에 따라 정상적인 값을 계산하거나 raise 표현식을 통해 예외를 발생시키는 예입니다.

result : Float := (if X >= 0.0 then
                     -- 조건이 참일 때의 값
                     Ada.Numerics.Elementary_Functions.sqrt(X)
                   else
                     -- 조건이 거짓일 때, raise 표현식이 예외를 발생시킴
                     (raise Constraint_Error with "음수 값에 대한 제곱근은 정의되지 않습니다."));





https://nimfsoft.art/ko/books/ada-programming/#62-%EC%98%88%EC%99%B8-%EB%B0%9C%EC%83%9D%EC%8B%9C%ED%82%A4%EA%B8%B0-raising-exceptions


 



추천 비추천

0

고정닉 0

0

댓글 영역

전체 댓글 0
본문 보기

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 센터해도 될 것 같이 비주얼 물오른 아이돌 멤버는? 운영자 25/09/22 - -
AD 가전디지털, 액세서리 SALE 운영자 25/09/12 - -
2889870 네이버 차단한지역 로그인 프갤러(125.185) 09.17 73 0
2889869 개발SW들 깔다보면 백그라운드서 리소스 꽤 잡아먹지않나? ㅇㅇ갤로그로 이동합니다. 09.17 70 0
2889868 발도잡 개멍청한유라갤로그로 이동합니다. 09.17 50 0
2889867 요즘 10대들의 특이한 아이돌 소비 문화 발명도둑잡기(118.216) 09.17 41 0
2889866 한국인이 전세계 챗지피티 사용량 2위인 이유 발명도둑잡기(118.216) 09.17 49 0
2889865 '배트맨' 마이클 키튼, 故찰리 커크 총격 사망 “아이러니” 발언..보수 발명도둑잡기(118.216) 09.17 44 0
2889862 음저협 회장 업무추진비 월 2천만원?..황희 "문체부 감시 감독 고민" 발명도둑잡기(118.216) 09.17 44 0
2889861 "찰리 커크, 혐오로 가득"…아만다 사이프리드에 '악플 세례' 발명도둑잡기(118.216) 09.17 45 0
2889860 커크 죽음에 분열된 할리우드... "추모인가, 미화인가" 발명도둑잡기(118.216) 09.17 44 0
2889859 오늘 학생에게 Render로 홈페이지 띄우는거까지 해줌 [1] ㅆㅇㅆ(124.216) 09.17 72 0
2889858 콜드플레이 "찰리 커크 가족에 사랑을" 불 붙은 이념 전쟁 발명도둑잡기(118.216) 09.17 51 0
2889857 “3시간30분마다 노동자 한 명씩 숨져” 발명도둑잡기(118.216) 09.17 70 0
2889856 진서연, '총격 피살' 美 극우 논객 찰리 커크 추모 발명도둑잡기(118.216) 09.17 63 0
2889855 음악 들으면서 코딩하는 사람 있냐? 프갤러(59.16) 09.17 46 0
2889854 선예, '트럼프 측근' 커크 추모→원더걸스 탈퇴 소환..또 이미지 타격 발명도둑잡기(118.216) 09.17 52 0
2889852 나 코드짤때 랩 들으면서 짜는데 [3] 루도그담당(58.239) 09.17 76 0
2889851 배뷸배뷸 [5] ♥냥덩이♥갤로그로 이동합니다. 09.17 98 0
2889850 페노메코 << 얘 노래 왜케 좋냐 [2] 루도그담당(58.239) 09.17 67 0
2889849 프갤러들 발명도둑잡기(118.216) 09.17 42 0
2889848 창밖이 시원하다 [7] 개멍청한유라갤로그로 이동합니다. 09.17 64 0
2889847 과자가 먹고싶습니다... 공부해야하는데 잠시 다녀올까요?? [3] ㅇㅇ(223.39) 09.17 52 0
2889846 찰리와 초콜렛공장인가 뭔가 죽었다고 난리던데 [1] ㅇㅇ(175.197) 09.17 61 0
2889845 윤석열 정부, 미기록 국가 채무 90조 기금도 탕진 ㅇㅇ(175.197) 09.17 66 0
2889844 다 잘살고있을까요 [2] 개멍청한유라갤로그로 이동합니다. 09.17 67 0
2889843 CH341A써보신분 [6] 프갤러(220.65) 09.17 60 0
2889838 가난이 밉다... 걱정이 많아 잠이 안와도 수면제 살 돈이 없다... [1] ㅇㅇ(223.39) 09.17 57 0
2889837 [어플개발] 카톡 나에게 보내기 대신 이거 프갤러(121.65) 09.17 57 0
2889836 "당신에게 터무니없는 것을 믿게 만들 수 있는 자는" 발명도둑잡기(118.216) 09.17 41 0
2889835 마라탕 생각만 하면 눈물이 나 [1] 발명도둑잡기(118.216) 09.17 59 0
2889834 조리 시간이 가장 짧은 한국음식 발명도둑잡기(118.216) 09.17 57 0
2889833 삼성 9시리즈와 엘지 그램 19v 3mm 노트북 충전기가 발명도둑잡기(118.216) 09.17 85 0
2889832 애널의달성 2///3 [1] ♥냥덩이♥갤로그로 이동합니다. 09.17 66 0
2889831 마라탕 [4] 개멍청한유라갤로그로 이동합니다. 09.17 61 0
2889830 "학벌 필요없어요" 발명도둑잡기(118.216) 09.17 67 0
2889829 gpt가 멍청해진게 아니라 당신이 멍청해진겁니다. [1] 프갤러(223.38) 09.17 71 0
2889828 17인치 휴대용 모니터 구입 발명도둑잡기(118.216) 09.17 38 0
2889825 음 요즘 gpt 왜이렇게 멍청해졌지?? ㅇㅇ갤로그로 이동합니다. 09.17 49 0
2889822 나 유튜브 2008년 가입했구나 발명도둑잡기(118.216) 09.17 30 0
2889820 후스넘버 고소한거 불송치댐 프갤러(211.114) 09.17 57 0
2889819 오늘 ㄹㅇ 일찍잔다 [4] 루도그담당(58.239) 09.17 62 0
2889818 중경외시 중 경외시가 동대문구에 있다 발명도둑잡기(118.216) 09.17 61 0
2889817 저녁 [3] 발명도둑잡기(118.216) 09.17 49 0
2889816 흠.. [1] ♥냥덩이♥갤로그로 이동합니다. 09.17 50 0
2889815 생각이 많아진다.. [13] 개멍청한유라갤로그로 이동합니다. 09.17 95 0
2889814 Kt 범인 조선족이네 [2] 루도그담당(58.239) 09.17 78 1
2889813 이런 쓰레기장에도 사람이 사는군요 [2] 개멍청한유라갤로그로 이동합니다. 09.17 70 0
2889812 프론트엔드 이직 웰케 빡세냐 [1] 프갤러(125.178) 09.17 96 0
2889811 [애니뉴스] 매거진 페이지 프갤러(121.172) 09.17 38 0
2889810 홈플러스같은건 협동조합이나 노동자지주회사로 하면 안되나? [1] 발명도둑잡기(118.235) 09.17 48 0
2889809 교수님의 퀴즈 발명도둑잡기(118.235) 09.17 51 0
뉴스 하지원, 47세 탄탄한 몸매와 동안 미모로 등장...“나이를 잊은 여전한 여신” 디시트렌드 09.20
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2