구조체 ara::core::Monostate

클래스 ara::core::Monostate은 [variant]에 대한 참조에 따라 모듈 core에서 variant 데이터 구조 내의 빈 상태를 표현하기 위한 무상태 대리자 타입으로 사용됩니다. 해석: 대안 페이로드 타입들이 기본 생성자를 제공하지 않을 때 ara::core::Variant를 기본 생성 가능(default constructible)하도록 만들기 위해 std::monostate의 대응물로서 기능할 것으로 보입니다. 질문 Q-b724690dfd69af81 (열림) 구조체가 final로 정의되어 있고 데이터 필드를 포함하지 않으므로 모든 수명 주기 연산은 동적 리소스 바인딩 없이 사소(trivial)하게 수행됩니다. 인스턴스는 주로 기본 대안으로 사용되며 동기화 오버헤드 없이 동시성 환경에서 사용될 수 있습니다.

자세히 ›

컨텍스트

클래스 ara::core::Monostate은 AUTOSAR Adaptive Platform의 모듈 core 내에서 기본적인 구성 요소를 나타냅니다. struct Monostate final로서의 선언은 타입 정의된 합 타입(sum type) 내에서 사용할 수 있는 값의 부재를 나타내는 것이 주된 책임인 무상태 단위 타입(unit type)을 정의합니다. 공식적인 의미론 및 목적과 관련하여 명세는 [variant]에서의 대응 사용법을 참조합니다. 해석: 이로부터 ara::core::Monostate가 C++ 표준의 std::monostate에 대한 직접적인 대응물로 기능하며, 명시적으로 비어 있는 상태 대안을 variant에 부여하기 위해 ara::core::Variant과 긴밀히 상호작용한다고 도출할 수 있습니다. 질문 (열림)

표준을 준수하는 C++ 인터페이스에서 타입 정의된 variant 구조체가 매개변수 없는 생성(기본 생성)을 지원하려면 첫 번째 위치에 나열된 타입 대안이 기본 생성 가능해야 합니다. 어떤 업무용 페이로드 타입도 기본 생성자를 제공하지 않거나 variant가 초기에 명시적으로 어떠한 업무적 상태도 나타내지 않아야 하는 경우, ara::core::Monostate은 타입 목록의 첫 번째 위치에서 올바른 형식의 플레이스홀더 역할을 수행합니다. variant 초기화와 실제 업무 데이터 제공의 이러한 분리를 통해, 클래스는 결정론적 제어기 소프트웨어 내에서 variant 기반 인터페이스 및 함수 결과가 항상 타입 안전하고 잘 정의되며 메모리 효율적으로 초기화될 수 있도록 보장합니다.

수명 주기

ara::core::Monostate의 수명 주기는 최대의 무상태성과 최소의 복잡성을 특징으로 합니다. 구조체가 final로 선언되어 있고 어떠한 데이터 요소도 캡슐화하지 않으므로, 인스턴스는 가변적인 내부 상태, 단계 또는 상태 전이를 갖지 않습니다. 해석: 자체 상태 데이터가 없는 final로 선언된 대리자 타입으로서 ara::core::Monostate는 사소하게 생성, 복사, 이동 및 소멸될 수 있을 것으로 보이며, 이에 따라 모든 수명 주기 연산은 동적 메모리 할당 없이, 예외 위험 없이, 무시할 수 있는 수준의 런타임 오버헤드로 실행됩니다. 질문 Q-9cf1c06bbd91b6ec (열림)

인스턴스화는 일반적으로 감싸는 variant의 기본 생성 시 암시적으로 수행되거나 빈 상태를 할당할 때 명시적으로 수행됩니다. 운영체제 리소스나 메모리 리소스를 바인딩하지 않으므로 소멸 시 어떠한 정리 작업도 필요하지 않습니다. 소유권 및 동시성과 관련하여 클래스는 순수한 기본 값 타입처럼 동작합니다. 즉, 클래스 수준에서 동기화 메커니즘이나 데이터 레이스(data race)가 발생할 위험 없이 여러 실행 경로에서 인스턴스를 동시에 생성, 복사 또는 평가할 수 있습니다. 이때 인스턴스의 수명은 로컬 스코프 또는 이를 감싸는 컨테이너에 엄격히 구속됩니다.

사용 경로

ara::core::Monostate의 전형적인 사용 경로는 ara::core::Variant의 선언 및 처리와 떼어놓을 수 없이 연결되어 있습니다. variant를 정의할 때 빈 초기 상태를 허용하기 위해 ara::core::Monostate가 첫 번째 위치에 지정됩니다. 그 후 variant가 기본 생성자를 통해 생성되면 비즈니스 타입을 인스턴스화할 필요 없이 자동으로 이 빈 상태를 취합니다.

프로그램 실행이 계속됨에 따라 사용자는 타입 쿼리나 비지터 패턴을 통해 variant가 현재 타입 ara::core::Monostate을 포함하고 있는지 확인하여 비활성 또는 비어 있는 상태를 감지합니다. 페이로드 데이터가 준비되면 variant는 해당 비즈니스 값으로 덮어써집니다. 비어 있는 상태로의 재설정은 ara::core::Monostate{}을 다시 할당함으로써 수행됩니다. 해석: ara::core::Monostate에 대해 동등 및 비교 연산자가 존재할 것으로 추정되며, 따라서 두 인스턴스의 비교는 항상 동등함을 산출하고 빈 상태에 있는 variant의 관계 비교가 결정론적으로 평가될 수 있습니다. 질문 (열림)