디시인사이드 갤러리

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

갤러리 본문 영역

러스트도 울고 갈 Ada 6.4 반환값 생성을 위한 예외 처리

나르시갤로그로 이동합니다. 2025.09.17 09:25:14
조회 51 추천 0 댓글 5

러스트는 위대하지도 완벽하지도 않습니다.


6.4 반환값 생성을 위한 예외 처리 (Ada 2022)

6.4.1 확장 return 문의 구문과 기능

Ada 2022 표준에 도입된 확장 return 문(extended return statement)은 함수가 반환할 객체의 선언과 초기화를 하나의 구문 블록 내에서 처리하는 기능입니다. 이 구문은 반환 객체의 초기화 과정을 하나의 블록으로 묶어주며, 이 블록 안에는 예외 처리부를 선택적으로 포함할 수 있습니다.

구문

확장 return 문의 일반적인 형태는 다음과 같습니다. exception 처리부는 선택적으로 사용할 수 있습니다.

return variable_name : Type_Name do
   -- 반환 객체 초기화 코드
   ...
exception
   -- 초기화 중 발생한 예외 처리 코드
   ...
end return;

  • return variable_name : Type_Name do: 함수가 반환할 타입(Type_Name)의 변수(variable_name)를 선언합니다. 이 변수의 유효 범위는 do ... end return 블록 내부로 한정됩니다.
  • do ... end return: 선언된 반환 변수의 최종 값을 결정하는 일련의 문장(statements)을 포함하는 블록입니다.
  • exception (선택 사항): do 블록 내의 코드가 실행되는 동안 예외가 발생하면, 제어가 exception 처리부로 이전됩니다. 예외 처리부에서는 발생한 예외에 따라 반환 변수의 값을 수정하는 등의 후속 조치를 수행할 수 있습니다.
  • end return: 이 지점에서 반환 변수의 값이 확정되어 함수 호출자에게 반환됩니다.

기능

이 구문은 반환 객체의 초기화가 여러 문장(statement)으로 구성되는 경우에 사용되며, 해당 초기화 과정에서 발생하는 예외를 처리하는 기능을 제공합니다. 확장 return 문의 주된 기능은 다음과 같습니다.

  1. 반환 객체 초기화 중 예외의 지역적 처리: do 블록 내에 exception 처리부를 두어, 반환 객체를 초기화하는 과정에서 발생하는 예외를 해당 블록 내에서 처리하도록 허용합니다. 이를 통해 예외가 함수 외부로 전파되기 전에 반환 객체의 상태를 사전에 정의된 값으로 설정할 수 있습니다.
  2. 반환값의 확정: do 블록 내에서 예외가 발생하지 않거나, 발생한 예외가 내부 exception 처리부에서 처리되는 경우, 함수는 end return 시점에 확정된 객체를 반환합니다. exception 처리부를 통해 반환 객체의 상태를 제어할 수 있으므로, 함수가 초기화가 완료되지 않은 상태의 값을 반환하는 상황을 방지할 수 있습니다.

구문 예시

다음 코드는 확장 return 문의 기본적인 사용법을 보여주는 사례입니다. 함수는 Status_Code라는 이름의 타입을 반환하며, return 문 안에서 code라는 변수를 선언하고 초기화합니다.

with Ada.Text_IO; use Ada.Text_IO;

procedure test_extended_return is

  -- 함수 반환 타입을 정의합니다.
  type Status_Code is range 100 .. 599;
  default_error_code : constant Status_Code := 500;

  -- Status_Code 타입의 값을 생성하는 함수
  function create_status (value : Integer) return Status_Code is
  begin
    return code : Status_Code do
      code := Status_Code (value); -- 여기서 Constraint_Error가 발생할 수 있습니다.
    exception
      when Constraint_Error =>
        -- 예외 발생 시, 반환될 변수 Code의 값을 안전하게 설정합니다.
        code := default_error_code;
    end return;
  end create_status;

begin
  -- 정상적인 경우
  put_line ("create_status (200)의 결과:" &
            Status_Code'image (create_status (200)));

  -- 예외가 발생하는 경우
  put_line ("create_status (999)의 결과:" &
            Status_Code'image (create_status (999)));
end test_extended_return;

실행 결과:

create_status (200)의 결과: 200
create_status (999)의 결과: 500

6.4.2 사용 사례: 객체 초기화 시 예외 처리

확장 return 문은 여러 필드로 구성된 객체(레코드)를 초기화하는 과정에서 오류가 발생했을 때, 객체를 사전에 정의된 상태로 반환하는 데 사용될 수 있습니다. 이 구문은 객체 초기화 과정과 해당 과정의 예외 처리를 하나의 구문 블록 내에 함께 기술할 수 있습니다.

예시: 설정(Configuration) 객체 생성

다음 예시는 문자열 형태의 설정값을 사용하여 Configuration 객체를 생성하는 함수입니다. 문자열을 정수로 변환하는 과정에서 예외가 발생하면, 함수는 예외를 전파하지 않고 사전에 정의된 기본값을 가진 Configuration 객체를 반환합니다.

with Ada.Text_IO;
use  Ada.Text_IO;
with Ada.Strings.Unbounded;
use  Ada.Strings.Unbounded;

procedure test_config_creation is

  -- 1. 여러 필드를 가진 레코드 타입(객체) 정의
  type Configuration is record
    host    : Unbounded_String;
    port    : Positive;
    timeout : Natural;
  end record;

  -- 초기화 실패 시 반환할 기본 설정값
  function default_config return Configuration is
  begin
    return (host    => to_unbounded_string ("localhost"),
            port    => 8080,
            timeout => 5_000);
  end default_config;

  -- 2. 외부 소스로부터 설정을 읽어와 객체를 생성하는 함수
  function load_config (host_str : String; port_str : String)
  return Configuration is
  begin
    -- 반환될 객체 config를 선언하고 초기화 블록을 시작합니다.
    return config : Configuration do
      -- 각 필드를 순서대로 초기화합니다.
      config.host    := to_unbounded_string (host_str);
      -- 여기서 Constraint_Error 발생 가능
      config.port    := Positive'value (port_str);
      config.timeout := 10_000; -- port 초기화 성공 시 설정되는 값
    exception
      when Constraint_Error =>
        -- port_str이 유효한 숫자가 아닐 경우, 전체 설정을 기본값으로 대체합니다.
        put_line ("(알림: 포트 번호 분석 실패. 기본 설정으로 복구합니다.)");
        config := default_config;
     end return;
  end load_config;

  -- 생성된 설정을 출력하는 프로시저
  procedure print_config (conf : Configuration) is
  begin
    put_line ("Host:" & to_string (conf.host));
    put_line ("Port:" & Positive'image (conf.port));
    put_line ("Timeout:" & Natural'image (conf.timeout));
  end print_config;

  config_a : Configuration;
  config_b : Configuration;

begin
  put_line ("--- 시나리오 1: 정상적인 초기화 ---");
  config_a := load_config (host_str => "example.com", port_str => "443");
  print_config (config_a);
  new_line;

  put_line ("--- 시나리오 2: 초기화 중 예외 발생 ---");
  config_b := load_config (host_str => "test-server", port_str => "bad_port");
  print_config (config_b);
end test_config_creation;

실행 결과

--- 시나리오 1: 정상적인 초기화 ---
Host:example.com
Port: 443
Timeout: 10000

--- 시나리오 2: 초기화 중 예외 발생 ---
(알림: 포트 번호 분석 실패. 기본 설정으로 복구합니다.)
Host:localhost
Port: 8080
Timeout: 5000

분석

  • 시나리오 1: port_str으로 전달된 "443"은 유효한 숫자이므로 Positive'value 변환이 성공합니다. do 블록이 예외 없이 완료되고, 초기화된 config 객체가 반환됩니다.
  • 시나리오 2: port_str으로 "bad_port"가 전달되어 Positive'value 변환 시 Constraint_Error가 발생합니다. 제어 흐름은 exception 처리부로 이동하며, 반환될 config 객체의 필드들이 default_config 함수의 값으로 덮어쓰기 됩니다.

이처럼 확장 return 문은 객체 생성 로직과 실패 시의 복구 로직을 하나의 구문 블록 안에 함께 배치할 수 있는 구조를 제공합니다.




https://nimfsoft.art/ko/books/ada-programming/#64-%EB%B0%98%ED%99%98%EA%B0%92-%EC%83%9D%EC%84%B1%EC%9D%84-%EC%9C%84%ED%95%9C-%EC%98%88%EC%99%B8-%EC%B2%98%EB%A6%AC-ada-2022


 


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

추천 비추천

0

고정닉 0

0

댓글 영역

전체 댓글 0
본문 보기

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 센터해도 될 것 같이 비주얼 물오른 아이돌 멤버는? 운영자 25/09/22 - -
AD 가전디지털, 액세서리 SALE 운영자 25/09/12 - -
2890303 꿀잼이당 2기양!! ♥냥덩이♥갤로그로 이동합니다. 09.19 41 0
2890302 사랑..❤+ [1] ♥냥덩이♥갤로그로 이동합니다. 09.19 67 0
2890301 프갤에는 다 국비웹땔깜밖에 없어? [3] 프갤러(125.130) 09.19 63 0
2890300 국비 개병신 버러지새끼들 욕하는건 무지성으로 기어들어온 폐품이라서 프갤러(110.8) 09.19 95 0
2890299 ■헬프데스크하면서 인강독학은 어떰? [2] ㅇㅇ갤로그로 이동합니다. 09.19 52 0
2890298 치킨은 콤보 아니면 먹을가치도 없당 [2] ♥냥덩이♥갤로그로 이동합니다. 09.19 58 0
2890297 코드 그따위로 하려면 C++ 하지 마라. [2] 프갤러(59.16) 09.19 64 0
2890296 프렌차이즈 떡복이는 개싸구려 재료 음식물쓰레기 [1] ♥냥덩이♥갤로그로 이동합니다. 09.19 44 0
2890295 더불어민주당 서영교 증거조작 허위사실유포 논란 일파만파 ♥냥덩이♥갤로그로 이동합니다. 09.19 45 0
2890293 재사용 못할 코드 싸고 튀려면 차라리 하스켈이 나으려나 프갤러(211.234) 09.19 39 0
2890292 "새로운 패권국 탄생" 중국, 일본이 한반도 통일 죽어라 막는 이유 [1] 발명도둑잡기(118.216) 09.19 42 0
2890291 신길동 매운짬뽕 머거야자 [1] ♥냥덩이♥갤로그로 이동합니다. 09.19 33 0
2890290 왜 하필 러스트냐 [1] 프갤러(61.74) 09.19 44 0
2890289 국민들 죽여버려야 한다는 더불어민주당 최강욱 ♥냥덩이♥갤로그로 이동합니다. 09.19 37 0
2890287 다시 러스트 할 용기와 분노를 얻었다. 프갤러(61.74) 09.19 24 0
2890286 영국과 분리독립을 하고픈 스코틀랜드의 계획 발명도둑잡기(118.216) 09.19 31 0
2890285 저학력 거지들의 분노는 프갤러(61.74) 09.19 39 0
2890283 이재명 탄핵 [1] ♥냥덩이♥갤로그로 이동합니다. 09.19 50 0
2890282 기득권의 증오심과 사회적 약자의 증오심 연구 [1] 발명도둑잡기(118.216) 09.19 38 0
2890280 아프리카 식민지를 잃은 프랑스의 문제점 발명도둑잡기(118.216) 09.19 38 0
2890279 나님 갤록 방문자수 100명 넘었넹 무슨일easy? ♥냥덩이♥갤로그로 이동합니다. 09.19 35 0
2890278 “캐나다 감독이지만…” 캐나다 언론의 반응 [1] 발명도둑잡기(118.216) 09.19 31 0
2890277 나님 왤케 특별하실깡? [1] ♥냥덩이♥갤로그로 이동합니다. 09.19 39 0
2890273 저장용 [2] ♥냥덩이♥갤로그로 이동합니다. 09.19 30 0
2890272 논란의 山歩(산보) - スーパー登山部(슈퍼등산부) 발명도둑잡기(118.216) 09.19 62 0
2890271 오늘 그냥 집에서 쉬는데 피곤해 죽을거 같다..ㅇㅅㅇ 헤르 미온느갤로그로 이동합니다. 09.19 28 0
2890269 이재명의 중국인 무비자 입국과 장기밀매 납치 인육유통 [2] ♥냥덩이♥갤로그로 이동합니다. 09.19 61 0
2890268 KT 해킹 및 결제사기 범인 중국인이었다 [2] ♥냥덩이♥갤로그로 이동합니다. 09.19 50 0
2890267 내가 대학생 졸업과제 외주를 못 끊는게 뭐냐면 [3] ㅆㅇㅆ(124.216) 09.19 79 0
2890265 싼값에 외주하면서 느끼는데 정보 얻는게 많다 [2] ㅆㅇㅆ(124.216) 09.19 56 0
2890264 “남녀 각 1%는 성관계 갖지 않아”…그들의 특징은? 발명도둑잡기(118.216) 09.19 37 0
2890263 또 MBK…롯데카드 인수해 배당 2000억 챙기고 '보안투자' 뒷전 [1] 발명도둑잡기(118.216) 09.19 36 0
2890262 바이비트 자동 매매 만들준비나 해야겠다 [3] ㅆㅇㅆ찡갤로그로 이동합니다. 09.19 53 0
2890261 나님 뛰뛰 20km [1] ♥냥덩이♥갤로그로 이동합니다. 09.19 39 0
2890260 애비새끼가 노인거리지말라고하는데 그럼 뭐라고해야함?? [2] 타이밍뒷.통수한방(1.213) 09.19 39 0
2890259 dvdprime 게시판은 갯수가 적지만 조회수가 1000대네? 발명도둑잡기(118.216) 09.19 26 0
2890257 못생겨도 여자들이 좋아하는 남자 특징 [1] ㅇㅇㅇㅇ(115.144) 09.19 57 0
2890256 러빨러는 어떻게 해야 완벽 차단이 가능할까 [1] 나르시갤로그로 이동합니다. 09.19 33 0
2890255 케이뱅크 애용자로서 문의드립니다. 최대 출금 내역 1000만원에서 10으 [1] 넥도리아(220.74) 09.19 59 0
2890254 부산국제영화제로 요새 숙소 얼마정도 하나 [1] 발명도둑잡기(118.216) 09.19 45 0
2890253 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ [1] ♥냥덩이♥갤로그로 이동합니다. 09.19 47 0
2890251 '100년물 국채 강매' 공포의 보고서 작성자...연준 투입된 트럼프 최 발명도둑잡기(118.216) 09.19 43 0
2890250 db/sql 공부법 질문 프갤러(165.229) 09.19 40 0
2890249 라면에 계란, 고기를 넣어야 포만감이 오래 가는 듯 [2] 발명도둑잡기(118.216) 09.19 34 0
2890248 ❤✨☀⭐⚡☘⛩나로님 퇴근합니당⛩☘⚡⭐☀✨❤ Naro갤로그로 이동합니다. 09.19 32 0
2890247 요새 해외 디코 들어가도 codex 가 그렇게 뜬다길래 써볼려고하는데 [1] ㅆㅇㅆ(124.216) 09.19 57 0
2890246 사회초년생이라 얼마 없대서 20만짜리 15만에 해줬는데 [5] ㅆㅇㅆ찡갤로그로 이동합니다. 09.19 69 0
2890245 오늘도 기부니가 더러워서 또 칼퇴 할거고요 [3] 프갤러(218.154) 09.19 48 0
2890244 하다보면 선호하는 언어가 생겨 [1] 프갤러(218.154) 09.19 51 0
2890243 중국 망한다는 놈들아 중국 5.2% 성장이라고 한다 [2] 발명도둑잡기(118.216) 09.19 40 1
뉴스 '살림남' 지상렬, 과몰입 부르는 신보람과의 1:1 데이트 현장 공개! 설렘지수 MAX! 디시트렌드 09.20
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2