디시인사이드 갤러리

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

갤러리 본문 영역

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

나르시갤로그로 이동합니다. 2025.09.16 02:20:50
조회 56 추천 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 - -
2889775 여자랑 이야기<<이게 프로그래밍 보다 더 어렵지 않냐 [6] ㅆㅇㅆ(124.216) 09.17 107 0
2889773 그래서 gpt5는 호들갑 떨 성능이였음? [4] ㅇㅇ(211.210) 09.17 51 0
2889772 AGI도 불가능하냐? [4] 루도그담당(211.184) 09.17 61 0
2889771 긴즈부르크-란다우 방정식으로 코히런스 길이와 침투깊이 비율 구하고 [4] ㅆㅇㅆ(124.216) 09.17 67 0
2889770 나 개지리는 아이디어 떠올랐음 [4] ㅇㅇ(211.210) 09.17 44 0
2889769 그립네 초전도체 이론 열심히 풀었는데 볼텍스 구하기부터 시작해서 ㅋㅋㅋ [2] ㅆㅇㅆ(124.216) 09.17 48 0
2889768 ❤✨☀⭐⚡☘⛩나로님 시작합니당⛩☘⚡⭐☀✨❤ [1] Naro갤로그로 이동합니다. 09.17 36 0
2889767 초전도체가 원리 자체가 해명이 아직 안됨 [2] ㅆㅇㅆ(124.216) 09.17 60 0
2889765 초전도체 << 이거 ㄹㅇ 가능성 없음? [2] 루도그담당(211.184) 09.17 53 0
2889764 근데 세상 참 좋아졌다 [4] ㅆㅇㅆ(124.216) 09.17 82 0
2889763 로우레벨은 왜 쉽게 알려주는 [5] 루도그담당(211.184) 09.17 89 0
2889762 바이브 코딩용 기초 세팅을 나는 QWEN-code로 해주거든 [2] ㅆㅇㅆ(124.216) 09.17 87 0
2889761 발닦고 자야지..ㅇㅅㅇ 헤르 미온느갤로그로 이동합니다. 09.17 27 0
2889760 내 코딩 강의해봤자 뭐 보러 올 놈이 있나 싶다. ㅆㅇㅆ(124.216) 09.17 235 0
2889759 요즘 바이브 코딩 의뢰 수요가 늘었음. [2] ㅆㅇㅆ(124.216) 09.17 95 0
2889758 밤에 잠을 제대로 못 자서 그런가 [2] 루도그담당(211.184) 09.17 55 0
2889757 러스트도 울고 갈 Ada 6.4 반환값 생성을 위한 예외 처리 [5] 나르시갤로그로 이동합니다. 09.17 49 0
2889756 오늘깃허브 pages로 정적호스팅해서 배포하는거 알려달라더라 [5] ㅆㅇㅆ(124.216) 09.17 76 0
2889753 류류 = 제2의 최원종 [2] 프갤러(121.139) 09.17 61 1
2889750 기껏 모형 잘 만들어놓고 관리 잘못해서..ㅇㅅㅇ [2] 헤르 미온느갤로그로 이동합니다. 09.17 52 0
2889749 태연 ㅇㅅㅇ 헤르 미온느갤로그로 이동합니다. 09.17 21 0
2889748 하루 한 번 헤르미온느 찬양 헤르 미온느갤로그로 이동합니다. 09.17 45 0
2889747 아 ㅅㅂ 어제 저녁에 라면먹었더니 아침되자마자 똥탱크 터질라함 [1] ㅇㅇ(223.39) 09.17 45 0
2889745 형들 분리수거 질문좀 담배1갑안에 있는 비닐 어떻게 버려야됨? 넥도리아(220.74) 09.17 73 0
2889744 나르시랑 발명도둑잡기를 보면 항상 스스로를 돌아보게된다 [3] 프갤러(59.14) 09.17 70 0
2889743 반일 포스터 자동 수정 실패 [2] 발명도둑잡기(118.216) 09.17 79 0
2889742 음기 충전 발명도둑잡기(118.216) 09.17 41 0
2889740 이게 진짜 선한 영향력 아님??? 야옹아저씨갤로그로 이동합니다. 09.17 46 0
2889739 오늘의 시상 실마리: 주한미군사령관이 한국을 군함도로 만들려고 한다 발명도둑잡기(118.216) 09.17 39 0
2889727 힙합 갤러리 Davis란 이름 보니 드는 생각 발명도둑잡기(118.216) 09.17 31 0
2889726 weston 캄파일은 어느.새월에 ㅠ [3] 나르시갤로그로 이동합니다. 09.17 59 0
2889723 광고료 얼마 들어왔을레냐 ㅎㅎ 나르시갤로그로 이동합니다. 09.17 50 0
2889721 <스니커즈> 발명도둑잡기(118.216) 09.17 36 0
2889720 ‘선댄스 키드’ 로버트 레드포드 별세…향년 89 발명도둑잡기(118.216) 09.17 36 0
2889719 칸예와 Yeezus 발명도둑잡기(118.216) 09.17 32 0
2889716 제미나이가 코딩에 강점 있는거 맞나? [2] 프갤러(58.29) 09.17 85 0
2889712 오늘의 소설, 영화 실마리: 군악병이 작사하다가 국가보안법 처벌 [1] 발명도둑잡기(118.216) 09.17 54 0
2889711 조리중 프갤러(175.197) 09.17 50 0
2889710 아 열받네 왜아직도 조리중이냐고 프갤러(121.139) 09.17 61 0
2889709 [해야 할 일] 메인 예고편 공개! 발명도둑잡기(118.216) 09.17 46 0
2889708 아씨발 치킨 아직도 조리중이야 씨발 개빡치네 [1] 프갤러(121.139) 09.17 54 0
2889707 범죄자 새끼들 나보다 잘먹는거 실화냐? - 식단 [4] 프갤러(175.197) 09.17 100 0
2889706 개인용 서버 어떤거 만들어 놓으면 재밌게 가지고 놀 수 있음? [2] 프갤러(222.110) 09.17 75 0
2889705 아 씨빨 치킨 왜안와 씨빨!!!!!!!!!!!!!!!!!!!!!!!!!! 프갤러(121.139) 09.17 48 0
2889704 치킨 왜안오냐 씨발 배고픈데 프갤러(121.139) 09.17 46 0
2889703 ㅆㅇㅆ = it 노가다 페지 인생~ 프갤러(121.139) 09.17 81 5
2889702 치킨 시켰다 ㄱ ㅐ새기들아. 프갤러(121.139) 09.17 45 1
2889701 바이브코딩 다좋은데 공연공지 안된거 만들라 시키면 지옥임 [1] 프갤러(118.33) 09.17 76 0
2889700 오늘 총수입은 33만원에 외주 4만원 해서 29만원 범 ㅆㅇㅆ(124.216) 09.17 72 0
2889699 회사가 얼마나 개판이면 비개발직군한테 바이브코딩을 시험볼까 싶기도하고 ㅆㅇㅆ(124.216) 09.17 60 0
뉴스 안성재 ‘모수’ 후기 남긴 선우용여…“생각할수록 미치겠다” 디시트렌드 09.19
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2