디시인사이드 갤러리

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

갤러리 본문 영역

러스트도 울고 간, Ada 6.7 단언(assertion)과 예외

나르시갤로그로 이동합니다. 2025.09.20 20:30:44
조회 62 추천 0 댓글 0

https://nimfsoft.art/ko/books/

6.7 단언(assertion)과 예외

6.7.1 단언 구문: pragma assert

pragma assert는 코드의 특정 지점에서 부울 표현식이 참이어야 함을 명시하는 프라그마입니다. 이는 코드의 특정 상태에 대한 가정을 명시적으로 표현하고, 계약 기반 프로그래밍(Design by Contract)의 한 요소를 구현하는 방법입니다. 만약 실행 시점에 명시된 부울 표현식이 거짓(False)으로 평가되면, 프로그램은 Ada.Assertions.Assertion_Error 예외를 발생시킵니다.

이 프라그마는 선언이나 문장이 위치할 수 있는 모든 곳에 사용할 수 있으며, 다음과 같은 형태로 작성할 수 있습니다.

메시지가 없는 경우

메시지 없이 조건식을 인수로 사용하여 조건이 참인지를 검사합니다.

-- 조건식만 사용
pragma [...];

-- `check` 식별자와 조건식만 사용
pragma [...];

메시지를 포함하는 경우

조건이 거짓일 때 디버깅 시 참고할 수 있는 메시지를 포함할 수 있습니다.

-- 조건식과 메시지를 위치 기반으로 명시
pragma [...];

-- `message` 식별자 사용
pragma [...];

-- `check` 및 `message` 식별자 사용
pragma [...];

예시

다음은 큐(queue)에서 원소를 꺼내는 서브프로그램의 시작 부분에서, 큐가 비어있지 않다는 사전 조건을 단언하는 예시입니다.

procedure dequeue (q : in out Queue_Type;  item : out Element_Type) is
begin
  -- 사전 조건: 큐가 비어있지 않아야 함을 단언
  pragma [...],
                 message => "Dequeue attempted on an empty queue.");

  -- 큐에서 원소를 꺼내는 로직
  -- ...
end dequeue;

is_empty (q)가 참인 상태에서 dequeue 프로시저가 호출되면, pragma assert의 부울 표현식은 거짓으로 평가됩니다. 그 결과, 프로그램은 "Dequeue attempted on an empty queue." 메시지와 함께 Ada.Assertions.Assertion_Error 예외를 발생시킵니다. 이 dequeue 프로시저에는 별도의 예외 처리부가 없으므로, 발생한 예외는 프로시저를 호출한 외부 코드로 전달(전파)되며, 호출한 코드에서 해당 예외를 처리할 수 있습니다.

6.7.2 단언 정책 설정: pragma assertion_policy

런타임에 단언을 검사하는 것은 프로그램의 성능에 영향을 줄 수 있습니다. pragma assertion_policy는 단언의 검사 여부를 제어하는 정책을 설정하는 프라그마입니다. 이를 통해 개발 중에는 단언을 활성화하여 조건 검사를 수행하고, 최종 배포 버전에서는 단언을 비활성화하여 해당 검사를 생략할 수 있습니다.

구문 (syntax)

pragma assertion_policy는 두 가지 기본 형태로 사용됩니다.

1. 모든 단언에 일괄 정책 적용

가장 간단한 형태로, 특정 영역 내의 모든 종류의 단언에 하나의 정책을 일괄적으로 적용합니다.

pragma assertion_policy (<정책 식별자>);

정책 식별자 종류는 다음과 같습니다.

  • check: 실행 시점에 단언을 검사합니다.
  • ignore: 실행 시점에 단언을 검사하지 않습니다.
  • 컴파일러별 추가 정책: 컴파일러 제작사가 별도로 정의한 정책이 사용될 수 있습니다.

예시

-- 이 프라그마 이후부터 현재 선언부가 끝나는 지점까지 모든 단언을 검사하도록 설정
pragma assertion_policy (check);

-- 이 프라그마 이후부터 현재 선언부가 끝나는 지점까지 모든 단언을 무시하도록 설정
pragma assertion_policy (ignore);

2. 특정 단언에 선택 정책 적용

<단언 종류 표식> => <정책 식별자> 쌍을 쉼표(,)로 구분하여, 특정 종류의 단언에만 선택적으로 정책을 설정합니다.

-- 사전 조건(`pre`)은 검사하고, 사후 조건(`post`)은 무시하도록 설정
pragma assertion_policy (
  pre  => check,
  post => ignore
);

단언 종류 표식은 다음과 같습니다.

  • assert: pragma assert로 작성된 단언을 의미합니다.
  • static_predicate, dynamic_predicate: 서브타입에 정의된 정적 또는 동적 술어(predicate)를 의미합니다.
  • pre, pre'class: 서브프로그램의 사전 조건을 의미합니다. ('class는 클래스 전체 타입에 적용되는 사전 조건을 지정합니다.)
  • post, post'class: 서브프로그램의 사후 조건을 의미합니다. ('class는 클래스 전체 타입에 적용되는 사후 조건을 지정합니다.)
  • type_invariant, type_invariant'class: 타입 불변식을 의미합니다. ('class는 클래스 전체 타입에 적용되는 타입 불변식을 지정합니다.)
  • default_initial_condition: 타입의 기본 초기 조건을 의미합니다.
  • 이 외에 컴파일러 구현에 따라 추가적인 종류가 있을 수 있습니다.

적용 범위와 규칙

pragma assertion_policy에 허용되는 위치는 다음과 같습니다:

  • 선언부 (declarative part) 내부
  • 패키지 명세 (package specification) 내부
  • 설정 프라그마 (configuration pragma)

프라그마의 효력은 프라그마가 위치한 지점부터 해당 프라그마가 포함된 가장 안쪽의 선언부 영역(declarative region)이 끝나는 지점까지입니다. 예를 들어, 프로시저의 선언부에 위치했다면 프로시저 내부 전체에 영향을 줍니다. 여러 정책이 중첩된 영역에 적용될 경우, 가장 안쪽에 위치한 정책이 우선적으로 적용됩니다.

예시

다음은 특정 서브프로그램 내에서 사전 조건(pre) 검사를 비활성화하는 예시입니다.

procedure example_procedure (value : Integer) is
  -- 이 프로시저 내에서는 사전 조건 검사를 무시하도록 정책 설정
  pragma assertion_policy (pre => ignore);
begin
  -- ... 프로시저의 로직 ...
end example_procedure;

6.7.3 Ada.Assertions 패키지

Ada.Assertions는 단언(assertion)과 관련된 서비스를 제공하는 표준 라이브러리 패키지입니다. 이 패키지에는 단언 실패 시 발생하는 Assertion_Error 예외가 정의되어 있으며, pragma assert와는 다른 방식으로 단언을 수행하는 assert 프로시저를 제공합니다.

assert 프로시저

assert 프로시저는 코드 내에서 직접 호출하여 조건이 참인지를 검사하는 서브프로그램입니다. pragma assert와 마찬가지로 검사할 부울 조건과 선택적인 메시지 문자열을 인자로 받습니다.

구문 (syntax)

-- 메시지가 없는 경우
Ada.Assertions.[...];

-- 메시지를 포함하는 경우
Ada.Assertions.[...];

만약 check 매개변수에 전달된 조건이 거짓(False)이면, assert 프로시저는 Assertion_Error 예외를 발생시킵니다.

단언 정책으로부터 독립성

assert 프로시저는 pragma assertion_policy의 영향을 받지 않습니다. pragma assertassertion_policyignore로 설정되면 해당 검사는 컴파일 시 제거될 수 있습니다. 그러나 Ada.Assertions.assert 프로시저는 assertion_policy 설정과 관계없이 항상 실행되어 조건을 검사합니다.

assert 프로시저는 assertion_policy의 영향을 받지 않는 특성으로 인해, 컴파일러 정책에 의해 비활성화되지 않아야 하는 불변 조건이나 계약(contract)을 검증하는 데 사용됩니다.

6.7.4 표준 라이브러리에서의 단언 검사

Ada 표준 라이브러리의 특정 패키지들은 사전조건(pre), 정적 술어(static_predicate), 동적 술어(dynamic_predicate)와 같은 단언(assertion)의 준수 여부를 확인하기 위한 검사를 포함합니다.

각각의 단언 검사는 특정 표준 라이브러리 구성 요소(예: 패키지)와 그 안에 포함된 모든 후손 단위(descendant unit)에 적용됩니다. 후손 단위란 특정 구성 요소 내부에 한 단계 또는 여러 단계에 걸쳐 중첩된 모든 패키지, 서브프로그램 등을 의미합니다.

예를 들어 Ada 코드에서 A 내부에 B가 선언되고, 다시 B 내부에 C가 선언된 경우, BC는 모두 A의 후손 단위입니다.

-- 최상위 구성 요소 A
package A is
  -- ...
end A;

package body A is

  -- B는 A의 후손 단위입니다.
  package B is
    -- ...
  end B;

  package body B is

    -- C 또한 A의 후손 단위입니다.
    package C is
      -- ...
    end C;

    -- ...
  end B;
end A;

따라서 특정 단언 검사가 A에 적용된다면, 그 검사는 A의 모든 후손 단위인 BC 내부의 모든 선언에 효력을 미칩니다. 구체적인 적용 대상은 다음과 같습니다.

  • 후손 단위(BC 모두) 안에 선언된 모든 개체(변수, 타입 등)
  • 이러한 후손 단위(BC)에 속한 제네릭(Generic)을 바탕으로 생성된 인스턴스 내부의 모든 개체

다음은 레퍼런스 매뉴얼에 명시된 언어에 정의된 단언 검사들의 목록입니다. 이러한 검사가 실패할 경우, Assertion_Error 예외가 발생합니다.

  • calendar_assertion_check
    • Calendar 패키지와 관련된 단언을 검사합니다.
  • characters_assertion_check
    • Characters, Wide_Characters, Wide_Wide_Characters 패키지들과 관련된 단언을 검사합니다.
  • containers_assertion_check
    • Containers 패키지와 관련된 단언을 검사합니다.
  • interfaces_assertion_check
    • Interfaces 패키지와 관련된 단언을 검사합니다.
  • io_assertion_check
    • Sequential_IO, Direct_IO, Text_IO, Wide_Text_IO, Wide_Wide_Text_IO, Storage_IO, Streams.Stream_IO, Directories 패키지들과 관련된 단언을 검사합니다.
  • numerics_assertion_check
    • Numerics 패키지와 관련된 단언을 검사합니다.
  • strings_assertion_check
    • Strings 패키지와 관련된 단언을 검사합니다.
  • system_assertion_check
    • System 패키지와 관련된 단언을 검사합니다.


ㅆㅇㅆ은 나에 대한 비방, 모욕 및 명예훼손을 중단하라.

추천 비추천

0

고정닉 0

0

댓글 영역

전체 댓글 0
본문 보기

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 센터해도 될 것 같이 비주얼 물오른 아이돌 멤버는? 운영자 25/09/22 - -
이슈 ‘용원게이’를 넘어 배우 장용원으로 운영자 25/09/23 - -
2891562 발공이랑 축구차이 프갤러(175.197) 09.24 21 0
2891561 루도그 발작버튼 눌러버렸네 프갤러(118.235) 09.24 40 2
2891555 210.217 쟤 121.139 다중이임 ㅆㅇㅆ찡갤로그로 이동합니다. 09.24 29 0
2891552 카스 ♥냥덩이♥갤로그로 이동합니다. 09.24 21 0
2891550 한 두 명이 ip 바꿔가면서 꼬정부리는거 같은데. 나르시갤로그로 이동합니다. 09.24 28 0
2891549 c++ 환자에, 러스트 환자에, 그냥 환자에.. 아휴.. 나르시갤로그로 이동합니다. 09.24 25 0
2891548 난간다 ㅂ2 [1] 프갤러(210.217) 09.24 42 0
2891547 210.217는 왜 저러냐?? 나르시갤로그로 이동합니다. 09.24 23 0
2891546 한국에 지진나면 집무너지나 프갤러(175.197) 09.24 19 0
2891544 걍 객체지향 못 배워먹은 [13] 루도그담당(211.184) 09.24 69 0
2891543 애널의달성 2/1// ♥냥덩이♥갤로그로 이동합니다. 09.24 17 0
2891542 재명 지원금으로 돈까스 먹고 나오는길이다 [1] ㅆㅇㅆ찡갤로그로 이동합니다. 09.24 31 0
2891541 업뎃) 'C/C++' 표기법에 대한 고찰: 오해와 진실 나르시갤로그로 이동합니다. 09.24 24 0
2891540 [애니뉴스] 귀인환등초 23화 감상 프갤러(121.172) 09.24 20 0
2891538 지금 c#으로 맨날 프로그램 만들었는데 프갤러(211.110) 09.24 26 0
2891537 걍 그러려니 함 루도그담당(211.184) 09.24 39 0
2891536 국제왕따 재명이 ㅠ ♥냥덩이♥갤로그로 이동합니다. 09.24 27 1
2891535 제1회 장애인 몸비틀기 대회가 시작되었습니다. [1] 프갤러(210.217) 09.24 52 2
2891534 EAI/ESB는 이직 어려움? [2] 프갤러(112.216) 09.24 33 0
2891533 언어에 대한 개략적인 부분은 당연히 [31] 루도그담당(211.184) 09.24 163 0
2891532 재명이 또 개소리하다 단체패씽 당했넹 ㅋㅅㅋ ♥냥덩이♥갤로그로 이동합니다. 09.24 27 0
2891531 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ ♥냥덩이♥갤로그로 이동합니다. 09.24 25 0
2891530 오늘은 외주가 없다 [6] ㅆㅇㅆ찡갤로그로 이동합니다. 09.24 64 0
2891529 진짜 쓰잘데기 없는 고민이나 질문만 올라오네 프갤러(125.131) 09.24 32 0
2891528 도구를 숙달하는건 중요하지 [2] ㅆㅇㅆ찡갤로그로 이동합니다. 09.24 59 0
2891527 언어를 숙련한다 < 이게 뭔 말임? [19] 루도그담당(211.184) 09.24 116 0
2891526 견지망월이라고 하듯 언어는 손가락임 ㅆㅇㅆ(124.216) 09.24 32 0
2891524 애초에 컴퓨터 공학은 컴퓨터에 대한 과목이 아님. 다익스트라가 말했듯이 [1] ㅆㅇㅆ(124.216) 09.24 58 2
2891523 언어 관점으로 들어가면 [9] 루도그담당(211.184) 09.24 98 0
2891522 정신병자는 자기가 정상인줄 안다는 말이 사실인가봄 프갤러(118.235) 09.24 29 1
2891521 C++빨러가 나 괴롭히다가 빤스런함. ㅋㅋㅋ [9] 나르시갤로그로 이동합니다. 09.24 56 0
2891520 ■전산직가려면 어학필수냐? ㅇㅇ갤로그로 이동합니다. 09.24 35 0
2891519 나는 언어보단 오히려 지향에 더 애착이 있는듯 [2] ㅆㅇㅆ(124.216) 09.24 51 0
2891518 까는 언어 하나 없으면 개발 인생 헛살은 겁니다. ㅎㅎ 나르시갤로그로 이동합니다. 09.24 25 0
2891516 빠는 언어 하나 없으면 그냥 개발자 인생 헛살았다고 봅니다. [4] 프갤러(218.154) 09.24 50 0
2891515 봐. 이렇게 괴롭히잖아. 나르시갤로그로 이동합니다. 09.24 23 0
2891514 러슬람이랑 루비 루도그담당(211.184) 09.24 35 0
2891513 개발자판 만들고 싶은거 만들라는 세상좋은소리 믿어도 되는건가요?? ㅇㅇ(221.153) 09.24 18 0
2891512 독거로 나이먹어가면 저렇게 변하는구나 사람이 프갤러(121.129) 09.24 25 1
2891511 러스트는 신규 레거시일 뿐입니다. 아무도 안 써요 ㅎㅎ 나르시갤로그로 이동합니다. 09.24 26 0
2891510 c cpp 가지고 싸우지 말고 러스트나 하십쇼 프갤러(218.154) 09.24 27 0
2891509 ㅎㅎㅎ GPT를 발렸습니다. ㅋㅋ [14] 나르시갤로그로 이동합니다. 09.24 71 0
2891508 아무리 생각해봐도 동적 타입은 쓸게 못된다. [2] 프갤러(218.154) 09.24 41 0
2891507 뭐냐 디시에 개죽이 나오는거 [5] 루도그담당(58.239) 09.24 51 0
2891506 보석새끼 지가 하던 짓 똑같이 당하고 있나보네 프갤러(218.154) 09.24 29 0
2891505 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ ♥냥덩이♥갤로그로 이동합니다. 09.24 23 0
2891504 Cpu만 이제 바꾸면되는데 씨피유 이거 밀면 ㅆㅇㅆ찡갤로그로 이동합니다. 09.24 26 0
2891503 어제한거 정리해서 보내줘야하는데 넘힘들다 [3] ㅆㅇㅆ(124.216) 09.24 38 0
2891502 고소 드립 == 패배 선언 프갤러(125.131) 09.24 27 0
2891501 일론머스크, 주커버그, 빌게이츠같은 애들은 경영자임 공학자임?? ㅇㅇ(221.153) 09.24 26 0
뉴스 '서울 자가에 대기업 다니는 김 부장 이야기' 류승룡, 25년 차 세일즈맨의 출근길 담은 1차 티저 영상 공개! 디시트렌드 10:00
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2