class ara::core::Bitset::reference

Die Hilfsklasse ara::core::Bitset::reference fungiert als Proxy-Typ für den lvalue-artigen Zugriff auf einzelne Bits eines ara::core::Bitset. Sie ermöglicht die gezielte Modifikation des referenzierten Bitwerts, insbesondere dessen Invertierung über die Elementfunktion flip() gemäß [SWS_CORE_01712]. Durch die Deklaration von flip() als noexcept ist die Operation garantiert ausnahmesicher [SWS_CORE_01712]. Als wesentliche Randbedingung bleibt das Proxy-Objekt interpretationsgemäß nur während der Lebensdauer des umschließenden Containers gültig.

mehr ›

Kontext

Die geschachtelte Hilfsklasse ara::core::Bitset::reference fungiert innerhalb des Moduls core der AUTOSAR Adaptive Platform als Proxy-Objekt für den Zugriff auf einzelne Bits in einem ara::core::Bitset. Da einzelne Bits im C++-Typsystem keine eigenständige Speicheradresse besitzen und somit nicht direkt als native Referenz (bool&) abgebildet werden können, implementiert reference das Konzept von std::bitset::reference aus dem C++-Standard [bitset]. Die Klasse dient als Vermittler zwischen dem aufrufenden Code und dem internen Bit-Speicher des Containers ara::core::Bitset. Sie ermöglicht es Entwicklern, ein einzelnes Bit syntaktisch und semantisch wie eine modifizierbare Referenz zu behandeln, indem Operationen auf dem Proxy unmittelbar auf das zugrundeliegende Bit im Bitset abgebildet werden. Wesentlicher Bestandteil dieser Schnittstelle ist die Elementfunktion flip() gemäß [SWS_CORE_01712], welche eine direkte Zustandsinversion des adressierten Bits bereitstellt.

Lebenszyklus

Instanzen von ara::core::Bitset::reference besitzen typischerweise einen kurzlebigen Charakter. Die Erzeugung erfolgt interpretationsgemäß nicht als frei stehendes Objekt durch den Anwendungsentwickler, sondern wird intern durch die nicht-konstanten Zugriffsmechanismen des Containers ara::core::Bitset initiiert, wenn ein Lvalue-Zugriff auf eine bestimmte Bitposition angefordert wird. Das erzeugte Proxy-Objekt bindet sich logisch an die spezifische Bitposition und den zugrundeliegenden Speicherbereich des Containers. Die Lebensdauer der reference-Instanz ist somit streng an die Existenz des umschließenden Bitset-Objekts gekoppelt: Wird das referenzierte Bitset zerstört oder sein Speicher ungültig, führt ein nachträglicher Zugriff über das Proxy-Objekt vermutlich zu undefiniertem Verhalten (Dangling Reference). Frage Q-44ce3478c9a2d987 (offen) Nach Abschluss von Operationen wie der Bitinversion über flip() gemäß [SWS_CORE_01712] wird das temporäre Objekt in der Regel unmittelbar verworfen. Hinsichtlich der Nebenläufigkeit ist zu beachten, dass gleichzeitige schreibende Zugriffe auf verschiedene oder identische Bits desselben Containers über separate reference-Instanzen ohne externe Synchronisation vermutlich nicht thread-sicher sind.

Nutzungspfad

Der primäre Anwendungsfall von ara::core::Bitset::reference besteht in der gezielten Abfrage und Modifikation einzelner Bitwerte. Im typischen Ablauf greift ein Aufrufer über den Indexoperator auf eine Bitposition in ara::core::Bitset zu, wodurch ein temporäres reference-Objekt zurückgegeben wird. Auf dieser Referenz können nun modifizierende Operationen durchgeführt werden. Speziell für die Invertierung des Bitwerts stellt die Klasse die Elementfunktion flip() bereit, welche gemäß [SWS_CORE_01712] spezifiziert ist. Diese Methode invertiert den aktuellen Zustand des referenzierten Bits (aus 0 wird 1, aus 1 wird 0) und gibt eine Lvalue-Referenz auf das Proxy-Objekt selbst (reference&) zurück. Dies erlaubt eine Verkettung weiterer Aufrufe oder eine direkte Weiterverwendung des modifizierten Ergebnisses.

Sequenzdiagramm: Typischer Ablauf der Bit-Invertierung über das Proxy-Objekt reference. Quellen: [SWS_CORE_01712]

Fehlerszenarien

Die Klasse ara::core::Bitset::reference zeichnet sich durch ein auf Robustheit und Performance ausgelegtes Design aus. Für die zentrale Elementfunktion flip() ist gemäß [SWS_CORE_01712] explizit die Ausnahme-Sicherheit „exception safe“ sowie der Bezeichner noexcept festgelegt. Das bedeutet, dass der Aufruf von flip() garantiert keine C++-Ausnahmen auslöst. Fehlerzustände oder Ausnahmebehandlungen treten bei diesem Aufruf somit nicht auf; Vorbedingung für die fehlerfreie Ausführung ist die Gültigkeit der zugrundeliegenden Referenz auf das Container-Objekt.