클래스 ara::core::FutureException

클래스 ara::core::FutureException은(는) ara::core::Future 및 ara::core::Promise와(과) 관련된 오류 발생 시 던져지는 특정 예외 타입으로 사용됩니다 [SWS_CORE_00412]. 이는 ara::core::ErrorCode을(를) 캡슐화하며 명시적 생성자를 통해 생성됩니다 [SWS_CORE_00412]. 비동기 및 동시성 환경에서의 안전한 사용을 위해 인스턴스화는 noexcept, 스레드 안전 및 예외 안전으로 명시되어 있습니다 [SWS_CORE_00412].

자세히 ›

컨텍스트

클래스 ara::core::FutureException은(는) 모듈 core 내에서 비동기 통신 및 동기화 프리미티브를 위한 전용 예외 타입으로 기능합니다. 목적에 따라 이 예외 타입은 비동기 연산 컨텍스트의 오류 상태를 호출자에게 알리기 위해 ara::core::Future 및 ara::core::Promise에 의해 트리거됩니다. 구조적으로 ara::core::FutureException은(는) 기본 클래스 Exception에서 파생되며 도메인별 오류 코드를 캡슐화합니다.

협업 시나리오에서 ara::core::FutureException은(는) 생성하는 비동기 엔드포인트(예: ara::core::Promise), 소비하는 엔드포인트(ara::core::Future) 및 애플리케이션 측 오류 처리 간의 가교를 형성합니다. 이 세 참여자의 상호작용은 오류 처리를 위해 예외가 전달되는 구조적 틀을 명확히 보여줍니다.

컨텍스트 다이어그램: Promise, Future 및 애플리케이션 스레드 간의 ara::core::FutureException 임베딩. 출처: [SWS_CORE_00412]

수명 주기

ara::core::FutureException의 인스턴스화는 ara::core::ErrorCode 타입의 오류 코드를 전달받아 생성자를 통해 명시적으로 수행됩니다 [SWS_CORE_00412]. explicit 선언을 통해 ara::core::ErrorCode으로부터의 암시적 타입 변환이 차단됩니다. 생성자는 noexcept(으)로 지정되어 있어 생성 자체가 추가 예외를 발생시킬 수 없음을 보장합니다 [SWS_CORE_00412].

실행 안전성과 관련하여 클래스는 예외 안전(exception safe)으로 명시되어 있습니다 [SWS_CORE_00412]. 동시성 작동을 위해 사양은 또한 생성을 명시적으로 스레드 안전(thread-safe)으로 지정합니다 [SWS_CORE_00412]. 이를 통해 비동기 연산이 스레드 경계를 넘어 예외를 안전하게 인스턴스화하고 대기 중인 수신자에게 전달할 수 있습니다.

사용 경로

일반적인 사용 흐름은 비동기 연산 중 오류가 발생하는 것부터 소비하는 호출자가 예외를 포착할 때까지를 포함합니다. 제공은 일반적으로 헤더 ara/core/future_error_domain.h을(를) 통해 이루어집니다 [SWS_CORE_00412].

시퀀스 다이어그램: 오류 발생부터 ara::core::FutureException의 인스턴스화를 거쳐 포착까지의 흐름. 출처: [SWS_CORE_00412]

사용 흐름은 다음 단계로 나뉩니다:

• ara::core::Promise 또는 ara::core::Future와(과) 관련된 비동기 처리에서 실패 또는 허용되지 않는 상태를 감지합니다.
• 특정 ara::core::ErrorCode을(를) 지정하여 생성자를 통해 ara::core::FutureException을(를) 생성합니다 [SWS_CORE_00412].
• 예외를 소비하는 스레드로 전달하며, 소비하는 스레드에서는 try-catch 블록의 틀 내에서 이를 포착하고 포함된 오류를 분석합니다.

오류 시나리오

ara::core::FutureException 자체가 오류 신호 전달의 매개체이므로, 오류 시나리오는 자체 생성 조건으로 국한됩니다. 생성자가 noexcept(으)로 표시되어 있으므로 객체 생성 시 2차 예외 형태의 실행 오류가 발생할 수 없음이 보장됩니다 [SWS_CORE_00412]. 생성을 위한 전제 조건으로 매개변수로 ara::core::ErrorCode 타입의 유효한 객체를 전달해야 합니다 err [SWS_CORE_00412]. ara::core::Future 또는 ara::core::Promise와(과) 작업할 때 오류가 발생하는 경우 예외는 이 오류 코드를 상위 호출로 변경 없이 전송하는 역할을 합니다.