디시인사이드 갤러리

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

갤러리 본문 영역

러빨러도 울고 갈, Ada 예외 처리, 6.1 예외 처리의 기본 개념

나르시갤로그로 이동합니다. 2025.09.16 02:20:50
조회 61 추천 0 댓글 0

6. 예외 처리

6.1 예외 처리의 기본 개념

6.1.1 예외란 무엇인가?

Ada에서 예외(Exception)란 프로그램 실행 중 발생할 수 있는 '예외적인 상황'을 의미합니다. 예를 들어, 숫자를 0으로 나누려 하거나 존재하지 않는 파일에 접근하려는 경우가 이에 해당합니다. 이러한 상황이 실제로 발생하는 것을 예외 발생(exception occurrence)이라고 합니다.

이러한 예외적 상황에 대응하는 과정은 예외를 발생시키는(raising) 행위와 이를 처리하는(handling) 행위로 이루어집니다. 예외를 발생시키는 것은 예외적인 상황이 발생했음을 알리기 위해 정상적인 프로그램의 실행 흐름을 의도적으로 포기하는 행위이며, 이때 원래 진행되던 구문의 실행은 그 즉시 중단됩니다. 이렇게 실행이 중단되면, 발생한 예외에 대응하여 특정 동작을 수행하는 처리(handling) 과정이 이어집니다. 이 과정에서 프로그램의 제어권은 사용자가 미리 정의한 예외 처리기(exception handler)로 이전될 수 있으며, 만약 현재 위치에서 처리할 수 없다면 예외는 상위 실행 문맥으로 전파(propagate)될 수 있습니다.

이러한 예외 처리 메커니즘은 오류를 감지하면 정상적인 실행 흐름을 중단하고 예외를 발생시킨 후, 여기에 대응하여 프로그램의 안정적인 실행을 지속하거나 제어된 방식으로 종료함으로써 견고성(robustness)을 향상시킵니다.

6.1.2 예외 처리 모델: 종료 모델

예외 처리 메커니즘은 종료 모델(termination model)재개 모델(resumption model)로 나뉩니다.

  • 종료 모델 (termination model): 예외가 발생하여 예외 처리기로 제어권이 이전되면, 원래 예외가 발생했던 지점으로 돌아가지 않습니다. 예외 처리기의 실행이 끝난 후에는 해당 블록(begin ... end) 다음의 문장으로 실행이 이어집니다. 즉, 해당 블록의 실행은 예외 발생 시점에서 종료됩니다. Ada, C++, Java, Python 등이 이 모델을 사용합니다.
  • 재개 모델 (resumption model): 예외 처리기에서 특정 조치를 수행한 후, 예외가 발생했던 지점으로 돌아가 실행을 재개할 수 있는 모델입니다.

Ada는 종료 모델을 채택하고 있습니다. 예외가 발생하면 해당 코드 블록의 실행은 중단되며, 개발자는 예외 처리기에서 복구 또는 정리 작업을 수행한 후 프로그램의 다음 동작을 제어하는 흐름을 설계할 수 있습니다.

6.1.3 미리 정의된 예외

Ada 언어는 어떠한 컴파일 단위(compilation unit)에서든 바로 사용할 수 있는 4가지 핵심 예외, 즉 Constraint_Error, Program_Error, Storage_Error, Tasking_Error를 미리 정의하고 있습니다. 이 예외들은 Standard 패키지에 선언되어 있어 별도의 withuse 절 없이도 항상 접근 가능하며 프로그램 실행 중 특정 규칙 위반 여부를 확인하는 언어 정의 런타임 검사(language-defined run-time check)가 실패할 때 자동으로 발생합니다. 또한, 프로그래머가 raise 문을 사용하여 이 예외들을 직접 발생시킬 수도 있습니다. 언어 정의 런타임 검사에 대한 자세한 내용은 6.2.1절에서 설명합니다.

6.1.4 예외 선언

Ada에서는 exception 키워드를 사용하여 사용자 정의 예외를 선언(declare)할 수 있습니다. 이 선언은 특정 예외적 상황을 나타낼 고유한 이름을 정의하는 역할을 합니다.

구문 (syntax)

예외 선언의 일반적인 형식은 다음과 같습니다.

<예외_이름_목록> : exception;

<예외_이름_목록>에는 하나 또는 여러 개의 예외 이름을 쉼표로 구분하여 사용할 수 있습니다.

-- 하나의 예외 선언
Singular : exception;

-- 여러 예외를 한 번에 선언
Overflow, Underflow : exception;

선언은 항상 세미콜론(;)으로 끝납니다.

예외 선언의 의미 규칙

예외 선언에는 다음과 같은 의미 규칙이 있습니다.

  • 고유성: 각각의 예외 선언문은 완전히 다른 새로운 예외를 정의합니다. 예를 들어, 서로 다른 두 패키지에 Example_Error라는 이름의 예외가 각각 선언되었다면, 두 Example_Error 예외는 이름만 같을 뿐 서로 다른 별개의 예외입니다.
  • 정적 식별: 예외의 이름이 나타내는 특정 예외는 컴파일 타임에 결정됩니다. 즉, 선언된 예외의 고유한 정체성(identity)은 프로그램이 컴파일될 때 확정되며, 프로그램이 실행되는 동안 이 정체성은 변하지 않습니다.
  • 런타임 효과 없음: 예외 선언문의 정교화(elaboration)1는 런타임에 아무런 효과가 없습니다. 이는 변수 선언 시 메모리가 할당되고 초기화되는 것과는 다른 동작입니다.
  • 제네릭과 예외: 만약 제네릭 유닛 내에 예외가 선언된 경우, 해당 제네릭의 인스턴스를 생성할 때마다 각각의 인스턴스에는 서로 다른 고유한 예외가 있게 됩니다.

  1. '정교화'란, 선언된 항목이 런타임에 처음으로 사용 가능하게 되는 과정을 의미합니다. 자세한 내용은 '5.4 정교화 (elaboration)'를 참조하십시오. 



https://nimfsoft.art/ko/books/ada-programming/#61-%EC%98%88%EC%99%B8-%EC%B2%98%EB%A6%AC%EC%9D%98-%EA%B8%B0%EB%B3%B8-%EA%B0%9C%EB%85%90



추천 비추천

0

고정닉 0

0

댓글 영역

전체 댓글 0
본문 보기

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 군대 예능 출연해 줬으면 싶은 여자 스타는? 운영자 25/09/15 - -
AD 가전디지털, 액세서리 SALE 운영자 25/09/12 - -
2890000 점마 루비인거 뻔히 보이는데 자꾸 시발 루비 빠는거보면 기가 참ㅋㅋ ㅆㅇㅆ(124.216) 09.18 39 0
2889996 인프런 강의 30% 할인이 가장 크게 할인 하는 거임? ㅇㅇ(211.234) 09.18 184 0
2889992 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ ♥냥덩이♥갤로그로 이동합니다. 09.18 38 0
2889991 러스트 코드는 왜 병신인가? [1] 나르시갤로그로 이동합니다. 09.18 49 0
2889990 저는 사실 고급인력입니다. 걧돈슈킹예아(119.202) 09.18 43 0
2889989 마시써 [1] 걧돈슈킹예아(119.202) 09.18 40 0
2889988 진짜 다들 회까닥 돌았지. llm이 코드 잘 짜준다고 언어를 정하다니 [1] 프갤러(218.154) 09.18 73 0
2889987 ㅋㅋㅋ ㅆㅇㅆ 이새끼 존나 골떄리는놈이네 [3] 프갤러(121.139) 09.18 154 6
2889986 회사코드 확 riir해버리고 싶다. [3] 프갤러(218.154) 09.18 60 0
2889985 나는 저능아이지만 [1] 걧돈슈킹예아(119.202) 09.18 47 0
2889984 러스트 시비거는 놈들도 개병신 저능아들만 시비 걸더라고 [3] 프갤러(218.154) 09.18 50 0
2889983 인생 개좇되로 사는새끼들이 더 잘사누 우연일까 뒷통수한방(1.213) 09.18 41 0
2889982 나는 왜 좆 저능아새끼들이 시비걸까 [4] ㅆㅇㅆ(124.216) 09.18 77 0
2889981 저능아들이 AI가 망치로 때린다는 뜻을 의미를 이해 못함 원리를 몰라서 ㅆㅇㅆ(124.216) 09.18 76 0
2889979 결국 ai근간 자체가 경사하강법이라 ㅆㅇㅆ찡갤로그로 이동합니다. 09.18 52 0
2889978 AI 쓸수록 결국 프로그래밍 추상화 방법 잘 아는 내 가치가 올라서 좋아 [2] ㅆㅇㅆ(124.216) 09.18 93 0
2889977 하루에 오조오억줄 감사의 코딩 [6] 공기역학갤로그로 이동합니다. 09.18 78 0
2889976 대학생으로 다시 돌아간다면 [3] 루도그담당(118.235) 09.18 62 0
2889975 필연적으로 느끼는게 AI 쓰는 사람이 많아질수록 내 가치가 오름 ㅆㅇㅆ(124.216) 09.18 52 0
2889974 요즘은 LLM CLI 세팅 자체를 그냥 자동화해놓으니 이거 관련한 문의가 [2] ㅆㅇㅆ(124.216) 09.18 74 0
2889973 옛날에 알고지내던 친구 [1] 루도그담당(118.235) 09.18 61 0
2889972 LLM cli 깔아서 자동으로 홈페이지 만드니까 애들이 신기해하더라 ㄹㅇ [2] ㅆㅇㅆ(124.216) 09.18 78 0
2889971 자바 버전 25인게 웃음벨이네 [1] 헬마스터갤로그로 이동합니다. 09.18 61 0
2889970 오늘도 먹고 살기 힘들다 진짜 [6] ㅆㅇㅆ(124.216) 09.18 63 0
2889968 중국산 휴대용 에뮬머신을 보면 걧돈슈킹예아(119.202) 09.18 48 0
2889966 ❤✨☀⭐⚡☘⛩나로님 시작합니당⛩☘⚡⭐☀✨❤ Naro갤로그로 이동합니다. 09.18 30 0
2889965 살려주세요 [1] 프갤러(118.235) 09.18 75 0
2889964 ai 이쌔끼 한국을 민주주의라고하다가 아니라고하고 뒷통수한방(1.213) 09.18 38 0
2889963 그나라 재벌들을보면 그나라 국민성을 알수있다 ㅇㅇ 뒷통수한방(1.213) 09.18 39 0
2889962 이젠 한국인들이 인격체로도 안 보이는거 정신병임? [1] ㅇㅇㅇ(175.211) 09.18 45 0
2889961 Ai있으니까 어지간한 사이트 보안취약점은 다뚫리네 [2] 프갤러(223.38) 09.18 72 0
2889960 순수 ai 세대 개발자의 성장은 궁금하긴 함 [1] ㅇㅇ갤로그로 이동합니다. 09.18 62 0
2889958 나님이 디깅한거 올렸더니 자기들이 쳐써먹노 예의 밥말아 처먹은 씹새기들 [3] ♥냥덩이♥갤로그로 이동합니다. 09.18 75 0
2889956 ai 사람갈아서 만드는거 아님?? 뒷통수한방(1.213) 09.18 51 0
2889955 Ai 를 잘 다루는 개발자 라는게 [1] 겨겨(106.246) 09.18 89 0
2889954 어느집 화단에 거의 몇달을 피어있는 꽃이 있길래..ㅇㅅㅇ [2] 헤르 미온느갤로그로 이동합니다. 09.18 57 0
2889953 태연 ㅇㅅㅇ 헤르 미온느갤로그로 이동합니다. 09.18 37 0
2889952 하루 한 번 헤르미온느 찬양 헤르 미온느갤로그로 이동합니다. 09.18 52 1
2889946 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ ♥냥덩이♥갤로그로 이동합니다. 09.18 61 0
2889914 D-Day -1 오늘도 살아있어 마지막 생존자. 넥도리아(220.74) 09.18 44 0
2889912 케이팝 데몬 헌터스 사실은 불교 속 지옥의 공무원? 발명도둑잡기(118.216) 09.18 42 0
2889906 증강하면 원본이 헉습에서 빠지는 듯 ㅇㅇ(118.235) 09.18 79 0
2889905 요즘 영포티 퐁퐁남들이 편의점을 사랑하는 이유 발명도둑잡기(118.216) 09.18 58 0
2889903 映画『国宝』|主題歌「Luminance」原摩利彦 feat. 井口 理 발명도둑잡기(118.216) 09.18 46 0
2889902 [리드머 뷰] 아프로비트 VS 아프로비츠, Afrobeat VS Afro 발명도둑잡기(118.216) 09.18 33 0
2889901 "노 젓는 삼성, 제대로다"...케데헌 등장하는 갤럭시 광고 화제 발명도둑잡기(118.216) 09.18 121 0
2889895 갤 망함? 프갤러(1.233) 09.18 51 0
2889894 쇼미더머니 이번 출연자들 성비 대부분 남자겠지? 발명도둑잡기(118.216) 09.18 43 0
2889893 Taylor Swift(테일러 스위프트) - 'Cruel Summer' 발명도둑잡기(118.216) 09.18 41 0
2889892 선임이 본인 개발 실력에 대해 자부심이 대단하네 이시꾸갤로그로 이동합니다. 09.18 111 0
뉴스 에픽하이 투컷, 인생 만두 먹다가 인생 조언까지…‘아빠 뱅크’ 파산 일화 공개 디시트렌드 09.19
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2