clase ara::core::Bitset

La función miembro [SWS_CORE_01744] pertenece a la clase ara::core::Bitset y se proporciona a través del archivo de cabecera #include "ara/core/bitset.h". La función posee la signatura bool all () const noexcept;, no acepta parámetros y devuelve de forma síncrona un valor booleano. Según la especificación, la semántica se basa en el uso correspondiente en [bitset]; interpretación: el método comprueba probablemente si todos los bits de la instancia están establecidos (tienen el valor true). Pregunta Q-a4f0f8970bd2c9bb (abierta)

En cuanto al tratamiento de errores, la función está declarada como noexcept y especificada como segura ante excepciones (exception safe) [SWS_CORE_01744]. Dado que no se notifican estados de error y la ejecución transcurre de forma garantizada sin errores, los códigos de error de ara::core::CoreErrc no resultan de aplicación aquí.

Para el contexto de invocación y la concurrencia rigen las siguientes condiciones de contorno:

• La operación está declarada como const y no modifica el estado del objeto invocador ara::core::Bitset [SWS_CORE_01744].
• Es de suponer que los accesos de lectura simultáneos a través de varios subprocesos estén permitidos sin sincronización, siempre que ningún otro subproceso modifique la misma zona de memoria escribiendo en ella. Pregunta Q-d9f1f92a120128b5 (abierta)

La función miembro any() de ara::core::Bitset sirve para consultar de forma síncrona el estado de ocupación de los bits gestionados en el bitset [SWS_CORE_01745]. Según la especificación, el comportamiento se rige por el uso correspondiente de la plantilla de clase ISO C++ [bitset] [SWS_CORE_01745]. Interpretación: la función devuelve true si al menos un bit está activado, y false si todos los bits están desactivados. Pregunta Q-20c2aaf905d4a338 (abierta)

En cuanto al uso, el contexto de ejecución y el comportamiento ante errores, se aplican las siguientes estipulaciones:

• Llamada y parámetros: el método se invoca sin parámetros sobre una instancia existente que, por ejemplo, se haya inicializado previamente mediante el constructor [SWS_CORE_01749]. La llamada se realiza de forma síncrona y devuelve inmediatamente el resultado de la comprobación como bool [SWS_CORE_01745].
• Tratamiento de errores: la función está declarada como noexcept y clasificada como segura frente a excepciones (exception safe) [SWS_CORE_01745]. No se generan códigos de error ni mensajes de DET/DEM; el estándar AUTOSAR no prevé un fallo de la operación.
• Concurrencia: gracias a la cualificación const, el método no modifica la instancia [SWS_CORE_01745]. Presumiblemente, los accesos de lectura paralelos a la misma instancia son seguros, mientras que los accesos de escritura concurrentes deben ser sincronizados por el llamador. Pregunta Q-34893675aa85baf1 (abierta)

En el contexto de módulo de core, any() proporciona una función básica de inspección para bitsets que interactúa a la perfección con los mecanismos de inicialización y almacenamiento de ara::core::Bitset [SWS_CORE_01745], [SWS_CORE_01749].

Uso y semántica

La función miembro count se invoca de forma síncrona y sin parámetros sobre una instancia de ara::core::Bitset ([SWS_CORE_01740]). Está declarada en la cabecera #include "ara/core/bitset.h" y proporciona el resultado del recuento como valor de retorno del tipo std::size_t ([SWS_CORE_01740]). El comportamiento funcional se rige por la referencia [bitset] ([SWS_CORE_01740]); por lo tanto, es de suponer que el valor corresponda al número total de bits establecidos. Pregunta Q-36c593b234f55695 (abierta)

Tratamiento de errores y concurrencia

La función está especificada como noexcept y se considera exception safe ([SWS_CORE_01740]). No se lanzan excepciones ni se devuelven códigos de error, y para este elemento no están previstos avisos a DET o DEM. Puesto que count está declarada como función miembro constante (const) ([SWS_CORE_01740]), la llamada no modifica el estado del objeto. Por consiguiente, es de suponer que los accesos de lectura paralelos a la misma instancia puedan ejecutarse de forma concurrente, siempre que no se produzcan accesos de escritura concurrentes. Pregunta Q-073bc3bbcb918763 (abierta)

Interacción y delimitación

En el espacio de nombres ara::core, la función debe distinguirse claramente de otros elementos:

• En ara::core::Map, count sirve para determinar las claves existentes ([SWS_CORE_01494], [SWS_CORE_01495]), pero está clasificada como not exception safe.
• En ara::core::Span así como en la función de fábrica ara::core::MakeSpan, count no designa el nombre de un método, sino un parámetro formal para restringir rangos de elementos ([SWS_CORE_01942], [SWS_CORE_01962], [SWS_CORE_01964], [SWS_CORE_01966], [SWS_CORE_01990]).

usar

La función miembro flip() de la clase ara::core::Bitset invierte de forma síncrona el estado de todos los bits de la instancia conforme al comportamiento de [bitset] [SWS_CORE_01730]. La función se proporciona a través de la cabecera #include "ara/core/bitset.h", no recibe parámetros y devuelve una referencia lvalue al objeto modificado (Bitset<N>&), lo que permite encadenar operaciones [SWS_CORE_01730].

Tratamiento de errores y seguridad frente a excepciones

La función está declarada como noexcept y especificada como segura frente a excepciones («exception safe») [SWS_CORE_01730]. No se lanzan excepciones de C++ ni se devuelven códigos de error; por tanto, es probable que la ejecución se lleve a cabo siempre sin errores. Pregunta Q-df762b6329a2c0d4 (abierta)

Interacción

El módulo core define variantes afines para la manipulación de bits:

• El método sobrecargado flip(std::size_t pos) sirve para invertir de forma selectiva un único bit en el índice pos [SWS_CORE_01731]. A diferencia de la forma sin parámetros, devuelve un Result<Bitset<N>&> y señala posiciones no válidas mediante IsoStdOutOfRangeViolation [SWS_CORE_01731].
• A través de la clase de referencia ara::core::Bitset<N>::reference está disponible la función miembro flip() para invertir un único bit referenciado y devolver una reference& [SWS_CORE_01712].

La función miembro flip de la clase ara::core::Bitset invierte de forma síncrona el estado del bit en la posición indicada pos [SWS_CORE_01731]. Está definida en la cabecera #include "ara/core/bitset.h" y se basa en el comportamiento de std::bitset::flip, pero presenta discrepancias funcionales específicas [SWS_CORE_01731].

La función está declarada como noexcept y exception safe, y en caso de éxito devuelve una referencia al bitset modificado dentro de un Result<Bitset<N>&> [SWS_CORE_01731]. Si el parámetro pos no se corresponde con una posición de bit válida, en lugar de una excepción de C++ como std::out_of_range se desencadena la infracción IsoStdOutOfRangeViolation [SWS_CORE_01731].

En cuanto a la concurrencia, es probable que las llamadas simultáneas sobre la misma instancia de bitset no sean seguras para hilos debido a la falta de sincronización documentada y deban coordinarse externamente. Pregunta Q-de73bb65d6aab12c (abierta)

En el módulo core, la función complementa otras operaciones relacionadas: para invertir de forma síncrona todos los bits de una instancia está disponible la sobrecarga sin parámetros flip() [SWS_CORE_01730], mientras que para objetos de referencia a bits se ofrece el método ara::core::Bitset::reference::flip() [SWS_CORE_01712].

usar

La función miembro none de la clase ara::core::Bitset sirve para consultar el estado de ocupación de la secuencia de bits [SWS_CORE_01746]. El método requiere incluir la cabecera ara/core/bitset.h y posee la firma bool none () const noexcept; [SWS_CORE_01746]. La llamada se realiza de forma síncrona y sin parámetros sobre una instancia existente. Respecto al comportamiento, la especificación remite al uso correspondiente en [bitset] [SWS_CORE_01746]; interpretación: el método debería devolver true si y solo si ningún bit dentro de la secuencia de bits está activado (es decir, todos los bits son false) y, en caso contrario, false. Pregunta Q-de8593251c7748d5 (abierta)

Tratamiento de errores y seguridad frente a excepciones

Para none no se han definido códigos de error ni estados de error independientes. Conforme a la especificación, la función está declarada como noexcept y cuenta con la clasificación de segura frente a excepciones (exception safe) [SWS_CORE_01746]. Por lo tanto, en caso de error o durante la ejecución no se producen excepciones de C++.

Concurrencia y restricciones

Dado que none está declarada como const [SWS_CORE_01746], la llamada al método no modifica el estado interno del objeto. Por consiguiente, las llamadas de lectura paralelas sobre el mismo objeto Bitset deberían ser no críticas en cuanto a concurrencia y reentrantes, siempre que no se produzcan modificaciones de escritura concurrentes sobre la misma instancia. Pregunta Q-cf92e9abf57e9678 (abierta)

La función miembro reset() restablece, según la especificación [SWS_CORE_01727], el estado de una instancia de ara::core::Bitset. La función se proporciona a través del archivo de cabecera #include "ara/core/bitset.h" y posee la signatura Bitset<N>& reset() noexcept;.

Uso y semántica

La función no toma parámetros y opera de forma síncrona sobre el objeto llamador. Debido a la referencia especificada al uso habitual en [bitset], es de suponer que la llamada restablezca todos los bits contenidos a false (o 0) y devuelva una referencia a la propia instancia de bitset (*this), lo que permite el encadenamiento de métodos. Pregunta Q-89116316a65e0772 (abierta)

Tratamiento de fallos y seguridad frente a excepciones

Según [SWS_CORE_01727], la función está declarada como noexcept y posee la clasificación «exception safe». Dado que, a diferencia de la sobrecarga parametrizada, no se requiere comprobación de índices, en la variante sin parámetros no se producen estados ni códigos de error.

Interacción y delimitación

• En el mismo ámbito de visibilidad ara::core::Bitset existe la sobrecarga reset(std::size_t pos) según [SWS_CORE_01728]. Esta restablece específicamente un único bit, pero devuelve un Result<Bitset<N>&> y notifica una IsoStdOutOfRangeViolation en caso de que pos no sea válido.
• En el módulo core también existen funciones homónimas para ara::core::Optional según [SWS_CORE_01136] y ara::core::Optional<T&> según [SWS_CORE_01165] de #include "ara/core/optional.h", las cuales descartan el valor contenido y presentan el tipo de retorno void.

La función miembro reset de la clase ara::core::Bitset restablece de forma síncrona un único bit en la posición pos indicada al valor 0 [SWS_CORE_01728]. La función sigue el comportamiento de std::bitset, pero presenta dos diferencias esenciales: está declarada como noexcept y devuelve el resultado en un Result<Bitset<N>&> para mapear situaciones de error sin excepciones de C++ [SWS_CORE_01728].

Manejo de errores

Si el índice pos transferido no se corresponde con ninguna posición de bit válida dentro del bitset, en lugar de std::out_of_range se desencadena la infracción IsoStdOutOfRangeViolation [SWS_CORE_01728]. En caso de error, esta se pone a disposición como estado de error en el objeto Result devuelto, de modo que la operación sigue siendo segura frente a excepciones a pesar de un valor de parámetro no válido [SWS_CORE_01728].

Interacción y delimitación

En el módulo core existe de forma complementaria para ara::core::Bitset la sobrecarga sin parámetros reset(), que borra todos los bits del contenedor a la vez y devuelve directamente una referencia al objeto [SWS_CORE_01727]. Además, los requisitos relacionados [SWS_CORE_01136] y [SWS_CORE_01165] definen un método del mismo nombre para ara::core::Optional, que allí descarta el valor contenido.

concurrencia

Dado que reset modifica el estado interno del bitset, es probable que una llamada concurrente sobre la misma instancia sin sincronización externa no sea segura para subprocesos (interpretación: adopción de la semántica habitual de contenedores de C++). Pregunta Q-e2e1c041eadedf0f (abierta)

La función miembro síncrona set() de la clase ara::core::Bitset establece todos los bits contenidos del objeto en el valor true ([SWS_CORE_01725]). En su comportamiento, se corresponde con el funcionamiento de std::bitset del estándar ISO C++ y está disponible a través de la cabecera ara/core/bitset.h ([SWS_CORE_01725]). La llamada al método se realiza sin parámetros y devuelve una referencia lvalue al bitset modificado (Bitset<N>&) ([SWS_CORE_01725]), lo que permite un encadenamiento directo de llamadas adicionales en la misma instancia.

La operación está declarada como noexcept y posee la propiedad exception safe ([SWS_CORE_01725]). Dado que itera sobre todos los bits o establece el estado global, a diferencia de los accesos basados en posición no se producen errores de rango. La especificación no se pronuncia sobre la seguridad para subprocesos; interpretación: dado que el estado del objeto se muta directamente, es previsible que los accesos paralelos a la misma instancia de Bitset sin protección externa no sean seguros para concurrencia o subprocesos. Pregunta Q-f8c1b5721f668193 (abierta)

En la interacción dentro del módulo core, la función complementa a la variante sobrecargada set(std::size_t, bool) ([SWS_CORE_01726]). Mientras que la versión sin parámetros asigna con éxito garantizado todo el campo, la versión parametrizada modifica de forma selectiva un solo bit, proporciona el tipo Result<Bitset<N>&> y señaliza mediante un IsoStdOutOfRangeViolation si se pasa un índice de posición no válido ([SWS_CORE_01726]).

La función miembro set de la clase ara::core::Bitset modifica el bit en la posición indicada pos al valor val según [SWS_CORE_01726]. La función está declarada en la cabecera #include "ara/core/bitset.h" y opera de forma síncrona y segura frente a excepciones.

Frente al comportamiento estándar de std::bitset, la función presenta dos divergencias esenciales ([SWS_CORE_01726]):

• La función está declarada como noexcept y no lanza excepciones de C++.
• Si pos no se corresponde con una posición de bit válida, se desencadena IsoStdOutOfRangeViolation en lugar de std::out_of_range.

Como valor de retorno se entrega un Result<Bitset<N>&> ([SWS_CORE_01726]). En caso de éxito, el Result contiene una referencia al objeto bitset modificado. Si pos queda fuera del rango válido, el Result transmite la infracción de error correspondiente.

A diferencia de la variante sin parámetros set() ([SWS_CORE_01725]), la cual establece todos los bits y devuelve directamente Bitset<N>&, esta sobrecarga basada en posición requiere la evaluación del objeto Result para el tratamiento de errores de rango ([SWS_CORE_01726]).

usar

La función miembro síncrona test de la clase ara::core::Bitset comprueba el estado del bit en la posición transferida pos según [SWS_CORE_01743]. Como parámetro de llamada se pasa la posición del bit deseada pos del tipo std::size_t. La función devuelve de forma síncrona un valor del tipo bool, donde true indica que el bit está establecido y false que no está establecido. Para la inclusión y el uso de la función en el módulo Core de la plataforma Adaptive debe incluirse la cabecera ara/core/bitset.h [SWS_CORE_01743].

Tratamiento de errores y desviaciones

El comportamiento funcional sigue en principio la semántica de std::bitset, pero presenta dos discrepancias esenciales específicas del sistema [SWS_CORE_01743]:

• La signatura está declarada como noexcept y garantiza una total seguridad ante excepciones (exception safe) [SWS_CORE_01743].
• Si la posición del bit pos no corresponde a ninguna posición de bit válida dentro del objeto, en lugar de una excepción del tipo std::out_of_range se desencadena la infracción IsoStdOutOfRangeViolation [SWS_CORE_01743]. Su descripción se basa en la de std::out_of_range [SWS_CORE_01743].

Concurrencia y restricciones

Dado que la función está especificada como const, no modifica la instancia. Por consiguiente, es de suponer que múltiples accesos de lectura concurrentes a la misma instancia de bitset puedan ejecutarse sin conflictos de datos en el funcionamiento regular (interpretación). Pregunta Q-585dbdfefac63391 (abierta) Si se producen modificaciones de escritura simultáneas sobre la misma instancia, probablemente sea necesaria una sincronización externa por parte de quien la invoque.

La función miembro to_uint16t de la clase ara::core::Bitset convierte el contenido del bitset en un valor entero del tipo std::uint16_t ([SWS_CORE_01737], [SWS_APT_00025]). Representa una extensión específica de AUTOSAR y no está incluida en el estándar ISO de C++ ISO-14882 ([SWS_CORE_01737]). La llamada síncrona se proporciona a través de la cabecera ara/core/bitset.h ([SWS_CORE_01737]).

En el valor de retorno generado, el primer bit del bitset corresponde al bit menos significativo (least significant bit) y el último bit al bit más significativo (most significant bit) del número ([SWS_CORE_01737]). Puesto que el método está especificado como constexpr, también puede evaluarse en tiempo de compilación sobre instancias constantes ([SWS_CORE_01737]).

La operación está especificada como thread-safe así como exception safe ([SWS_CORE_01737]). Si el valor de los bits no puede representarse en el rango de valores de std::uint16_t, se produce una IsoStdOverflowErrorViolation ([SWS_CORE_01737]). Interpretación: debido a la declaración noexcept, es de suponer que esta infracción no se notifique a través de excepciones regulares de C++, sino que dé lugar a su tratamiento a través de mecanismos de la plataforma específicos para infracciones. Pregunta Q-785057e36fb7e434 (abierta)

Uso y semántica

El método to_uint32t es una función miembro síncrona y sin parámetros de la clase ara::core::Bitset, que se proporciona a través de la cabecera ara/core/bitset.h [SWS_CORE_01738]. Convierte los bits de la instancia de bitset en un valor entero sin signo de 32 bits del tipo std::uint32_t [SWS_CORE_01738]. La función no está incluida en ISO-14882, sino que está definida como un alias específico de AUTOSAR para ara::core::Bitset::to_ulong que utiliza explícitamente el tipo de datos std::uint32_t de [SWS_APT_00028] [SWS_CORE_01738]. En el mapeo de la secuencia de bits, el primer bit del bitset se corresponde con el bit menos significativo (least significant bit) del valor de retorno y el último bit con el bit más significativo (most significant bit) [SWS_CORE_01738].

Tratamiento de errores y condiciones límite

Para el caso de error, la especificación define la infracción IsoStdOverflowErrorViolation, que se produce cuando el valor entero correspondiente a los bits establecidos no se puede representar en el rango de valores del tipo de retorno [SWS_CORE_01738].

Concurrencia y contexto de ejecución

La función está declarada con constexpr y noexcept [SWS_CORE_01738]. En cuanto a la seguridad de ejecución, está especificada como segura para subprocesos (thread-safe) y segura frente a excepciones (exception safe) [SWS_CORE_01738].

usar

La función miembro to_uint64t de la clase ara::core::Bitset convierte los bits contenidos en el bitset de forma síncrona en un valor entero del tipo std::uint64_t ([SWS_CORE_01739]). La operación es una extensión específica de AUTOSAR y no está definida en ISO-14882 ([SWS_CORE_01739]). Actúa como alias para el método ara::core::Bitset::to_ullong, pero utilizando obligatoria y explícitamente el tipo std::uint64_t según [SWS_APT_00031] ([SWS_CORE_01739]). La declaración se proporciona a través del archivo de cabecera #include "ara/core/bitset.h" ([SWS_CORE_01739]).

Para la correspondencia bit a bit del valor de retorno, se aplica que el primer bit del bitset se corresponde con el bit menos significativo (least significant bit) del valor generado y el último bit se asigna al bit más significativo (most significant bit) ([SWS_CORE_01739]). Gracias a la calificación como constexpr, la evaluación puede tener lugar tanto en tiempo de ejecución como en tiempo de compilación en expresiones constantes ([SWS_CORE_01739]).

Tratamiento de errores y concurrencia

En cuanto a la seguridad de ejecución, la función está declarada con noexcept, clasificada como segura frente a excepciones (exception safe) y puede invocarse sin restricciones de forma segura para subprocesos (thread-safe) ([SWS_CORE_01739]). Si el valor entero correspondiente a los bits no es representable en el tipo de destino, se produce el caso de error IsoStdOverflowErrorViolation ([SWS_CORE_01739]). La interfaz cumple el requisito de nivel superior [RS_AP_00130].

usar

La función miembro to_uint8t de la clase ara::core::Bitset convierte de forma síncrona el contenido almacenado del bitset en un valor entero de 8 bits sin signo del tipo std::uint8_t según [SWS_CORE_01736] y [SWS_APT_00022]. Se trata de una extensión funcional específica de AUTOSAR que no existe en el estándar ISO-14882 [SWS_CORE_01736]. La función se proporciona a través de la cabecera ara/core/bitset.h, no tiene parámetros y está declarada como constexpr y noexcept [SWS_CORE_01736]. El primer bit de la secuencia de bits corresponde al bit menos significativo (LSB) y el último bit al bit más significativo (MSB) del valor devuelto [SWS_CORE_01736].

Manejo de errores

Si el valor entero correspondiente a los bits en el bitset no se puede representar en el tipo de destino std::uint8_t, se produce la infracción IsoStdOverflowErrorViolation [SWS_CORE_01736]. A pesar de la declaración noexcept, la función está especificada como exception safe en lo relativo a la seguridad ante excepciones [SWS_CORE_01736].

Concurrencia e interacción

Como función miembro constante, to_uint8t está declarada explícitamente como thread-safe [SWS_CORE_01736], de modo que los accesos de lectura paralelos de varios subprocesos a la misma instancia son seguros. La representación del tipo de destino se basa en lo estipulado en [SWS_APT_00022].

La función miembro to_ullong de la clase ara::core::Bitset convierte de forma síncrona la secuencia de bits almacenada en un valor entero del tipo unsigned long long [SWS_CORE_01735]. Está definida en la cabecera #include "ara/core/bitset.h" y declarada como constexpr así como noexcept frente al estándar ISO std::bitset [SWS_CORE_01735].

En cuanto al tratamiento de errores y el comportamiento ante excepciones rigen las siguientes especificaciones:

• Tratamiento de desbordamiento: si el valor entero representado por los bits establecidos no se puede representar en el tipo de retorno, en lugar de una excepción std::overflow_error se desencadena la infracción IsoStdOverflowErrorViolation [SWS_CORE_01735].
• Seguridad ante excepciones: la función está clasificada como exception safe y no lanza excepciones de C++ debido a la especificación noexcept [SWS_CORE_01735].

En interacción con otras interfaces, AUTOSAR Adaptive proporciona con to_uint64t una alternativa tipada que actúa como alias directo de to_ullong, pero que devuelve explícitamente el tipo de ancho fijo std::uint64_t [SWS_CORE_01739]. En ambas funciones, el primer bit del bitset corresponde al bit menos significativo (LSB) y el último bit al bit más significativo (MSB) del valor numérico resultante [SWS_CORE_01739]. Puesto que to_ullong es una función miembro constante y el equivalente funcional está especificado como thread-safe, es de suponer que una llamada de lectura concurrente sobre la misma instancia también sea segura frente a subprocesos [SWS_CORE_01739]. Pregunta Q-075766fabc193ce8 (abierta)

La función miembro ara::core::Bitset::to_ulong convierte de forma síncrona los bits establecidos de una instancia de bitset en un valor entero del tipo unsigned long [SWS_CORE_01734]. La función requiere el archivo de cabecera ara/core/bitset.h y pertenece al ámbito de la clase ara::core::Bitset [SWS_CORE_01734]. Gracias a la declaración con la signatura constexpr unsigned long to_ulong() const noexcept;, la evaluación puede llevarse a cabo tanto en tiempo de ejecución como ya en tiempo de compilación en expresiones constantes [SWS_CORE_01734].

En su comportamiento frente a errores, la función difiere notablemente del estándar ISO std::bitset: si el valor entero correspondiente a los bits no puede representarse en el tipo de retorno unsigned long, en lugar de una excepción del tipo std::overflow_error se desencadena una IsoStdOverflowErrorViolation [SWS_CORE_01734]. Con independencia de esta condición de infracción, la función está declarada como noexcept y formalmente se considera segura ante excepciones (exception safe) [SWS_CORE_01734].

En interacción con otras funciones de conversión, AUTOSAR Adaptive proporciona con to_uint32t un equivalente directo que actúa como alias de to_ulong, pero que devuelve un std::uint32_t con precisión de tipo [SWS_CORE_01738]. En cuanto a la concurrencia, es de suponer que el método sea seguro frente a subprocesos en accesos de lectura paralelos al mismo bitset (interpretación), ya que está definido como const y el requisito correspondiente to_uint32t está etiquetado expresamente como thread-safe [SWS_CORE_01738]. Pregunta Q-59f95b86801a697d (abierta)