디시인사이드 갤러리

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

갤러리 본문 영역

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

나르시갤로그로 이동합니다. 2025.09.16 02:20:50
조회 69 추천 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/22 - -
AD 가전디지털, 액세서리 SALE 운영자 25/09/12 - -
2890732 나님 애널은 푹 쉬어야징 [4] ♥냥덩이♥갤로그로 이동합니다. 09.21 76 0
2890731 러빨러도 울고 간다는 Ada 컨테이너 [4] 나르시갤로그로 이동합니다. 09.21 53 0
2890730 선물받아먹고 폭언하던 싸패새끼 [1] 프갤러(118.235) 09.21 33 0
2890729 얘들아 ♥냥덩이♥ 탈갤한대~ ㅇㅅㅇ [1] 헤르 미온느갤로그로 이동합니다. 09.21 46 0
2890728 표절이었넹 [1] ♥냥덩이♥갤로그로 이동합니다. 09.21 35 0
2890727 바위 ㅇㅅㅇ [2] 헤르 미온느갤로그로 이동합니다. 09.21 34 0
2890726 태연 ㅇㅅㅇ [1] 헤르 미온느갤로그로 이동합니다. 09.21 36 0
2890725 하루 한 번 헤르미온느 찬양 헤르 미온느갤로그로 이동합니다. 09.21 44 0
2890724 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ ♥냥덩이♥갤로그로 이동합니다. 09.21 41 0
2890723 세상 좋아졌다. 노가다 하면서 집에서 코딩시키면되고 ㅆㅇㅆ찡갤로그로 이동합니다. 09.21 60 0
2890722 올만에 노가다 하러나왔다 ㅆㅇㅆ찡갤로그로 이동합니다. 09.21 51 1
2890721 가끔 극우애들 이해 힘든점이 [4] ㅆㅇㅆ찡갤로그로 이동합니다. 09.21 64 1
2890718 포맨 코딩은 없나요? Paint_It_Black갤로그로 이동합니다. 09.21 42 0
2890706 대표이사가 된 나를 상상해 [1] 프갤러(61.79) 09.21 59 0
2890705 세금탈루 히메 벌이비다. 사랑은 벌이다 죄값 받아라. 넥도리아(220.74) 09.21 57 0
2890704 차단 사유 김정숙 대장동 소고기 사먹어 상납견 국민의힘 갤러리 넥도리아(220.74) 09.21 59 0
2890700 가난하면 많이 웃어야해... 안웃으면 먹던밥도 뺏겨... ㅇㅇ(223.38) 09.21 38 0
2890699 내일 아침에 라면 먹을거임. 짜파게티에 총각김치 ㅇㅅㅇ ㅇㅇ(223.38) 09.21 37 0
2890698 어떻게 하면 내 목표를 이룰수 있을까 [2] 프갤러(61.79) 09.21 47 0
2890692 전면 패널 실험용으로 전략 했습니다. 다 고장났습니다. ㅠㅠㅠ 넥도리아(220.74) 09.21 32 0
2890690 이재명 다음 정부가 걱정이다. 러시아가 날뛸것이다. 지금은 라운드 1 국 넥도리아(220.74) 09.21 49 0
2890687 나도 전업 외주로 가고싶다 프갤러(61.79) 09.21 38 0
2890685 컴퓨터 재부팅 했는데 컴퓨터 이름이 매번 바뀌는것 같던데, 넥도리아(220.74) 09.21 30 0
2890683 공부<<이새낀걍미친놈이되야잘함ㄹㅇ ㅇㅇ(223.38) 09.21 45 0
2890679 Ada 프로그래밍, 3. 어휘 요소 나르시갤로그로 이동합니다. 09.21 55 0
2890677 답답하다. reset이 초록불일때 정상 부팅 하얀불 무한루프 주황색 점멸 넥도리아(220.74) 09.21 41 0
2890676 좆까십쇼 ㅇㅅㅇ 나 코딩공부합니다 ㅇㅇ... [4] ㅇㅇ(223.38) 09.21 76 0
2890675 여기 정병들 너무 뭐라하지 미라 프갤러(110.8) 09.21 73 0
2890671 나님 탈갤합니당.. [2] ♥냥덩이♥갤로그로 이동합니다. 09.20 97 0
2890670 개멍청한유라 [1] 프갤러(106.102) 09.20 67 0
2890669 멍퀴분쇄기 [3] ♥냥덩이♥갤로그로 이동합니다. 09.20 81 0
2890668 쀼? [2] ♥냥덩이♥갤로그로 이동합니다. 09.20 56 0
2890667 LLM으로 생성한 목차.txt 나르시갤로그로 이동합니다. 09.20 58 0
2890666 여기 갤 망했나욘? [10] zian갤로그로 이동합니다. 09.20 106 0
2890664 입사지원자동화툴(사람인,원띠드) 공유 무43(218.149) 09.20 58 0
2890663 나님 주무시기전 소통⭐+ 질문 받음 [6] ♥냥덩이♥갤로그로 이동합니다. 09.20 89 0
2890661 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ [2] ♥냥덩이♥갤로그로 이동합니다. 09.20 74 0
2890654 나님 긍야즁 [1] ♥냥덩이♥갤로그로 이동합니다. 09.20 71 0
2890652 유튜브 하면 외롭다. 배경음악 다 끄고 방송해야되기 때문 우울해짐. 넥도리아(220.74) 09.20 38 0
2890651 나님 왤케 특별한걸깡.. [1] ♥냥덩이♥갤로그로 이동합니다. 09.20 86 0
2890649 콩쯔가 이미 했던 말 [1] 발명도둑잡기(118.216) 09.20 56 0
2890648 음악 같은거 스폰서로 배경음악으로 깔려면 수익창출 안하고, 어떻게 출첵 넥도리아(220.74) 09.20 32 0
2890647 가장 치명적인 무지는 알고있다는 착각이당 By 나님 [1] ♥냥덩이♥갤로그로 이동합니다. 09.20 72 0
2890646 두둥~ 러스트가 울고 간다는 LLM와 Ada/SPARK 논문 나르시갤로그로 이동합니다. 09.20 48 0
2890645 나님 데자뷰 [1] ♥냥덩이♥갤로그로 이동합니다. 09.20 76 0
2890644 전면 패널 고장났네... 광고 미쳤네. 넥도리아(220.74) 09.20 40 0
2890642 소자 라이팅 콘덴서에다가 핀셋을 가져다 되고 쇼트 그만해야하나. 다 고장 넥도리아(220.74) 09.20 30 0
2890641 Ada 책의 앞부분 목차를 창조하고 있습니다. 나르시갤로그로 이동합니다. 09.20 39 0
2890640 음기 충전 발명도둑잡기(118.216) 09.20 34 0
2890639 ADAMAS Music ost 가 마렵구나. 넥도리아(220.74) 09.20 39 0
뉴스 '2025 가평 G-SL' 뮤직페스티벌 10월 4일 . . 나윤권·이수영·문희원·윤그루·무드등 디시트렌드 10:00
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2