clase ara::core::BasicString

El operador de asignación operator+= de la clase ara::core::BasicString ([SWS_CORE_03072] de #include "ara/core/string.h") concatena el contenido de una instancia BasicString pasada de forma síncrona al objeto actual. La semántica funcional sigue aquí el uso correspondiente en [basic.string] ([SWS_CORE_03072]). La llamada devuelve una referencia a la instancia modificada (*this), lo que permite el encadenamiento de asignaciones.

En lo relativo al tratamiento de errores, la operación está declarada explícitamente en la especificación como «not exception safe» ([SWS_CORE_03072]). No se definen códigos de error específicos ni mecanismos de notificación mediante DET o DEM para este elemento. Si fallara una asignación interna de memoria, el método, por consiguiente, no ofrece garantía de seguridad frente a excepciones.

Respecto a la concurrencia y las restricciones, debe tenerse en cuenta que la llamada modifica directamente el estado de la instancia. Puesto que el payload no menciona mecanismos de sincronización, un acceso concurrente de lectura o escritura al mismo objeto a través de múltiples subprocesos probablemente no sea seguro para subprocesos sin sincronización externa. Pregunta Q-352f9d72ad3dfdbd (abierta)

El operador forma, junto con otras sobrecargas de operator+=, la interfaz para la ampliación de cadenas, por ejemplo para caracteres individuales ([SWS_CORE_03074]), punteros a caracteres sin procesar ([SWS_CORE_03073]), listas de inicialización ([SWS_CORE_03075]) así como StringView ([SWS_CORE_03307]). Todos estos operadores de modificación comparten la propiedad «not exception safe» y complementan los constructores básicos de ara::core::BasicString ([SWS_CORE_03024], [SWS_CORE_03025]).

usar

El operador de asignación operator+= de la clase ara::core::BasicString concatena síncronamente una cadena de caracteres basada en puntero a la cadena de caracteres existente y devuelve una referencia al objeto modificado [SWS_CORE_03073]. La función se incluye a través del archivo de cabecera #include "ara/core/string.h" y recibe como parámetro un puntero s del tipo const value_type * [SWS_CORE_03073]. La semántica funcional sigue la definición estandarizada de [basic.string], donde como desviación esencial el tipo de carácter estándar charT se sustituye por value_type [SWS_CORE_03073].

Tratamiento de errores y restricciones

En relación con la seguridad frente a excepciones, la función miembro está declarada explícitamente como no segura frente a excepciones («not exception safe») [SWS_CORE_03073]. Para este operador no se especifican códigos de error específicos, valores de retorno para la indicación de errores ni mensajes de error a DET o DEM. Interpretación: En caso de fallo de asignaciones de memoria internas necesarias durante la ampliación de la cadena de caracteres, no se garantizaría por consiguiente un estado de objeto consistente y no existe ningún canal de error diferenciado en el entorno AUTOSAR Adaptive. Pregunta Q-a1498ddbc09bcfa9 (abierta)

Interacción

El método complementa los demás operadores de asignación dentro de ara::core::BasicString, que realizan la adición de instancias completas de cadenas de caracteres [SWS_CORE_03072], caracteres individuales [SWS_CORE_03074], listas de inicializadores [SWS_CORE_03075] u objetos StringView [SWS_CORE_03307]. Al igual que los constructores para punteros de caracteres en bruto [SWS_CORE_03028] [SWS_CORE_03029], todas estas variantes están especificadas como no seguras frente a excepciones.

La función miembro operator+= de la clase ara::core::BasicString permite añadir de forma síncrona un único carácter c del tipo value_type al objeto de cadena de caracteres llamador [SWS_CORE_03074]. La declaración está contenida en la cabecera ara/core/string.h [SWS_CORE_03074]. El comportamiento se corresponde con la especificación en [basic.string], habiéndose sustituido divergentemente el tipo de parámetro charT por value_type [SWS_CORE_03074]. Como valor de retorno se proporciona una referencia al objeto modificado (BasicString &), lo que admite llamadas encadenadas.

En cuanto a la robustez y al tratamiento de errores, la operación está clasificada como not exception safe [SWS_CORE_03074]. Para esta función no se definen códigos de error específicos ni mensajes a DET o DEM. Interpretación: La clasificación como no segura frente a excepciones probablemente se deba a que, si se supera la capacidad actual del búfer, debe desencadenarse una asignación dinámica a través del asignador subyacente, la cual puede fallar en caso de falta de memoria. Pregunta Q-d74ec80829327ce0 (abierta)

En lo relativo a la concurrencia y a las condiciones de contorno, la función modifica la instancia directamente; por lo tanto, los accesos simultáneos de lectura o escritura sin sincronización externa no son seguros. En interacción con otras interfaces, el operador complementa la instanciación mediante constructores como [SWS_CORE_03024] o [SWS_CORE_03025], así como asignaciones compuestas alternativas para cadenas de caracteres completas [SWS_CORE_03072], punteros a cadenas de caracteres [SWS_CORE_03073], listas de inicialización [SWS_CORE_03075] y vistas de cadenas de caracteres [SWS_CORE_03307].

La función miembro operator+= de ara::core::BasicString ([SWS_CORE_03075]) añade síncronamente los caracteres de una std::initializer_list<value_type> al objeto de cadena existente. Como valor de retorno, el método devuelve una referencia a la cadena de caracteres modificada (*this). El comportamiento se rige por el estándar C++ para [basic.string], sustituyéndose charT por value_type ([SWS_CORE_03075]). Para su uso debe incluirse la cabecera ara/core/string.h ([SWS_CORE_03075]).

En cuanto al tratamiento de errores y la robustez, la función está catalogada como not exception safe ([SWS_CORE_03075]). Interpretación: Es de presumir que, en caso de memoria insuficiente durante una reasignación necesaria, puedan lanzarse excepciones sin que se garantice una garantía de excepción fuerte para el contenido previo del búfer. Pregunta Q-0f3d6328fb6bfd73 (abierta)

Respecto a la concurrencia y a las restricciones, la llamada se realiza de forma síncrona en el contexto del hilo llamador. Dado que la instancia llamada se modifica directamente, el acceso simultáneo de varios hilos sin sincronización externa no es seguro para hilos.

En interacción con otras interfaces, esta sobrecarga complementa los demás operadores de adición de ara::core::BasicString, entre ellos la adición de cadenas de caracteres ([SWS_CORE_03072]), arrays de caracteres ([SWS_CORE_03073]), caracteres individuales ([SWS_CORE_03074]) o un StringView ([SWS_CORE_03307]). Además, la lista de inicialización se corresponde semánticamente con el constructor correspondiente ([SWS_CORE_03032]).

La función miembro operator+= de la clase ara::core::BasicString concatena de forma síncrona una secuencia de caracteres pasada mediante StringView sv al objeto string que realiza la llamada y devuelve una referencia a este objeto modificado [SWS_CORE_03307]. La operación se define a través del archivo de cabecera #include "ara/core/string.h", siguiendo el comportamiento funcional las convenciones generales de [basic.string] [SWS_CORE_03307].

Tratamiento de errores y concurrencia

En lo referente a su ejecución, la función está clasificada expresamente como not exception safe [SWS_CORE_03307]. No se establecen códigos de error específicos para DET o DEM. En caso de que falle una asignación de memoria interna durante la extensión de la cadena de caracteres, es previsible que no se garantice que el estado interno de la instancia permanezca inalterado. A falta de mecanismos de sincronización integrados, debe asumirse una falta de seguridad frente a subprocesos en caso de acceso concurrente de escritura o lectura de múltiples hilos a la misma instancia (interpretación). Pregunta Q-1bed85bd42475f62 (abierta)

Interacción

El operador se integra perfectamente en la estructura de la clase ara::core::BasicString y complementa las sobrecargas alternativas de operator+= para cadenas completas [SWS_CORE_03072], punteros de caracteres const value_type* [SWS_CORE_03073], caracteres individuales [SWS_CORE_03074] y listas de inicialización [SWS_CORE_03075]. La creación de las instancias de cadena involucradas se realiza mediante los constructores correspondientes de la clase, como el constructor predeterminado [SWS_CORE_03024] o constructores de copia y de movimiento [SWS_CORE_03033], [SWS_CORE_03034].

usar

La función BasicString() del archivo de cabecera #include "ara/core/string.h" es el constructor predeterminado sin parámetros de la clase ara::core::BasicString ([SWS_CORE_03024]). La llamada se realiza de forma síncrona y, al ser un constructor, no tiene valor de retorno. El comportamiento se rige por la definición correspondiente en [basic.string] ([SWS_CORE_03024]); por tanto, es de suponer que la instancia creada represente una cadena vacía. Pregunta Q-f36b11fa590a6111 (abierta)

Tratamiento de errores y seguridad frente a excepciones

El elemento está especificado como condicionalmente seguro frente a excepciones (conditionally exception safe) ([SWS_CORE_03024]). Según la especificación, no existen códigos de error específicos ni mensajes de DET o DEM. A través de la firma BasicString () noexcept(noexcept(Allocator()));, la seguridad frente a excepciones está acoplada directamente al constructor predeterminado del asignador ([SWS_CORE_03024]). Si la creación de Allocator() no lanza ninguna excepción, la construcción de BasicString también se comportará con garantía sin excepciones.

Interacción y restricciones

En el contexto de las demás interfaces de ara::core::BasicString son relevantes las siguientes dependencias:

• Si se pasa un asignador ya instanciado, la firma garantiza seguridad frente a excepciones irrestricta (exception safe / noexcept) ([SWS_CORE_03025]).
• Por el contrario, otras inicializaciones —por ejemplo mediante subrangos ([SWS_CORE_03026], [SWS_CORE_03027]), punteros ([SWS_CORE_03028], [SWS_CORE_03029]), secuencias de caracteres ([SWS_CORE_03030]), iteradores ([SWS_CORE_03031]), listas de inicialización ([SWS_CORE_03032]) u operaciones de copia y movimiento con asignador ([SWS_CORE_03033], [SWS_CORE_03034])— están catalogadas como not exception safe.
• La instancia inicializada se puede ampliar de forma síncrona, entre otros mediante sobrecargas de operator+= para cadenas de caracteres ([SWS_CORE_03072]), punteros a caracteres ([SWS_CORE_03073]), caracteres individuales ([SWS_CORE_03074]), listas de inicializadores ([SWS_CORE_03075]) y StringView ([SWS_CORE_03307]).
• Además, el objeto puede utilizarse para la construcción de un Bitset ([SWS_CORE_01749]).

El constructor explícito BasicString(const Allocator &a) del archivo de cabecera #include "ara/core/string.h" inicializa una instancia vacía de ara::core::BasicString empleando el asignador suministrado [SWS_CORE_03025]. El comportamiento semántico se rige por la sección del estándar C++ [basic.string] [SWS_CORE_03025]. Mediante la palabra clave explicit se impiden conversiones de tipo implícitas no intencionadas a partir de una instancia de asignador [SWS_CORE_03025].

En lo referente al tratamiento de fallos y de excepciones, la función está declarada como noexcept y especificada como segura frente a excepciones (exception safe) [SWS_CORE_03025]. A diferencia del constructor predeterminado [SWS_CORE_03024], cuya seguridad frente a excepciones depende condicionalmente de noexcept(noexcept(Allocator())), esta llamada garantiza siempre una creación correcta y libre de excepciones [SWS_CORE_03025], [SWS_CORE_03024]. Interpretación: es de prever que la seguridad irrestricta frente a excepciones se deba a que en la inicialización de una cadena de caracteres vacía no es necesario ejecutar pasos de asignación con alto consumo de memoria. Pregunta Q-88df57e7a9c2abda (abierta)

En interacción con otros constructores de la clase como [SWS_CORE_03026] o [SWS_CORE_03028], que copian datos y están clasificados como no seguros frente a excepciones (not exception safe), este constructor sirve como punto de entrada seguro. La cadena de caracteres creada puede ampliarse dinámicamente a continuación mediante modificadores como operator+= ([SWS_CORE_03072], [SWS_CORE_03307]) o utilizarse como entrada para tipos como Bitset [SWS_CORE_01749].

usar

La función Basic representa un constructor de la clase ara::core::BasicString, el cual se proporciona a través del archivo de cabecera #include "ara/core/string.h" [SWS_CORE_03026]. Crea de forma síncrona una nueva cadena de caracteres como subcadena a partir del objeto de origen str desde la posición de índice pos conforme a la semántica de [basic.string] [SWS_CORE_03026]. Para ello se procesan los siguientes parámetros:

• str: referencia a la instancia de origen de tipo BasicString a copiar [SWS_CORE_03026].
• pos: posición inicial de base cero de la subcadena de tipo size_type [SWS_CORE_03026].
• a: asignador para la gestión de memoria, configurado por defecto con Allocator() [SWS_CORE_03026].

Tratamiento de errores y seguridad frente a excepciones

Para la función, en la especificación se establece la propiedad not exception safe [SWS_CORE_03026]. No se han definido ni códigos de error específicos ni mensajes de DET o DEM. Interpretación: dado que el constructor sigue el comportamiento estándar de [basic.string] y no garantiza seguridad frente a excepciones, es probable que los valores de índice no válidos para pos, así como las asignaciones de memoria fallidas, provoquen el lanzamiento de excepciones [SWS_CORE_03026]. Pregunta Q-7ea120ac992dc5ac (abierta)

Interacción y requisitos relacionados

Dentro de ara::core::BasicString, este constructor complementa la variante con limitación de longitud adicional n [SWS_CORE_03027], así como las sobrecargas para punteros, iteradores y listas de inicialización [SWS_CORE_03028], [SWS_CORE_03031], [SWS_CORE_03032]. A diferencia de los constructores sin cadena de origen, que son condicionalmente seguros frente a excepciones [SWS_CORE_03024] o están declarados como noexcept [SWS_CORE_03025], la adopción dinámica de subcadenas requiere prestar especial atención a posibles fallos de asignación. Además, BasicString sirve como base de parámetros en otros bloques modulares como Bitset [SWS_CORE_01749].

El constructor [SWS_CORE_03027] de la clase ara::core::BasicString sirve para la creación síncrona de una nueva cadena de caracteres como subsecuencia a partir de una cadena de caracteres de origen str. Tomando como base el índice pos, se toman hasta n caracteres. Mediante el parámetro opcional a se puede pasar un asignador definido por el usuario; de lo contrario, se crea por defecto una instancia de asignador estándar. La definición se proporciona a través de la cabecera #include "ara/core/string.h".

En cuanto a la robustez, la función está declarada como not exception safe ([SWS_CORE_03027]). Según la especificación conforme a [basic.string], es de suponer que este constructor falle si pos supera la longitud de la cadena de caracteres de origen o si fracasa la asignación del nuevo búfer. Pregunta Q-31041ea019720daf (abierta) Esto contrasta con constructores por defecto y de asignador como [SWS_CORE_03024] y [SWS_CORE_03025], los cuales están especificados como condicionalmente seguros frente a excepciones o explícitamente con noexcept.

En la interacción dentro de ara::core::BasicString, la función complementa sobrecargas alternativas: Mientras que [SWS_CORE_03026] copia la subcadena a partir de pos hasta el final de la cadena, [SWS_CORE_03027] permite la limitación explícita de la longitud. Otras alternativas para la creación ofrecen inicializaciones basadas en iteradores ([SWS_CORE_03031]) o basadas en punteros ([SWS_CORE_03028]). Además, el mismo patrón de subcadena con pos y n también se utiliza en clases afines como Bitset en [SWS_CORE_01749].

La función constructora de la clase ara::core::BasicString del encabezado ara/core/string.h crea de forma síncrona una cadena de caracteres a partir de un puntero s a un array de caracteres y una indicación de longitud explícita n [SWS_CORE_03028]. Mediante el parámetro a puede pasarse opcionalmente un asignador definido por el usuario, que por defecto recurre a Allocator() [SWS_CORE_03028]. La semántica se corresponde con lo establecido en [basic.string], con la salvedad de que el tipo de parámetro charT se sustituye por value_type [SWS_CORE_03028].

En la especificación, la función está designada como no segura frente a excepciones (not exception safe) [SWS_CORE_03028]. Esto la distingue de inicializaciones seguras frente a excepciones como el constructor con asignador [SWS_CORE_03025] o el constructor por defecto condicionalmente seguro frente a excepciones [SWS_CORE_03024]. No se contemplan códigos de error específicos, valores de retorno ni mensajes de diagnóstico a DEM o DET. Como condición previa esencial, el llamador presumiblemente debería tener que asegurarse de que s apunte a un área de memoria válida con al menos n elementos contiguos (interpretación), para descartar comportamientos indefinidos. Pregunta Q-957a57c885a2e702 (abierta)

Dentro de la clase ara::core::BasicString, esta sobrecarga complementa la construcción sin indicación de longitud para cadenas terminadas en nulo [SWS_CORE_03029], así como constructores para secuencias de caracteres idénticos [SWS_CORE_03030] o subcadenas [SWS_CORE_03027]. Tras la creación, el objeto puede modificarse mediante operadores de asignación y concatenación [SWS_CORE_03072]. Además, la cadena de caracteres resultante sirve como entrada para interfaces de tipos de datos afines, por ejemplo para la inicialización de un Bitset [SWS_CORE_01749].

El constructor [SWS_CORE_03029] inicializa una instancia de ara::core::BasicString a partir de un puntero terminado en nulo a cadenas de caracteres del tipo const value_type* y un asignador opcional. Su semántica sigue la definición estándar de [basic.string], sustituyéndose charT por value_type [SWS_CORE_03029]. El archivo de cabecera es #include "ara/core/string.h" [SWS_CORE_03029].

En cuanto al comportamiento frente a errores y la seguridad frente a excepciones, la función está especificada explícitamente como not exception safe [SWS_CORE_03029]. Si durante la construcción se produce una asignación de memoria o un error, no se garantiza ninguna garantía de excepción. En cambio, los constructores predeterminados como [SWS_CORE_03025] están clasificados como noexcept y exception safe, o [SWS_CORE_03024] como condicionalmente seguro frente a excepciones (conditionally exception safe).

La especificación define la interacción dentro de la familia de constructores de BasicString:

• Si el número de caracteres se especifica explícitamente, debe recurrirse a la sobrecarga con parámetro de longitud (const value_type *s, size_type n, ...) según [SWS_CORE_03028].
• Otras alternativas comprenden constructores de subintervalos a partir de cadenas existentes [SWS_CORE_03026], [SWS_CORE_03027], constructores de relleno [SWS_CORE_03030], así como de iteradores [SWS_CORE_03031] y listas de inicializadores [SWS_CORE_03032].
• Para la concatenación posterior con punteros de cadenas de caracteres en bruto se corresponde operator+= según [SWS_CORE_03073].
• Además, BasicString sirve como base de parámetros en otras clases auxiliares como Bitset según [SWS_CORE_01749].

Los llamadores deben asegurarse de que el puntero s sea válido y esté debidamente terminado en nulo (interpretación: ya que sin especificación de longitud, la terminación sirve para determinar la longitud según el comportamiento estándar). Pregunta Q-7e0172674e115dea (abierta) Dado que el constructor se ejecuta de forma síncrona, en contextos críticos para la seguridad debe tenerse en cuenta que potencialmente se obtiene memoria dinámica a través del asignador.

usar

El constructor [SWS_CORE_03030] de la clase ara::core::BasicString (definido en la cabecera ara/core/string.h) crea de forma síncrona una cadena de caracteres a partir de n copias del carácter c de tipo value_type. El comportamiento funcional sigue la especificación estándar de C++ [basic.string] con la divergencia de que charT se sustituye por value_type. Opcionalmente, se puede pasar un asignador definido por el usuario a, para el cual se instancia Allocator() por defecto.

Tratamiento de errores y seguridad frente a excepciones

La especificación clasifica este constructor como not exception safe, con lo que se diferencia de los constructores con noexcept garantizado como [SWS_CORE_03025] o del constructor por defecto condicionalmente seguro [SWS_CORE_03024]. Interpretación: es de esperar que la falta de seguridad frente a excepciones se deba principalmente a fallos en la asignación dinámica de memoria para n caracteres. Pregunta Q-87ae8b5cae690fdb (abierta) Para esta llamada no se especifican códigos de error específicos de AUTOSAR ni notificaciones a DET o DEM.

Concurrencia e interacción

Los accesos simultáneos de varios hilos a la misma instancia sin sincronización externa no son seguros para hilos. Tras su creación, la cadena de caracteres se puede modificar mediante operadores de concatenación como operator+= para caracteres individuales ([SWS_CORE_03074]) o cadenas ([SWS_CORE_03072]). La cadena de caracteres creada puede servir además para inicializar ara::core::Bitset según [SWS_CORE_01749]. Para creaciones alternativas se dispone de constructores mediante punteros ([SWS_CORE_03028], [SWS_CORE_03029]) o listas de inicialización ([SWS_CORE_03032]).

usar

La función de plantilla representa el constructor de rango de la clase ara::core::BasicString en la cabecera <ara/core/string.h> [SWS_CORE_03031]. Sirve para la inicialización síncrona de una cadena de caracteres a partir de una secuencia definida por los iteradores de entrada begin y end de tipo InputIterator [SWS_CORE_03031]. Opcionalmente, mediante el parámetro a se puede pasar una instancia de asignador definida por el usuario; si este parámetro se deja sin asignar, se genera la instancia predeterminada Allocator() [SWS_CORE_03031]. La semántica funcional sigue en este caso las especificaciones del estándar C++ para [basic.string] [SWS_CORE_03031].

Tratamiento de errores y seguridad frente a excepciones

La especificación declara la función explícitamente como not exception safe [SWS_CORE_03031]. No se emiten notificaciones DET o DEM específicas de AUTOSAR, ya que el comportamiento corresponde al de la biblioteca estándar de C++ [SWS_CORE_03031]. Interpretación: La falta de seguridad frente a excepciones probablemente se deba a posibles errores de asignación de memoria por parte del asignador o a operaciones fallidas de los iteradores pasados. Pregunta Q-676411ee17d37217 (abierta)

Concurrencia y restricciones

La llamada se realiza de forma síncrona en el contexto del hilo llamador. A diferencia del constructor predeterminado [SWS_CORE_03024] o del constructor de asignador puro [SWS_CORE_03025], este constructor no está declarado como noexcept. Por lo tanto, los llamadores deben asegurarse de que el rango [begin, end) sea válido y de que los elementos referenciados puedan leerse sin errores.

Interacción

La función complementa los constructores alternativos de ara::core::BasicString, entre ellos sobrecargas de subcadenas [SWS_CORE_03026], de arrays de caracteres [SWS_CORE_03028] y de listas de inicializadores [SWS_CORE_03032], las cuales presentan la misma clasificación de excepción. Tras la construcción, la instancia se puede modificar mediante operadores de concatenación como operator+= [SWS_CORE_03072] o servir para la inicialización de tipos dependientes como Bitset [SWS_CORE_01749].

El constructor BasicString sirve para la inicialización sincrónica de una instancia de ara::core::BasicString mediante una lista de inicialización ([SWS_CORE_03032]). La declaración se realiza a través del archivo de cabecera #include "ara/core/string.h" en el ámbito de la clase ara::core::BasicString ([SWS_CORE_03032]). El comportamiento sigue la definición de [basic.string], sustituyéndose charT por value_type de conformidad con el estándar ([SWS_CORE_03032]). Como parámetros se transfieren un std::initializer_list<value_type> así como, opcionalmente, un asignador ([SWS_CORE_03032]).

En cuanto al tratamiento de errores y de excepciones, el constructor está especificado como not exception safe ([SWS_CORE_03032]). Esto lo diferencia del constructor por defecto ([SWS_CORE_03024]) o del constructor de asignador explícito ([SWS_CORE_03025]), los cuales están declarados como seguros frente a excepciones o noexcept. Para este constructor no se han definido códigos de error específicos de AUTOSAR ni notificaciones DET o DEM. Interpretación: en caso de memoria insuficiente, es de prever que la creación del objeto falle, ya que se debe asignar memoria dinámica para los elementos de la lista de inicialización. Pregunta Q-7ecc7431c1c2f54c (abierta)

En interacción con el módulo core, la función complementa vías de construcción alternativas, tales como la creación a partir de subcadenas ([SWS_CORE_03026], [SWS_CORE_03027]), punteros ([SWS_CORE_03028], [SWS_CORE_03029]) o iteradores ([SWS_CORE_03031]). Para ampliar a posteriori una cadena existente con una lista de inicialización, se encuentra disponible el operator+= correspondiente ([SWS_CORE_03075]). Además, las instancias de BasicString generadas se pueden utilizar para la inicialización de tipos de datos afines, como Bitset ([SWS_CORE_01749]).

El constructor de copia [SWS_CORE_03033] de la clase ara::core::BasicString sirve para la creación síncrona de una nueva cadena de caracteres como copia de una instancia existente pasando explícitamente un asignador. La declaración de la función BasicString (const BasicString &, const Allocator &); se proporciona a través de la cabecera #include "ara/core/string.h" [SWS_CORE_03033]. La semántica funcional se rige por el uso correspondiente en el patrón estándar [basic.string] [SWS_CORE_03033].

Con respecto al tratamiento de errores, la función constructora está clasificada expresamente en la especificación como not exception safe [SWS_CORE_03033]. Para esta llamada no existen códigos de error específicos de AUTOSAR ni notificaciones a módulos de diagnóstico como DET o DEM; por lo tanto, es probable que las excepciones durante la asignación dinámica de memoria por parte del asignador estén sujetas al comportamiento general de [basic.string]. Pregunta Q-496b847c39fc25ae (abierta)

En cuanto a concurrencia y restricciones, el paso de la instancia de origen mediante const BasicString & exige que el objeto de origen no se modifique simultáneamente durante el proceso de copia. Los accesos de lectura simultáneos desde varios hilos están permitidos, mientras que los accesos de escritura paralelos no protegidos presumiblemente provocarán inconsistencias de datos. Pregunta Q-daa5ef2c4672b657 (abierta)

En interacción con elementos de especificación afines, el constructor se sitúa junto a rutas de inicialización alternativas como el constructor de movimiento con asignador [SWS_CORE_03034], el constructor por defecto [SWS_CORE_03024] o el constructor con asignador [SWS_CORE_03025]. El objeto creado puede modificarse sin problemas mediante operadores como operator+= [SWS_CORE_03072] o emplearse para la inicialización de tipos dependientes como Bitset [SWS_CORE_01749].

El constructor de movimiento [SWS_CORE_03034] de la clase ara::core::BasicString se proporciona a través del archivo de encabezado #include "ara/core/string.h". Crea de forma síncrona una nueva cadena asumiendo los datos de una instancia existente y vinculándolos a un asignador especificado explícitamente. El comportamiento semántico y los requisitos corresponden a las definiciones del estándar ISO C++ en [basic.string].

En el contexto de llamada, la función requiere dos parámetros: una referencia rvalue a un objeto de origen (BasicString&&) y una instancia de asignador (const Allocator&). Tras la operación de movimiento, el objeto de origen permanece en un estado válido pero modificado. En lo relativo al tratamiento de errores, la función está clasificada en [SWS_CORE_03034] como not exception safe. Interpretación: Es probable que esto se deba a que, con un asignador diferente o incompatible, se debe asignar nueva memoria y copiar los elementos, lo cual puede fallar en caso de escasez de memoria. Pregunta Q-2a89ad749ae1b2f6 (abierta) Esto diferencia al constructor de sobrecargas estrictamente seguras contra excepciones como [SWS_CORE_03025] o de variantes condicionalmente seguras contra excepciones como [SWS_CORE_03024].

En la interacción dentro de core, la firma complementa la gama de métodos de creación junto con el constructor de copia con asignador [SWS_CORE_03033] e inicializadores de subcadenas como [SWS_CORE_03026]. Tras una instanciación correcta, la cadena puede modificarse, por ejemplo, añadiendo contenido mediante operator+= ([SWS_CORE_03072], [SWS_CORE_03307]), o servir como entrada para tipos de datos dependientes como Bitset conforme a [SWS_CORE_01749].

Uso y semántica

La función miembro append de la clase ara::core::BasicString ([SWS_CORE_03076]) del archivo de encabezado #include "ara/core/string.h" sirve para concatenar de forma síncrona un objeto de cadena de caracteres completo str de tipo BasicString a la instancia llamadora. La semántica sigue la definición estandarizada de C++ en [basic.string]; como valor de retorno, la función devuelve una referencia al objeto modificado (*this) ([SWS_CORE_03076]).

Tratamiento de errores y condiciones límite

En cuanto a la seguridad frente a excepciones, la operación está catalogada explícitamente como not exception safe ([SWS_CORE_03076]). Interpretación: Si se produce un error durante la ejecución (por ejemplo, por memoria insuficiente), el estado de la cadena de caracteres podría quedar indeterminado, ya que no se especifican garantías de restauración. Pregunta Q-57504af4ee633d0b (abierta) Al contrario que las variantes con índices de posición como [SWS_CORE_03077] o [SWS_CORE_03309] (desencadenamiento de IsoStdOutOfRangeViolation) o comprobaciones de tamaño de búfer como [SWS_CORE_03078] (desencadenamiento de IsoStdLengthErrorViolation), [SWS_CORE_03076] no define infracciones independientes.

Interacción y sobrecargas

La función forma parte de una familia de sobrecargas dentro de ara::core::BasicString:

• Concatenación de subcadenas mediante especificaciones de posición y longitud ([SWS_CORE_03077]).
• Aceptación de arrays de caracteres de tipo value_type* con longitud definida ([SWS_CORE_03078]) o como cadena de caracteres terminada en nulo ([SWS_CORE_03079]).
• Inserción múltiple de caracteres individuales ([SWS_CORE_03080]) o asignación mediante std::initializer_list<value_type> ([SWS_CORE_03082]).
• Integración de rangos de iteradores ([SWS_CORE_03081]), así como vistas de cadena mediante StringView ([SWS_CORE_03308]) y plantillas específicas de tipo ([SWS_CORE_03309]).

La función miembro append de la clase ara::core::BasicString ([SWS_CORE_03077], declarada en #include "ara/core/string.h") concatena de forma síncrona una subcadena de otra instancia de BasicString str al objeto actual. Los parámetros pos y n (por defecto npos) determinan el índice inicial y el número máximo de caracteres dentro de str. Como valor de retorno se entrega una referencia al objeto de destino modificado (*this).

En cuanto a la semántica y al comportamiento de la interfaz, la función sigue la definición en [basic.string] del estándar C++, pero difiere en el tratamiento de errores: si se cumple pos > str.size(), se desencadena una IsoStdOutOfRangeViolation según [SWS_CORE_03077] (de forma análoga a std::out_of_range). La especificación clasifica expresamente la operación como not exception safe, motivo por el cual en caso de error no existe ninguna garantía sobre un estado inalterado o coherente del objeto.

A falta de mecanismos de sincronización documentados, es probable que una llamada concurrente sobre la misma instancia no sea segura frente a subprocesos. Pregunta Q-ec3b029fca94ad8a (abierta) Para fuentes de datos alternativas, en el módulo hay disponibles otras sobrecargas: cadenas completas ([SWS_CORE_03076]), búferes y punteros ([SWS_CORE_03078], [SWS_CORE_03079]), repeticiones de caracteres ([SWS_CORE_03080]), pares de iteradores ([SWS_CORE_03081]), listas de inicializadores ([SWS_CORE_03082]), así como objetos StringView ([SWS_CORE_03308], [SWS_CORE_03309]).

La función miembro append de la clase ara::core::BasicString ([SWS_CORE_03078]) añade de forma síncrona los primeros n caracteres del array de caracteres pasado s de tipo const value_type* a la cadena existente. Como valor de retorno, la función proporciona una referencia a la instancia modificada (BasicString&), lo que posibilita el encadenamiento de llamadas sucesivas. La declaración está disponible a través del archivo de encabezado #include "ara/core/string.h".

El comportamiento funcional sigue la especificación de std::basic_string::append según [basic.string], pero presenta discrepancias específicas de AUTOSAR ([SWS_CORE_03078]):

• El parámetro de plantilla charT se sustituye por el tipo value_type.
• Si la longitud resultante supera el límite de capacidad (condición size() > n + max_size()), en lugar de una std::length_error se desencadena la infracción IsoStdLengthErrorViolation.

En lo relativo a la seguridad de ejecución, la operación está especificada explícitamente como not exception safe ([SWS_CORE_03078]). Si se produce un error o una infracción durante la asignación de memoria o al copiar, el objeto no garantiza ningún estado intermedio consistente.

El método complementa las demás sobrecargas de append dentro de ara::core::BasicString. Entre ellas se incluyen la concatenación de instancias completas ([SWS_CORE_03076]), de subcadenas con comprobación de rango mediante IsoStdOutOfRangeViolation ([SWS_CORE_03077]), cadenas terminadas en nulo ([SWS_CORE_03079]), secuencias de caracteres idénticos ([SWS_CORE_03080]), rangos de iteradores ([SWS_CORE_03081]), listas de inicialización ([SWS_CORE_03082]) y objetos StringView ([SWS_CORE_03308], [SWS_CORE_03309]).

La función miembro append de la clase ara::core::BasicString ([SWS_CORE_03079]) concatena una cadena terminada en nulo del tipo de puntero const value_type* a la cadena existente. La semántica se corresponde con el comportamiento del estándar C++ [basic.string], sustituyéndose charT por value_type. Como valor de retorno, la función síncrona entrega una referencia al objeto que realiza la llamada (BasicString&), lo que permite encadenar operaciones sucesivas.

En cuanto al tratamiento de errores y la seguridad frente a excepciones, la operación está catalogada explícitamente como not exception safe ([SWS_CORE_03079]). A diferencia de la sobrecarga con indicación de longitud [SWS_CORE_03078], que desencadena una IsoStdLengthErrorViolation si se supera la longitud máxima, o de las sobrecargas de subcadenas como [SWS_CORE_03077] con IsoStdOutOfRangeViolation, esta variante no define clases de infracción específicas. Debería ser responsabilidad del llamador asegurarse de que el puntero transferido s apunte a una secuencia de caracteres válida y terminada en nulo. Pregunta Q-4e959f75f98977eb (abierta)

La función forma parte de una familia de sobrecargas para la concatenación de datos en ara::core::BasicString:

• concatenación de cadenas completas o parciales del mismo tipo ([SWS_CORE_03076], [SWS_CORE_03077]),
• concatenación de prefijos de puntero con limitación explícita de longitud ([SWS_CORE_03078]),
• concatenación de repeticiones de caracteres ([SWS_CORE_03080]) o listas de inicialización ([SWS_CORE_03082]),
• procesamiento de rangos de iteradores ([SWS_CORE_03081]), así como vistas de cadena ([SWS_CORE_03308], [SWS_CORE_03309]).

La función miembro append de ara::core::BasicString ([SWS_CORE_03080]) concatena síncronamente una cantidad n especificada de caracteres de tipo value_type (parámetro c) a la cadena de caracteres existente. Se proporciona a través de la cabecera ara/core/string.h y devuelve una referencia a la instancia modificada (*this), lo que permite llamadas encadenadas.

El comportamiento funcional sigue la definición del estándar C++ para [basic.string], donde charT se sustituye por value_type ([SWS_CORE_03080]). En lo que respecta a la seguridad frente a excepciones, la función está catalogada explícitamente como not exception safe ([SWS_CORE_03080]). A diferencia de otras sobrecargas como [SWS_CORE_03077] o [SWS_CORE_03078], para esta variante no se definen infracciones en tiempo de ejecución (violations) específicas como IsoStdOutOfRangeViolation o IsoStdLengthErrorViolation. Es probable que, en caso de error, el método no garantice un estado inalterado de la instancia. Pregunta Q-15af6c12a1a342a9 (abierta)

En el contexto de concurrencia y seguridad frente a hilos, debe tenerse en cuenta que los accesos simultáneos de escritura a la misma instancia de BasicString probablemente deban sincronizarse externamente. Pregunta Q-1e8a1511516e4cd8 (abierta) La función complementa las demás sobrecargas de append en ara::core::BasicString, las cuales cubren la concatenación de cadenas completas ([SWS_CORE_03076]), de subsecciones ([SWS_CORE_03077]), búferes de puntero ([SWS_CORE_03078], [SWS_CORE_03079]), rangos de iteradores ([SWS_CORE_03081]), listas de inicialización ([SWS_CORE_03082]) u objetos StringView ([SWS_CORE_03308], [SWS_CORE_03309]).

Uso y semántica

La función miembro plantilla append de la clase ara::core::BasicString se proporciona a través del archivo de cabecera ara/core/string.h [SWS_CORE_03081]. Concatena de forma síncrona una secuencia de caracteres delimitada por el par de iteradores first y last de la categoría InputIterator a la cadena existente [SWS_CORE_03081]. El comportamiento funcional se rige por la definición correspondiente en [basic.string] del estándar C++ [SWS_CORE_03081]. Como valor de retorno, la operación devuelve una referencia al objeto BasicString modificado (*this) [SWS_CORE_03081].

Tratamiento de errores y seguridad frente a excepciones

Para esta función, la seguridad frente a excepciones se define explícitamente como not exception safe [SWS_CORE_03081]. En caso de error —por ejemplo, si se agota la memoria dinámica durante la ampliación del búfer—, según la interpretación, la instancia permanecería previsiblemente en un estado no válido. Pregunta Q-600c7dacc868877c (abierta) No se definen infracciones específicas de AUTOSAR como IsoStdOutOfRangeViolation o IsoStdLengthErrorViolation para esta sobrecarga de iterador, a diferencia de otras sobrecargas del método [SWS_CORE_03077], [SWS_CORE_03078].

Interacción en el módulo

La función forma parte de un amplio grupo de sobrecargas para anexar datos a ara::core::BasicString:

• Concatenación de cadenas completas o parciales de tipo BasicString [SWS_CORE_03076], [SWS_CORE_03077].
• Concatenación de arrays de caracteres con indicación de longitud o secuencias de caracteres terminadas en nulo [SWS_CORE_03078], [SWS_CORE_03079].
• Concatenación repetida de caracteres individuales [SWS_CORE_03080], así como adopción desde std::initializer_list [SWS_CORE_03082].
• Integración de vistas de cadena modernas a través de StringView o tipos de vista genéricos [SWS_CORE_03308], [SWS_CORE_03309].

La variante de iterador [SWS_CORE_03081] ofrece en este caso la máxima flexibilidad para la integración de cualquier fuente de datos genérica.

La función miembro append de la clase ara::core::BasicString concatena de forma síncrona los caracteres de una lista de inicialización de tipo std::initializer_list<value_type> al objeto string existente [SWS_CORE_03082]. El comportamiento sigue la semántica de [basic.string] del estándar C++ con la salvedad de que charT se sustituye por value_type [SWS_CORE_03082]. La llamada modifica la instancia directamente y devuelve una referencia al objeto, lo que permite el encadenamiento de métodos.

En cuanto al tratamiento de errores, la función está clasificada como no segura frente a excepciones (not exception safe) [SWS_CORE_03082]. A diferencia de sobrecargas afines como [SWS_CORE_03077] o [SWS_CORE_03078], esta variante no define infracciones específicas como IsoStdOutOfRangeViolation o IsoStdLengthErrorViolation. Interpretación: si la asignación interna de memoria falla, el objeto probablemente permanezca en un estado indefinido. Pregunta Q-169750518dc1904b (abierta) Puesto que se altera el estado interno, es previsible que una llamada concurrente sin sincronización externa provoque condiciones de carrera de datos.

En la interacción dentro de ara::core::BasicString, la función forma parte de un grupo de operaciones append relacionadas. Complementa sobrecargas para cadenas de caracteres completas ([SWS_CORE_03076]), subrangos ([SWS_CORE_03077]), punteros a cadenas de caracteres ([SWS_CORE_03078], [SWS_CORE_03079]), caracteres individuales repetidos ([SWS_CORE_03080]), rangos de iteradores ([SWS_CORE_03081]) e instancias de StringView ([SWS_CORE_03308], [SWS_CORE_03309]).

usar

La función miembro síncrona append de la clase ara::core::BasicString concatena los caracteres de una vista de cadena pasada (StringView sv) a la cadena de caracteres existente [SWS_CORE_03308]. La interfaz se incluye a través del encabezado #include "ara/core/string.h" [SWS_CORE_03308]. Devuelve una referencia a la instancia llamadora (BasicString &), lo que permite encadenar múltiples modificaciones [SWS_CORE_03308]. La semántica funcional sigue la especificación correspondiente en C++ [basic.string] [SWS_CORE_03308].

Tratamiento de errores y seguridad frente a excepciones

La función está especificada explícitamente en AUTOSAR como no segura frente a excepciones («not exception safe») [SWS_CORE_03308]. Para esta llamada no se establecen códigos de error específicos, mensajes DET o DEM ni infracciones explícitas de AUTOSAR, mientras que sobrecargas afines como [SWS_CORE_03077] o [SWS_CORE_03309] desencadenan una IsoStdOutOfRangeViolation al rebasar el índice y [SWS_CORE_03078] desencadena una IsoStdLengthErrorViolation en caso de exceso de longitud.

Concurrencia e interacción

Dado que append modifica directamente el estado del objeto string invocado, es de prever que un acceso concurrente de varios hilos a la misma instancia sin sincronización externa no sea seguro para hilos. Pregunta Q-814665e285846c8e (abierta) El método forma parte de un conjunto con otras variantes append de ara::core::BasicString que posibilitan la concatenación de instancias completas de BasicString [SWS_CORE_03076], cadenas de estilo C [SWS_CORE_03079], caracteres individuales repetidos [SWS_CORE_03080], así como rangos de iteradores [SWS_CORE_03081] o listas de inicialización [SWS_CORE_03082].

usar

La función plantilla append de la clase ara::core::BasicString ([SWS_CORE_03309]) del archivo de cabecera #include "ara/core/string.h" sirve para concatenar síncronamente una subsección de un objeto t a la cadena de caracteres que realiza la llamada. El comportamiento se orienta en la especificación ISO-C++ [basic.string]. El parámetro pos establece el índice inicial en el objeto de origen, mientras que n determina el número máximo de caracteres a concatenar (valor por defecto npos). Como valor de retorno se entrega una referencia al objeto de cadena de caracteres modificado (*this). Interpretación: es previsible que el objeto transferido t se interprete internamente como una vista de cadena sv. Pregunta Q-9752a5eeaf05b684 (abierta)

Manejo de errores

AUTOSAR define para esta función una discrepancia específica respecto al estándar C++: si la posición indicada es mayor que el tamaño del rango de origen (pos > sv.size()), se desencadena una IsoStdOutOfRangeViolation en lugar de std::out_of_range ([SWS_CORE_03309]). La descripción semántica de esta infracción se corresponde con la de std::out_of_range.

Restricciones y seguridad frente a excepciones

En la especificación, la operación está catalogada expresamente como not exception safe ([SWS_CORE_03309]). Por consiguiente, ante posibles errores no se garantiza una conservación estable del estado previo.

Interacción

La función complementa las demás variantes para la ampliación de cadenas de caracteres en ara::core::BasicString. Entre ellas se incluyen sobrecargas para instancias completas de BasicString ([SWS_CORE_03076]) o sus subrangos ([SWS_CORE_03077]), cadenas de C con especificación de longitud ([SWS_CORE_03078]) o como punteros terminados en nulo ([SWS_CORE_03079]), repeticiones de caracteres ([SWS_CORE_03080]), rangos de iteradores ([SWS_CORE_03081]), listas de inicialización ([SWS_CORE_03082]) así como objetos StringView independientes ([SWS_CORE_03308]).

La función miembro assign de la clase ara::core::BasicString sirve para asignar síncronamente el contenido de una cadena de caracteres existente a la instancia llamadora según el comportamiento de [basic.string] [SWS_CORE_03084]. La función se proporciona a través del encabezado ara/core/string.h y acepta una referencia constante a un objeto BasicString (const BasicString &str). Como valor de retorno, devuelve una referencia al objeto de destino modificado (*this), lo que permite el encadenamiento de métodos [SWS_CORE_03084].

En lo que respecta a la robustez, la función está especificada explícitamente como not exception safe [SWS_CORE_03084]. Durante las asignaciones dinámicas de memoria a lo largo del proceso de copia pueden surgir errores que no quedan cubiertos por garantías de excepción; en caso de error, es probable que la instancia permanezca en un estado indefinido. Pregunta Q-0ddd5ac03e56490f (abierta) Para esta función de asignación no se contemplan códigos de error específicos de AUTOSAR ni avisos a DET o DEM.

En combinación con otras interfaces, assign representa la variante de copia dentro de una familia de funciones de asignación. Mientras que la sobrecarga de movimiento [SWS_CORE_03085] está declarada como conditionally exception safe, las demás asignaciones —como mediante subcadenas [SWS_CORE_03086], vistas de cadena [SWS_CORE_03087] o rangos de iteradores [SWS_CORE_03091]— comparten la propiedad not exception safe. Puesto que no se especifica seguridad para hilos, una llamada concurrente sobre la misma instancia sin sincronización externa presumiblemente no sería reentrante y resultaría insegura para los datos. Pregunta Q-37d67c851a296f55 (abierta)

La sobrecarga por movimiento de la función miembro assign según [SWS_CORE_03085] asigna síncronamente a una instancia existente de ara::core::BasicString el contenido de la referencia rvalue str (declarada en el archivo de cabecera ara/core/string.h). La función devuelve una referencia al objeto que realiza la llamada (*this). El comportamiento funcional se rige por la definición correspondiente en [basic.string] del estándar C++.

En relación con el tratamiento de errores y excepciones, el método está declarado como condicionalmente seguro frente a excepciones (conditionally exception safe) [SWS_CORE_03085]. El lanzamiento de excepciones queda excluido mediante noexcept exactamente cuando el asignador propaga la asignación por movimiento (propagate_on_container_move_assignment::value) o las instancias del asignador se consideran siempre iguales (is_always_equal::value). A diferencia de otras funciones de asignación como [SWS_CORE_03086] o [SWS_CORE_03088], que desencadenan infracciones específicas como IsoStdOutOfRangeViolation o IsoStdLengthErrorViolation en caso de desbordamiento de rango o longitud y se consideran no seguras frente a excepciones, esta operación no define infracciones de AUTOSAR adicionales.

En combinación con sobrecargas alternativas de BasicString::assign —por ejemplo, para referencias lvalue constantes según [SWS_CORE_03084], vistas vía [SWS_CORE_03087] o búferes de cadenas de caracteres conforme a [SWS_CORE_03089]—, la variante rvalue permite una asignación eficiente en recursos sin necesidad de volver a reservar memoria. Interpretación: tras la transferencia, el objeto de origen str permanece previsiblemente en un estado válido pero no especificado, como es habitual en las operaciones de movimiento según [basic.string]. Pregunta Q-88c8157963cdd7e0 (abierta)

La función miembro assign de la clase ara::core::BasicString ([SWS_CORE_03086]), proporcionada a través del encabezado ara/core/string.h, asigna a la instancia actual de forma síncrona un tramo de una cadena de origen pasada str. La llamada recibe, además de la referencia de origen str, el índice inicial pos y opcionalmente el número de caracteres n, para el cual está definido por defecto npos. Tras la asignación, se devuelve una referencia al objeto modificado (*this). La semántica funcional se corresponde básicamente con lo estipulado en [basic.string] ([SWS_CORE_03086]).

En el tratamiento de fallos existe una discrepancia explícita respecto a la norma ISO C++: si se cumple la condición pos > str.size(), no se desencadena ninguna std::out_of_range, sino que se provoca una IsoStdOutOfRangeViolation ([SWS_CORE_03086]). Además, en la especificación la función está clasificada expresamente como no segura frente a excepciones (not exception safe) ([SWS_CORE_03086]).

En el conjunto de métodos de asignación de ara::core::BasicString, esta sobrecarga de subcadenas complementa la asignación de cadenas completas ([SWS_CORE_03084]), la asignación por movimiento condicionalmente segura frente a excepciones ([SWS_CORE_03085]), la asignación a partir de un StringView ([SWS_CORE_03087]), así como operaciones con búferes de caracteres ([SWS_CORE_03088]) o rangos de iteradores ([SWS_CORE_03091]).

usar

La función miembro assign para StringView ([SWS_CORE_03087]) sustituye el contenido de una instancia de ara::core::BasicString de forma síncrona por los caracteres de la vista de cadena pasada. La semántica sigue la definición correspondiente de [basic.string] de la biblioteca estándar de C++. Como valor de retorno, la función devuelve una referencia al objeto de destino modificado (BasicString &), lo que permite encadenar llamadas sucesivas a métodos. La declaración se proporciona a través del archivo de encabezado #include "ara/core/string.h".

Tratamiento de errores y seguridad frente a excepciones

La función está señalada en la especificación como not exception safe ([SWS_CORE_03087]). Interpretación: Si la asignación requiere aumentar la capacidad del búfer interno y dicha asignación de memoria falla, probablemente se lance una excepción sin que exista garantía alguna sobre el estado inalterado de la instancia. Pregunta (abierta)

Concurrencia y restricciones

Interpretación: Las llamadas a assign sobre la misma instancia de ara::core::BasicString no son seguras para hilos y requieren sincronización externa en caso de acceso simultáneo de lectura o escritura por parte de múltiples hilos. Pregunta Q-12774d6cd363b032 (abierta)

Interacción

La función complementa el abanico de asignaciones de ara::core::BasicString con vistas de tipos seguros. Coexiste con las sobrecargas para asignaciones por copia y por movimiento ([SWS_CORE_03084], [SWS_CORE_03085]), subcadenas ([SWS_CORE_03086]), punteros a datos de caracteres ([SWS_CORE_03088], [SWS_CORE_03089]), repeticiones de caracteres ([SWS_CORE_03090]), rangos de iteradores ([SWS_CORE_03091]) y listas de inicializadores ([SWS_CORE_03092]).

usar

La función miembro assign de la clase ara::core::BasicString asigna a la instancia de cadena de caracteres actual de forma síncrona los primeros n caracteres del array de caracteres pasado s de tipo const value_type* y devuelve una referencia al objeto modificado (*this) [SWS_CORE_03088]. El comportamiento funcional coincide fundamentalmente con la definición según [basic.string], sustituyendo AUTOSAR el tipo de parámetro genérico charT por value_type [SWS_CORE_03088].

Tratamiento de errores y condiciones límite

La asignación está especificada como no segura frente a excepciones (not exception safe) [SWS_CORE_03088]. En caso de que la longitud indicada n exceda el tamaño máximo representable max_size() (n > max_size()), la función desencadena la infracción de AUTOSAR IsoStdLengthErrorViolation en lugar de std::length_error [SWS_CORE_03088]. Interpretación: El llamador probablemente deba asegurarse de que s apunte a al menos n caracteres válidos, puesto que la especificación no define ninguna comprobación de búfer independiente. Pregunta Q-290c36db79f27a0a (abierta)

Interacción

La función es adecuada primordialmente para búferes no terminados en nulo o secciones de arrays. Complementa la sobrecarga assign(const value_type* s) [SWS_CORE_03089], en la cual la longitud se determina de forma implícita. En el conjunto de clases de ara::core::BasicString existen otras sobrecargas de asignación para la adopción de cadenas existentes por copia [SWS_CORE_03084] o movimiento [SWS_CORE_03085], para la asignación de subcadenas con comprobación de índices [SWS_CORE_03086], para la adopción a partir de StringView [SWS_CORE_03087], así como para repeticiones de caracteres [SWS_CORE_03090], rangos de iteradores [SWS_CORE_03091] y listas de inicialización [SWS_CORE_03092].

La función miembro síncrona assign de la clase ara::core::BasicString ([SWS_CORE_03089]) del encabezado ara/core/string.h sustituye el contenido actual de un objeto de cadena de caracteres por la secuencia de caracteres s de tipo const value_type* pasada. La llamada devuelve una referencia al objeto modificado (*this). El comportamiento funcional sigue las directrices del estándar ISO C++ para [basic.string] con la desviación documentada de que el tipo de carácter charT se sustituye por value_type ([SWS_CORE_03089]). Interpretación: A falta de un parámetro de longitud independiente, es probable que el puntero s haga referencia a un array de caracteres terminado en nulo. Pregunta Q-eea79e929750c27f (abierta)

En cuanto al tratamiento de errores y la robustez, la función de asignación está clasificada como no segura frente a excepciones (not exception safe) ([SWS_CORE_03089]). A diferencia de las sobrecargas relacionadas como assign(const BasicString&, size_type, size_type) ([SWS_CORE_03086]) o assign(const value_type*, size_type) ([SWS_CORE_03088]), no se definen infracciones de tiempo de ejecución específicas como IsoStdOutOfRangeViolation o IsoStdLengthErrorViolation para esta variante.

En el módulo core, la función forma parte de una amplia familia de sobrecargas para la asignación de contenido. Además de punteros sin procesar, esta cubre cadenas completas ([SWS_CORE_03084]), semántica de movimiento ([SWS_CORE_03085]), instancias de StringView ([SWS_CORE_03087]), caracteres individuales repetidos ([SWS_CORE_03090]), rangos de iteradores ([SWS_CORE_03091]) y listas de inicializadores ([SWS_CORE_03092]). AUTOSAR también proporciona patrones de asignación similares en tipos contenedores como ara::core::Vector ([SWS_CORE_01328]).

usar

La función miembro assign de la clase ara::core::BasicString (definida en #include "ara/core/string.h") sustituye el contenido actual de la cadena de caracteres de forma síncrona por n copias consecutivas del carácter c de tipo value_type [SWS_CORE_03090]. La semántica corresponde a lo establecido para [basic.string] con la diferencia de que el parámetro de tipo charT se sustituye por value_type [SWS_CORE_03090]. Como valor de retorno, la función devuelve una referencia lvalue a la instancia modificada (*this), lo que permite encadenar operaciones adicionales.

Tratamiento de fallos y seguridad frente a excepciones

Según la especificación, la operación está clasificada explícitamente como not exception safe [SWS_CORE_03090]. A diferencia de otras sobrecargas que desencadenan infracciones definidas como IsoStdOutOfRangeViolation [SWS_CORE_03086] o IsoStdLengthErrorViolation [SWS_CORE_03088] al sobrepasar límites, esta función no menciona violaciones específicas. Si una solicitud de memoria requerida falla, no existen garantías sobre la persistencia del estado previo del objeto.

Concurrencia y restricciones

Dado que la asignación modifica directamente el búfer interno y no se especifica ninguna sincronización interna, es probable que el acceso simultáneo de múltiples hilos a la misma instancia no sea seguro para subprocesos (interpretación). Pregunta Q-50f419c4bca5c151 (abierta) Las llamadas paralelas deben coordinarse externamente por parte del llamador.

Interacción

La función complementa la cartera de asignaciones de ara::core::BasicString, que, además de asignaciones por copia y movimiento [SWS_CORE_03084], [SWS_CORE_03085], así como iteradores y listas de inicializadores [SWS_CORE_03091], [SWS_CORE_03092], también proporciona interfaces para vistas de cadena (string-views) [SWS_CORE_03087]. Existe de forma análoga un patrón de asignación comparable con recuento de repeticiones para ara::core::Vector::assign [SWS_CORE_01329].