clase ara::core::StringView

usar

La función miembro at de la clase ara::core::StringView proporciona un acceso de solo lectura sincrónico a caracteres individuales ([SWS_CORE_02133]). Acepta como parámetro el índice pos de tipo size_type y devuelve una referencia constante (const_reference) al carácter en dicha posición. La función está especificada como constexpr y noexcept, por lo que las llamadas también se pueden evaluar en tiempo de compilación.

Manejo de errores

A diferencia del comportamiento en el estándar [string.view], la función no lanza ninguna excepción de tipo std::out_of_range en caso de error ([SWS_CORE_02133]). Si se cumple la condición pos >= size(), en su lugar se desencadena una IsoStdOutOfRangeViolation. La especificación clasifica la función como segura frente a excepciones (exception safe).

Concurrencia y restricciones

Dado que at está declarada como const, la llamada no modifica la instancia subyacente. Quien realiza la llamada debe asegurarse de que la cadena de caracteres referenciada permanezca válida durante todo el tiempo de vida del objeto StringView. En caso de producirse la violación de límites IsoStdOutOfRangeViolation, es de prever que la ejecución se interrumpa de forma controlada; para ello, se pueden registrar rutinas de interrupción personalizadas a través de AddAbortHandler ([SWS_CORE_00054]) (interpretación). Pregunta Q-0836f4dc6fa946a6 (abierta)

Interacción

El concepto de interceptar desbordamientos de rango mediante IsoStdOutOfRangeViolation se aplica de manera consistente en múltiples contenedores en ara::core:

• En ara::core::Array ([SWS_CORE_01273], [SWS_CORE_01274]) y ara::core::Map ([SWS_CORE_01456], [SWS_CORE_01457]), at también está declarada como noexcept y segura frente a excepciones.
• Por el contrario, las funciones at correspondientes en ara::core::Vector ([SWS_CORE_01354], [SWS_CORE_01355]) así como en ara::core::BasicString ([SWS_CORE_03063], [SWS_CORE_03064]) están clasificadas como no seguras frente a excepciones (not exception safe) y no están marcadas como noexcept.

usar

La función miembro compare de la clase ara::core::StringView de la cabecera #include "ara/core/string_view.h" sirve para la comparación lexicográfica síncrona de la vista de cadena de caracteres actual con una instancia pasada s del tipo StringView [SWS_CORE_02142]. El comportamiento se rige por el uso correspondiente en [string.view] del estándar C++ [SWS_CORE_02142]. Como valor de retorno, la función proporciona un int, el cual refleja la relación de orden de las secuencias de caracteres [SWS_CORE_02142].

Manejo de errores

La función está declarada con noexcept y especificada como exception safe [SWS_CORE_02142]. No desencadena excepciones de C++. Para esta operación no se prevén códigos de error específicos, errores de desarrollo de AUTOSAR (DET) ni notificaciones al Diagnostic Event Manager (DEM) [SWS_CORE_02142].

Concurrencia y condiciones de contorno

Gracias a la clasificación como const así como constexpr, la llamada ya se puede evaluar en tiempo de compilación [SWS_CORE_02142]. Interpretación: dado que la función accede en modo lectura a secuencias de caracteres invariables, una llamada concurrente sobre el mismo StringView desde múltiples hilos debería ser segura para hilos, siempre que los datos de caracteres subyacentes no se modifiquen. Pregunta Q-7489abeeb3fd7124 (abierta)

Interacción

Mientras que los tipos básicos en ara::core como ErrorDomain [SWS_CORE_00137] o ErrorCode [SWS_CORE_00571] proporcionan principalmente operadores binarios de igualdad para comprobaciones, compare ofrece en StringView un valor de comparación trivalente [SWS_CORE_02142].

usar

La función miembro compare de la clase ara::core::StringView realiza una comparación lexicográfica síncrona de un subrango de la vista de cadena de caracteres actual con una StringView s pasada [SWS_CORE_02143]. La subcadena a comparar comienza en el índice pos1 y comprende una longitud máxima de n1 caracteres. El valor de retorno es un int entero que indica el resultado relacional. Dado que la función está declarada como constexpr, la evaluación ya puede tener lugar en tiempo de compilación [SWS_CORE_02143].

Manejo de errores

La semántica se rige por los requisitos de [string.view] del estándar ISO C++, pero define dos desviaciones esenciales [SWS_CORE_02143]:

• La función está especificada con noexcept y se considera segura frente a excepciones (exception safe) [SWS_CORE_02143].
• Si el índice de inicio supera la longitud de la vista (pos1 > size()), no se desencadena una excepción estándar del tipo std::out_of_range, sino que se produce una IsoStdOutOfRangeViolation [SWS_CORE_02143].

Concurrencia y condiciones de contorno

Los llamadores deben asegurarse previamente de que pos1 no exceda el valor de size() para evitar una IsoStdOutOfRangeViolation [SWS_CORE_02143]. Dado que compare está declarada como const y no efectúa modificaciones en la instancia, el acceso de lectura concurrente desde múltiples hilos debería ser no crítico (interpretación). Pregunta Q-be4ec80ab2529ed3 (abierta)

La función miembro compare de la clase ara::core::StringView ([SWS_CORE_02144], archivo de cabecera #include "ara/core/string_view.h") sirve para la comparación lexicográfica y síncrona de dos subcadenas. El comportamiento fundamental se corresponde con el funcionamiento en [string.view] del estándar ISO C++, pero presenta desviaciones específicas para AUTOSAR Adaptive [SWS_CORE_02144].

Los parámetros transferidos determinan los fragmentos a comparar de ambas secuencias [SWS_CORE_02144]:

• pos1 y n1: índice de inicio y número máximo de caracteres dentro de la instancia llamadora.
• s: el objeto a comparar del tipo StringView.
• pos2 y n2: índice de inicio y número máximo de caracteres dentro del objeto pasado s.

Como valor de retorno, la función proporciona un valor entero (int) que es negativo si la subsecuencia propia es lexicográficamente menor, cero en caso de coincidencia y positivo si es mayor [SWS_CORE_02144].

Respecto al tratamiento de errores, la implementación difiere del estándar: el método está declarado como noexcept y se considera seguro frente a excepciones (exception safe) [SWS_CORE_02144]. En caso de que una de las posiciones de inicio se encuentre fuera del rango válido (pos1 > size() || pos2 > s.size()), no se lanza una excepción std::out_of_range, sino que se desencadena una IsoStdOutOfRangeViolation [SWS_CORE_02144].

Gracias a los cualificadores constexpr y const, la función ya se puede evaluar durante la compilación [SWS_CORE_02144]. Dado que no se modifican estados internos, los accesos de lectura concurrentes a la misma instancia deberían ser seguros para hilos. Pregunta Q-a93f872ee88becc9 (abierta)

La función miembro compare de la clase ara::core::StringView (archivo de cabecera #include "ara/core/string_view.h") sirve para la comparación síncrona y lexicográfica de la vista de cadena actual con una cadena de caracteres de C terminada en nulo const char* s [SWS_CORE_02145]. Al estar especificada la operación como constexpr, la evaluación puede llevarse a cabo tanto en tiempo de ejecución como en el marco de expresiones en tiempo de compilación. Como valor de retorno, la función entrega un valor entero del tipo int cuyo signo refleja el resultado de la comparación de forma análoga a [string.view]: un valor menor que cero significa que la instancia precede lexicográficamente a s; el valor cero indica igualdad; un valor mayor que cero muestra que la instancia sigue a s [SWS_CORE_02145].

En lo concerniente al tratamiento de errores, la especificación de AUTOSAR difiere explícitamente de la plantilla en [string.view]: el método está declarado como noexcept y posee la propiedad exception safe [SWS_CORE_02145]. Por lo tanto, se garantiza que las llamadas no pueden lanzar excepciones de C++. Para esta función básica no se contemplan códigos de error específicos ni notificaciones al Development Error Tracer (DET) o al Diagnostic Event Manager (DEM).

Al tratarse de un método cualificado como const, compare no modifica el estado de la instancia de ara::core::StringView y puede invocarse de manera concurrente para lectura con total seguridad. Al utilizarlo, debe tenerse en cuenta que el puntero s presumiblemente debe apuntar a una secuencia de caracteres válida, ya que la semántica adoptada de [string.view] causaría un comportamiento indefinido si se pasa un puntero nulo [SWS_CORE_02145]. Pregunta Q-cff1a1f55603dbd4 (abierta)

usar

El método compare de la clase ara::core::StringView permite una comparación lexicográfica síncrona de un subrango de la vista de cadena de caracteres con una cadena C terminada en nulo s [SWS_CORE_02146]. Se transfieren el índice de inicio pos1, la longitud máxima n1 y el puntero s a la secuencia de caracteres a comparar. El valor de retorno del tipo int refleja el resultado de ordenación relacional de forma análoga a la biblioteca estándar: un valor de retorno menor que cero, igual a cero o mayor que cero identifica la relación lexicográfica [SWS_CORE_02146].

Tratamiento de errores y condiciones límite

La operación está especificada como noexcept y «exception safe» [SWS_CORE_02146]. A diferencia del comportamiento según el estándar C++ [string.view], un índice de inicio no válido con pos1 > size() no desencadena una excepción std::out_of_range, sino que provoca una IsoStdOutOfRangeViolation [SWS_CORE_02146]. En el contexto de ejecución de AUTOSAR, esta violación debería considerarse un error de programación y forzar una terminación directa de la plataforma, ya que las excepciones regulares de C++ no pueden escapar a través de los límites de noexcept. Pregunta Q-d4ce6b496b80fdde (abierta) Además, debe asegurarse de que s apunte a una cadena de caracteres válida, ya que un puntero nulo presumiblemente provocará un comportamiento indefinido.

concurrencia

Dado que compare está definida como const y constexpr, el estado de la instancia permanece sin cambios [SWS_CORE_02146]. Por lo tanto, los accesos de lectura concurrentes al mismo objeto ara::core::StringView se pueden ejecutar de forma segura.

usar

La función miembro compare de la clase ara::core::StringView de la cabecera ara/core/string_view.h realiza una comparación lexicográfica síncrona [SWS_CORE_02147]. Para ello, se compara una subsecuencia de la instancia actual, comenzando en el índice pos1 con un máximo de n1 caracteres, con los primeros n2 caracteres del array de caracteres C externo s. El valor de retorno entero (int) sigue la semántica de [string.view] e indica mediante su signo si el subrango propio es lexicográficamente menor, igual o mayor que la secuencia de referencia. Al ser un método constexpr y const, no modifica el objeto y ya puede evaluarse en tiempo de compilación [SWS_CORE_02147].

Tratamiento de errores y condiciones límite

En lo referente al tratamiento de errores y a la seguridad frente a excepciones, AUTOSAR define dos desviaciones vinculantes con respecto al estándar [SWS_CORE_02147]:

• La función miembro está especificada como noexcept y clasificada íntegramente como exception safe [SWS_CORE_02147].
• Si la posición de inicio supera la longitud de la instancia (pos1 > size()), no se lanza ninguna excepción std::out_of_range, sino que se desencadena una IsoStdOutOfRangeViolation [SWS_CORE_02147].

Interpretación: Debido a la combinación de la garantía noexcept y IsoStdOutOfRangeViolation, es probable que una superación de rango no pueda capturarse mediante bloques try-catch clásicos de C++, sino que previsiblemente conlleve una interrupción inmediata o un tratamiento de errores por parte de la plataforma. Pregunta Q-67fb8eda4c594a06 (abierta)

Uso y contexto de llamada

La función miembro contains de la clase ara::core::StringView sirve para comprobar de forma síncrona si una vista de caracteres contiene una subcadena de caracteres especificada [SWS_CORE_02154]. La función se define en el encabezado ara/core/string_view.h conforme a la semántica del borrador de trabajo del estándar de C++ N4950 ([string.view]) [SWS_CORE_02154]. Como parámetro, el método recibe por valor otra instancia de StringView (sv) y devuelve directamente un valor booleano de tipo bool: true si la subsecuencia está presente; en caso contrario, false [SWS_CORE_02154].

Gracias a su especificación como constexpr, la llamada puede realizarse tanto en tiempo de ejecución como ya durante la compilación en el marco de contextos de compile-time [SWS_CORE_02154].

Tratamiento de errores y seguridad frente a excepciones

Para contains, el comportamiento está establecido como exception safe y la firma está calificada explícitamente con noexcept [SWS_CORE_02154]. Por consiguiente, la función no lanza excepciones de C++ bajo ninguna circunstancia y no devuelve errores a través de ara::core::Result o ara::core::ErrorCode. No existen notificaciones de error de DET ni de DEM para esta función básica.

Concurrencia y restricciones

Como función miembro constante (const), contains no modifica el estado de la instancia de StringView [SWS_CORE_02154]. Interpretación: Las llamadas paralelas de solo lectura sobre la misma instancia de StringView o sobre el búfer de caracteres subyacente deberían ser plenamente reentrantes y seguras frente a la concurrencia, siempre que ningún hilo modifique simultáneamente el área de memoria referenciada. Pregunta Q-80f1a9989a098913 (abierta) No existen condiciones especiales de orden ni obligaciones de inicialización más allá de la provisión de un StringView válido.

La función miembro contains comprueba de forma síncrona si un carácter específico c está contenido dentro de un ara::core::StringView [SWS_CORE_02155]. La función está declarada en la cabecera ara/core/string_view.h y sigue la semántica de [string.view] del borrador del estándar de C++ N4950 [SWS_CORE_02155]. Recibe un único carácter del tipo char y devuelve un valor booleano del tipo bool que, presumiblemente, da como resultado true si y solo si el carácter se encuentra en el rango de texto referenciado [SWS_CORE_02155]. Pregunta Q-3293fccace7af3ab (abierta)

En cuanto al tratamiento de errores, la operación está declarada como noexcept y especificada como segura ante excepciones (exception safe) [SWS_CORE_02155]. No se lanzan excepciones ni se señalan códigos de error a través de DET, DEM o tipos de retorno; la inexistencia del carácter se notifica de forma ordinaria mediante el valor de retorno booleano.

Dado que la función está designada como constexpr y const, puede evaluarse ya en tiempo de compilación [SWS_CORE_02155]. Las llamadas no modifican el objeto ara::core::StringView subyacente, motivo por el cual los accesos paralelos de lectura sobre la misma instancia presumiblemente deberían ser seguros en condiciones de concurrencia. Pregunta Q-298dbc4d080853bc (abierta)

En la interacción de los tipos básicos del módulo core, contains sirve para la inspección directa de texto sobre vistas de cadenas de caracteres [SWS_CORE_02155]. Mientras que tipos como ara::core::Result ofrecen mecanismos propios de comprobación para los valores contenidos o errores —tales como HasValue [SWS_CORE_00751] o CheckError [SWS_CORE_00765]—, contains opera de manera ligera sin asignaciones ni encapsulación de errores.

La función miembro contains de la clase ara::core::StringView comprueba de forma síncrona si la cadena de caracteres referenciada contiene la secuencia de caracteres pasada como parámetro str [SWS_CORE_02156]. La función se proporciona a través del archivo de encabezado ara/core/string_view.h y devuelve el resultado de la comprobación como valor de retorno de tipo bool [SWS_CORE_02156]. Gracias a su declaración como constexpr, la llamada puede ejecutarse tanto en tiempo de ejecución como en el marco de expresiones en tiempo de compilación [SWS_CORE_02156].

La semántica funcional sigue la especificación de [string.view] en el Working Draft del estándar de C++ N4950, pero presenta una desviación vinculante: la función está declarada en AUTOSAR Adaptive con el identificador noexcept [SWS_CORE_02156]. En consecuencia, la operación está especificada como segura frente a excepciones (exception safe), garantizando que no se lancen excepciones de C++ durante su ejecución [SWS_CORE_02156]. No se han definido para esta función códigos de error específicos de AUTOSAR ni notificaciones a registradores de errores de desarrollo o de diagnóstico [SWS_CORE_02156].

Como función miembro constante (const), contains no modifica la instancia que la invoca [SWS_CORE_02156]. Interpretación: Para el parámetro str, cabe suponer que se requiere el paso de una cadena de caracteres válida y terminada en nulo, ya que la interfaz utiliza const char *str y no prevé ninguna comprobación de longitud o de errores específica [SWS_CORE_02156]. Pregunta Q-a2d7cd456a72a792 (abierta)

usar

La función miembro síncrona copy de la clase ara::core::StringView ([SWS_CORE_02140]) copia una subcadena en un búfer provisto. El acceso se realiza mediante el archivo de cabecera #include "ara/core/string_view.h":

• Parámetros: char *s apunta al array de destino, n determina el número máximo de caracteres a copiar y pos define la posición inicial (valor por defecto 0).
• Valor de retorno: Un valor de tipo size_type que indica el número de caracteres efectivamente copiados.
• Semántica: La función opera de forma síncrona y se basa en la especificación ISO C++ [string.view] ([SWS_CORE_02140]).

Manejo de errores

En caso de error, si se cumple pos > size(), se desencadena una IsoStdOutOfRangeViolation ([SWS_CORE_02140]). Esto difiere del estándar [string.view], el cual lanza std::out_of_range. Dado que la interfaz está declarada como noexcept, es probable que la activación de la violación conduzca presumiblemente a la terminación directa del proceso (interpretación: no se propaga ninguna excepción de C++). Pregunta Q-4ddbe4dfb002c41f (abierta)

Concurrencia y restricciones

La operación está especificada como const y noexcept, y se considera exception safe ([SWS_CORE_02140]). El invocador debe garantizar que el array de destino s proporcione suficiente memoria para al menos min(n, size() - pos) caracteres, ya que los errores de rango del búfer de destino no se interceptan.

Interacción

En comparación con ara::core::BasicString::copy ([SWS_CORE_03410]), la cual trabaja con value_type y está clasificada como not exception safe, la variante en StringView ofrece una garantía noexcept segura frente a excepciones ([SWS_CORE_02140]).

La función miembro crbegin de la clase ara::core::StringView devuelve de forma síncrona un iterador inverso constante (const_reverse_iterator) al primer carácter de la vista de caracteres invertida [SWS_CORE_02126]. La función no recibe parámetros, se declara a través del archivo de cabecera ara/core/string_view.h y sigue la semántica estándar de [string.view] [SWS_CORE_02126].

En relación con el tratamiento de errores, la operación está definida como noexcept y especificada como segura frente a excepciones (exception safe) [SWS_CORE_02126]. No se devuelven códigos de error ni se emiten mensajes de error vía DET o DEM, ya que se garantiza que la llamada transcurre sin errores [SWS_CORE_02126].

Gracias a la especificación como constexpr y const, la función también puede invocarse en el marco de expresiones constantes en tiempo de compilación [SWS_CORE_02126]. Interpretación: Es de suponer que las llamadas paralelas a crbegin en la misma instancia sean seguras para subprocesos (thread-safe) de forma concurrente, dado que la operación no realiza ninguna modificación en el objeto. Pregunta Q-ce8bc6d0753d1aa8 (abierta)

La interfaz se integra a la perfección en el concepto de iteradores transversal a contenedores de AUTOSAR Adaptive Core. Implementaciones constexpr equivalentes de crbegin se encuentran en ara::core::Array [SWS_CORE_01260] así como en ara::core::Span [SWS_CORE_01978]. Además, contenedores como ara::core::Vector [SWS_CORE_01342], ara::core::Map [SWS_CORE_01450] y ara::core::BasicString [SWS_CORE_03049] también ponen a disposición puntos de entrada const_reverse_iterator correspondientes no constexpr.

La función miembro crend de la clase ara::core::StringView proporciona un iterador inverso constante ([SWS_CORE_02127]). La llamada se realiza de forma síncrona y sin parámetros sobre una instancia existente a partir de la cabecera ara/core/string_view.h. El const_reverse_iterator devuelto marca el final lógico de una iteración inversa; según la referencia de C++ [string.view], apunta, como posición centinela, al elemento teórico situado inmediatamente antes del primer carácter de la cadena (interpretación: de forma análoga al estándar de C++). Pregunta Q-5fd666f8d3eaf308 (abierta)

Tratamiento de errores y concurrencia

La función está declarada como noexcept y especificada como segura frente a excepciones («exception safe») ([SWS_CORE_02127]). No se lanzan excepciones, no se devuelven códigos de error ni se emiten mensajes DET/DEM. Debido a la cualificación constexpr, el iterador ya puede generarse en tiempo de compilación. Al ser un método puramente const sin efectos sobre el estado, es probable que las llamadas de lectura simultáneas sobre la misma instancia sean seguras concurrentemente (interpretación). Pregunta Q-207e2b9561f61d27 (abierta)

Interacción

La interfaz sigue el concepto de iteración uniforme de ara::core para estructuras de datos secuenciales. Especificaciones afines definen interfaces crend análogas:

• ara::core::Array ([SWS_CORE_01261]) y ara::core::Span ([SWS_CORE_01979]), especificadas asimismo como constexpr,
• ara::core::Vector ([SWS_CORE_01343]), ara::core::Map ([SWS_CORE_01451]) y ara::core::BasicString ([SWS_CORE_03050]).

usar

La función miembro ara::core::StringView::ends_with comprueba de forma síncrona si la secuencia de caracteres considerada finaliza con la subsecuencia pasada sv [SWS_CORE_02151]. Está declarada en el archivo de cabecera ara/core/string_view.h y sigue la semántica estandarizada de C++ según [string.view] de ISO/IEC 14882:2020 [SWS_CORE_02151]. Gracias a la designación como constexpr, la comparación puede evaluarse ya en tiempo de compilación. Dado que se trata de un método const, el objeto que realiza la llamada no se modifica.

Tratamiento de errores y concurrencia

La especificación asigna a ends_with la propiedad exception safe y la declara como noexcept [SWS_CORE_02151]. Por lo tanto, la función no lanza excepciones y no notifica fallos ni a través de canales de error de AUTOSAR como DET o DEM ni mediante códigos de error específicos. Como operación de solo lectura pura sobre una vista inmutable de cadena de caracteres, es de esperar que la función sea reentrante y segura en accesos de lectura concurrentes sobre la misma instancia sin mecanismos de sincronización. Pregunta Q-821d4d0f216694ef (abierta)

Interacción

El método forma parte de la clase ara::core::StringView y se complementa con sobrecargas afines: además de la evaluación frente a otro objeto StringView, se dispone de variantes para la comprobación frente a un carácter individual char [SWS_CORE_02152], así como frente a una cadena C terminada en nulo const char* [SWS_CORE_02153], las cuales también son seguras frente a excepciones y utilizables en tiempo de compilación.

usar

La función miembro ends_with de la clase ara::core::StringView comprueba de forma síncrona si la cadena de caracteres referenciada finaliza con el carácter especificado c ([SWS_CORE_02152]). Se declara mediante la cabecera ara/core/string_view.h y sigue el funcionamiento estandarizado de [string.view] conforme a ISO/IEC 14882:2020 ([SWS_CORE_02152]). Gracias a la designación como constexpr, la evaluación puede llevarse a cabo tanto en tiempo de ejecución como previamente en el marco de la compilación ([SWS_CORE_02152]).

Tratamiento de errores y comportamiento en tiempo de ejecución

La interfaz garantiza una seguridad frente a excepciones completa («exception safe») y cuenta con el especificador noexcept ([SWS_CORE_02152]). En consecuencia, nunca lanza excepciones y no utiliza notificaciones de error mediante DET o DEM. En el caso de una cadena de caracteres vacía, la comprobación devuelve siempre el resultado booleano false.

Concurrencia e interacción

Dado que ends_with se define como una operación puramente const sin efectos de estado, un acceso de lectura simultáneo desde varios subprocesos a la misma instancia debería ser inocuo (interpretación). Pregunta Q-b3a5dccbd8ff638a (abierta) Además del carácter individual, ara::core::StringView ofrece otras dos sobrecargas para comprobaciones de terminación: la comparación con otra StringView ([SWS_CORE_02151]), así como la comprobación frente a una cadena C terminada en nulo de tipo const char* ([SWS_CORE_02153]). Ambas variantes también están implementadas como síncronas, constexpr y noexcept ([SWS_CORE_02151], [SWS_CORE_02153]).

La función miembro ends_with de la clase ara::core::StringView comprueba de forma síncrona si la secuencia de caracteres considerada finaliza con una cadena de caracteres determinada [SWS_CORE_02153]. La función acepta un puntero const char* str como parámetro y proporciona un valor de retorno de tipo bool [SWS_CORE_02153]. Gracias a la declaración como constexpr, la evaluación puede tener lugar tanto en tiempo de ejecución como ya en tiempo de compilación [SWS_CORE_02153]. La semántica funcional sigue la definición de la sección [string.view] del estándar ISO/IEC 14882:2020 [SWS_CORE_02153].

Con respecto al tratamiento de errores, la función está declarada como noexcept y clasificada como segura frente a excepciones (exception safe), por lo que no se lanzan excepciones de C++ [SWS_CORE_02153]. Para esta función auxiliar no se contemplan códigos de error específicos de AUTOSAR ni notificaciones de error a DET o DEM.

Interpretación: al realizar la llamada, el parámetro str debería tener que apuntar a una cadena de caracteres válida y terminada en nulo, ya que no se pasa ningún parámetro de longitud adicional [SWS_CORE_02153]. Pregunta Q-d6d076a1a2ab7dce (abierta) Dado que el método está cualificado como const y no modifica ningún estado interno, el acceso concurrente de lectura sobre la misma instancia es seguro.

La función está disponible a través del archivo de cabecera #include "ara/core/string_view.h" en el ámbito de ara::core::StringView [SWS_CORE_02153]. Complementa sobrecargas afines de ends_with que, en lugar de una cadena C, reciben un objeto StringView [SWS_CORE_02151] o un carácter individual char [SWS_CORE_02152].

La función miembro find de la clase ara::core::StringView busca de forma síncrona la primera aparición de la subcadena pasada s a partir de la posición inicial pos según el comportamiento en [string.view] [SWS_CORE_02157]. La función está definida como constexpr y const, lo que permite invocarla también en tiempo de compilación y sobre instancias inmutables [SWS_CORE_02157].

En lo referente al tratamiento de errores, el método está declarado como noexcept y clasificado como seguro frente a excepciones (exception safe) [SWS_CORE_02157]; no se contemplan códigos de error específicos ni avisos de DET o DEM. Puesto que la ejecución no altera el estado del objeto, un acceso concurrente de lectura por parte de varios hilos de ejecución a la misma instancia de StringView debería estar permitido sin sincronización adicional. Pregunta Q-e27507133b5a4e20 (abierta)

Dentro de ara::core::StringView, esta función se complementa con otras sobrecargas de búsqueda para caracteres individuales de tipo char [SWS_CORE_02158] así como cadenas de caracteres C [SWS_CORE_02159], [SWS_CORE_02160]. En interacción con otros contenedores, ara::core::BasicString proporciona una función de búsqueda comparable para StringView [SWS_CORE_03315], mientras que la función find en ara::core::Map sirve para la búsqueda de claves y devuelve iteradores [SWS_CORE_01490].

Uso y parámetros

La función miembro síncrona find de la clase ara::core::StringView busca la primera aparición del carácter c ([SWS_CORE_02158]) a partir de la posición de índice pos. Se incluye a través del archivo de cabecera #include "ara/core/string_view.h" y devuelve como valor de retorno el índice de la coincidencia de tipo size_type. Si no se encuentra el carácter, según la referencia a [string.view] es de suponer que se devuelva el valor npos. Pregunta Q-60ea50d6f006004f (abierta)

Tratamiento de errores y concurrencia

La función está declarada con noexcept y especificada como segura frente a excepciones (exception safe) ([SWS_CORE_02158]). Gracias a su designación como constexpr y const, resulta adecuada para expresiones constantes en tiempo de compilación y no modifica el objeto subyacente. Los accesos de lectura concurrentes a la misma instancia son probablemente reentrantes y seguros para subprocesos mientras la cadena de caracteres referenciada permanezca inalterada en memoria. Pregunta (abierta)

Interacción y alternativas

El método complementa otras sobrecargas de find en ara::core::StringView que buscan subcadenas ([SWS_CORE_02157]) o secuencias de punteros ([SWS_CORE_02159], [SWS_CORE_02160]). A diferencia de la búsqueda basada en caracteres en ara::core::BasicString ([SWS_CORE_03324]), la cual está clasificada como not exception safe, esta variante garantiza una ausencia total de excepciones. Asimismo, se distingue de la búsqueda basada en claves en ara::core::Map ([SWS_CORE_01490]).

usar

La función miembro find de la clase ara::core::StringView ([SWS_CORE_02159]) sirve para buscar de forma síncrona una secuencia de caracteres dentro de la vista de cadena. Se proporciona a través del archivo de cabecera ara/core/string_view.h. La función acepta un puntero s a un array de caracteres, una posición inicial pos de tipo size_type así como la cantidad de caracteres que se va a buscar n y devuelve la posición encontrada como size_type. Interpretación: según la semántica referenciada de [string.view], es de suponer que s apunte a un campo con al menos n caracteres y que, en caso de búsqueda infructuosa, se devuelva el valor npos. Pregunta Q-e7f54bb1b42a99d8 (abierta)

Tratamiento de errores y concurrencia

El método está declarado como noexcept y especificado como exception safe ([SWS_CORE_02159]). Por tanto, los estados de error no se señalan mediante excepciones de C++. Dado que la función está definida como const y constexpr, no modifica la instancia y es adecuada para evaluaciones en tiempo de compilación, así como para accesos de lectura concurrentes.

Interacción

Dentro de ara::core::StringView, la función complementa otras sobrecargas de búsqueda:

• Búsqueda de una StringView ([SWS_CORE_02157]) o de un carácter individual ([SWS_CORE_02158]),
• Búsqueda a partir de una cadena de caracteres C terminada en nulo ([SWS_CORE_02160]), en la que no se indica una longitud explícita n.

En comparación con la signatura correspondiente en ara::core::BasicString ([SWS_CORE_03409]), que está declarada como not exception safe y no garantiza noexcept, la variante en StringView ([SWS_CORE_02159]) ofrece una estricta seguridad frente a excepciones sin sobrecarga de asignación.

usar

La función miembro síncrona find de la clase ara::core::StringView ([SWS_CORE_02160]) del encabezado #include "ara/core/string_view.h" busca la primera aparición de la cadena de caracteres C s indicada a partir de la posición inicial pos. El comportamiento funcional se rige por el estándar de C++ [string.view], pero difiere por su designación explícita como noexcept ([SWS_CORE_02160]).

Manejo de errores

La función está definida como exception safe y garantiza la ausencia de cualquier excepción ([SWS_CORE_02160]). No existen códigos de error específicos ni avisos a DET o DEM. Interpretación: si la cadena de caracteres buscada no está contenida, es de suponer que el fallo de la búsqueda se indique mediante el valor de retorno npos, de forma análoga al comportamiento estándar de [string.view]. Pregunta Q-febde79f1c992c2a (abierta)

Concurrencia y condiciones de contorno

Dado que find está declarada como constexpr y const ([SWS_CORE_02160]), la llamada no modifica el estado del objeto StringView y puede evaluarse ya en tiempo de compilación. Interpretación: es de suponer que los accesos de lectura concurrentes a través de múltiples hilos sean reentrantes y seguros frente a la concurrencia sin medidas de sincronización adicionales. Pregunta (abierta)

Interacción

Dentro de ara::core::StringView existen otras sobrecargas de find para parámetros StringView ([SWS_CORE_02157]), caracteres individuales ([SWS_CORE_02158]) así como subcadenas con limitación explícita de longitud n ([SWS_CORE_02159]). A diferencia de las operaciones análogas de búsqueda de cadenas C en ara::core::BasicString ([SWS_CORE_03408], [SWS_CORE_03409]), clasificadas como not exception safe, la implementación en ara::core::StringView garantiza una completa seguridad frente a excepciones ([SWS_CORE_02160]).

usar

La función miembro find_first_not_of de la clase ara::core::StringView ([SWS_CORE_02173]) sirve para buscar de forma síncrona el primer carácter dentro de la vista de cadena de caracteres que no esté contenido en la StringView s transferida. Como segundo parámetro se puede indicar opcionalmente la posición inicial pos (valor por defecto pos=0). La función devuelve la posición de índice encontrada como size_type. En este sentido, el comportamiento se rige por la semántica correspondiente en [string.view]. Interpretación: si no se encuentra ningún carácter distinto, es de suponer que la función devuelva el valor npos de acuerdo con dicha semántica estándar. Pregunta Q-8f55419868615e5a (abierta)

Tratamiento de errores y concurrencia

La función está declarada como noexcept y especificada como segura frente a excepciones («exception safe») ([SWS_CORE_02173]). No se lanzan excepciones y no se definen mensajes de error específicos a través de DET o DEM. Gracias a los cualificadores const y constexpr, la llamada puede realizarse sin efectos secundarios en tiempo de compilación o en paralelo sobre objetos no modificados.

Interacción y sobrecargas

Dentro de ara::core::StringView, la función se complementa con otras sobrecargas de noexcept:

• Búsqueda de caracteres distintos de un carácter individual char c ([SWS_CORE_02174]).
• Búsqueda mediante una cadena C const char *s con limitación de longitud n ([SWS_CORE_02175]) o a partir de una posición inicial ([SWS_CORE_02176]).

Existe un patrón de búsqueda similar para ara::core::BasicString, entre otros con StringView ([SWS_CORE_03319]) y BasicString ([SWS_CORE_03337]). A diferencia de StringView, las sobrecargas allí existentes para punteros y caracteres ([SWS_CORE_03338], [SWS_CORE_03339], [SWS_CORE_03340]) están clasificadas como no seguras frente a excepciones.

La función miembro find_first_not_of de la clase ara::core::StringView determina de forma síncrona la posición del primer carácter dentro de la secuencia de caracteres que es distinto del carácter suministrado c [SWS_CORE_02174]. La búsqueda comienza por defecto al principio de la vista o a partir del desplazamiento opcional pos. Mediante la referencia al estándar [string.view], la función presumiblemente devuelve el índice basado en cero de tipo size_type del carácter encontrado o el valor npos si no existe ningún carácter diferente. Pregunta Q-9f3eeedf35e475e7 (abierta)

En cuanto al tratamiento de errores, la función está declarada como noexcept y especificada como segura frente a excepciones (exception safe) [SWS_CORE_02174]. Por lo tanto, no lanza excepciones, no utiliza mensajes a DET o DEM y notifica la no localización de un carácter exclusivamente a través de su valor de retorno.

Como método constexpr y const, find_first_not_of puede evaluarse ya en tiempo de compilación y garantiza un acceso de lectura sin estado y sin efectos secundarios al array de caracteres subyacente. Las llamadas concurrentes sobre la misma instancia de StringView son, por tanto, reentrantes y seguras sin sincronización adicional.

La función forma parte de una familia de operaciones de búsqueda en ara::core::StringView y complementa las sobrecargas para la búsqueda de subsecuencias diferentes mediante StringView [SWS_CORE_02173], así como pares de puntero y longitud o cadenas C terminadas en nulo [SWS_CORE_02175] [SWS_CORE_02176]. Un equivalente funcional para cadenas de caracteres modificables existe en ara::core::BasicString [SWS_CORE_03340], el cual, a diferencia de StringView, está declarado como no seguro frente a excepciones.

La función miembro find_first_not_of de la clase ara::core::StringView sirve, según [SWS_CORE_02175], para la localización síncrona del primer carácter dentro de la cadena de caracteres que no aparece en una secuencia de caracteres predefinida. En principio, el comportamiento se corresponde con el uso en [string.view] con la divergencia documentada de que la función está declarada como noexcept [SWS_CORE_02175]. Interpretación: a través de la referencia a [string.view], los parámetros s, pos y n deberían limitar la búsqueda a partir de la posición pos a los primeros n caracteres del array s [SWS_CORE_02175]. Pregunta Q-745f5bc9246c11a2 (abierta)

Uso y tratamiento de errores

La función está definida como constexpr y const, se proporciona a través del archivo de cabecera #include "ara/core/string_view.h" y devuelve un índice de tipo size_type [SWS_CORE_02175]. La especificación clasifica el método como exception safe [SWS_CORE_02175]. Dado que está especificada como noexcept, no lanza excepciones; no hay definidos códigos de error ni notificaciones a DET o DEM [SWS_CORE_02175].

Interacción y alternativas

En ara::core::StringView se dispone de sobrecargas afines para patrones de búsqueda diferentes:

• búsqueda a través de otra vista de cadena de caracteres StringView según [SWS_CORE_02173],
• búsqueda de la primera discrepancia respecto a un carácter individual c según [SWS_CORE_02174] y
• búsqueda mediante un puntero terminado en nulo const char *s sin indicación explícita de longitud según [SWS_CORE_02176].

A diferencia de la firma estructuralmente similar en ara::core::BasicString [SWS_CORE_03338], la cual está clasificada como not exception safe y no dispone de noexcept, la variante en StringView ofrece una total seguridad frente a excepciones [SWS_CORE_02175].

La función miembro find_first_not_of de la clase ara::core::StringView ([SWS_CORE_02176]) de la cabecera ara/core/string_view.h busca de forma síncrona, a partir de la posición inicial pos, el primer carácter que no aparece en la cadena de caracteres s. El comportamiento se corresponde con la definición en [string.view], pero difiere por su designación explícita como noexcept ([SWS_CORE_02176]). Interpretación: de la referencia al estándar [string.view] debería deducirse que s debe apuntar a un array de caracteres válido y terminado en nulo, y que en caso de no encontrarse coincidencia se devuelve npos. Pregunta Q-aa48a331975274a1 (abierta)

Con respecto al tratamiento de errores, la función está especificada como segura frente a excepciones (exception safe) ([SWS_CORE_02176]). No se lanzan excepciones; en el payload no se definen para esta función mensajes de error en tiempo de ejecución mediante mecanismos de AUTOSAR como DET o DEM.

Debido a la cualificación como constexpr y const ([SWS_CORE_02176]), la operación de búsqueda no modifica el estado del objeto StringView. Es reentrante y puede ejecutarse en cualquier hilo, así como ya en tiempo de compilación en expresiones constantes.

En interacción con interfaces afines, la función complementa otras sobrecargas dentro de ara::core::StringView, en concreto para la búsqueda con un StringView ([SWS_CORE_02173]), un carácter individual char ([SWS_CORE_02174]) o un búfer con restricción de longitud n ([SWS_CORE_02175]). A diferencia de las sobrecargas basadas en punteros en ara::core::BasicString ([SWS_CORE_03338], [SWS_CORE_03339]), que están clasificadas como not exception safe, esta variante en StringView garantiza una total seguridad frente a excepciones.

La función miembro find_first_of de la clase ara::core::StringView ([SWS_CORE_02165]) examina una secuencia de caracteres de forma síncrona a partir del índice pos en busca de la primera aparición de cualquier carácter de la vista de caracteres suministrada s. El método devuelve la posición encontrada como un índice de tipo size_type.

Según la especificación, la función está declarada como noexcept y clasificada como segura frente a excepciones (exception safe) ([SWS_CORE_02165]). No lanza excepciones ni notifica errores a DET o DEM. Interpretación: Si no se encuentra ningún carácter coincidente o si el índice inicial queda fuera del rango válido, es de suponer que el resultado corresponda al valor npos de forma análoga a la semántica estándar de [string.view]. Pregunta Q-ad877979579b5bd1 (abierta)

Dado que find_first_of está especificado como const, la llamada no efectúa cambios de estado ([SWS_CORE_02165]). Los accesos de lectura concurrentes a la misma instancia son posibles sin sincronización adicional. Gracias a su designación como constexpr, la búsqueda puede evaluarse además en tiempo de compilación.

En el módulo core existen otras sobrecargas para ara::core::StringView, entre ellas para caracteres individuales ([SWS_CORE_02166]), punteros con recuento de caracteres explícito ([SWS_CORE_02167]) y cadenas de caracteres terminadas en nulo ([SWS_CORE_02168]). En la clase ara::core::BasicString, con [SWS_CORE_03317] se dispone de una sobrecarga comparable para StringView; sin embargo, a diferencia de StringView, las funciones de búsqueda basadas en punteros allí presentes están declaradas como no seguras frente a excepciones ([SWS_CORE_03330]).

usar

La función miembro find_first_of de la clase ara::core::StringView sirve para la búsqueda síncrona de la primera aparición de un carácter dentro de la cadena de caracteres referenciada [SWS_CORE_02166]. Está disponible a través de la cabecera ara/core/string_view.h y recibe el carácter buscado c, así como opcionalmente la posición inicial pos, la cual está establecida por defecto en 0. La función devuelve el índice de la posición encontrada de tipo size_type conforme al comportamiento en [string.view] [SWS_CORE_02166]. Como método constexpr, puede ejecutarse tanto en tiempo de ejecución como durante la compilación.

Manejo de errores

La función está declarada como noexcept y clasificada explícitamente como segura frente a excepciones («exception safe») [SWS_CORE_02166]. No se lanzan excepciones y la especificación no define códigos de error específicos ni mensajes al seguimiento de errores de desarrollo (DET) o a la gestión de memoria de errores (DEM).

Concurrencia y restricciones

Como función miembro constante (const), la llamada no modifica la instancia de ara::core::StringView [SWS_CORE_02166]. Interpretación: por tanto, es de esperar que las llamadas de lectura paralelas sobre el mismo objeto desde múltiples hilos sean reentrantes y seguras concurrentemente, siempre que el búfer de caracteres subyacente permanezca sin cambios. Pregunta Q-b86dddc1a54a05e1 (abierta)

Interacción

La función forma parte de las interfaces de búsqueda de ara::core::StringView. Además de la búsqueda de caracteres individuales, existen sobrecargas análogas, también especificadas como noexcept, para subcadenas mediante StringView [SWS_CORE_02165], así como representaciones de puntero [SWS_CORE_02167], [SWS_CORE_02168]. A diferencia de esto, la clase ara::core::BasicString declara sobrecargas afines para caracteres individuales [SWS_CORE_03332] y punteros [SWS_CORE_03330], [SWS_CORE_03331] sin noexcept y las clasifica como no seguras frente a excepciones («not exception safe»), mientras que las variantes de cadena con BasicString [SWS_CORE_03329] y StringView [SWS_CORE_03317] se mantienen seguras frente a excepciones.

La función miembro find_first_of de la clase ara::core::StringView ([SWS_CORE_02167]) del archivo de cabecera #include "ara/core/string_view.h" busca de forma síncrona la primera aparición de un carácter de la secuencia de caracteres s a partir de la posición pos. El parámetro n limita aquí la cantidad de caracteres a considerar del puntero suministrado. La función devuelve la posición encontrada como size_type; si no se encuentra ningún carácter, según [string.view] debería devolverse el valor npos. Pregunta Q-eac57a47043e5b33 (abierta)

Para el contexto de llamada y el tratamiento de errores rigen las siguientes especificaciones:

• Seguridad frente a excepciones y evaluación en tiempo de compilación: El método está definido como constexpr y const. Como divergencia respecto al estándar [string.view], está declarado explícitamente con noexcept y especificado como seguro frente a excepciones («exception safe») ([SWS_CORE_02167]). No se lanzan excepciones ni se notifican códigos de error.
• Sobrecargas afines en StringView: De forma complementaria se dispone de variantes para punteros a cadenas de caracteres sin límite de longitud ([SWS_CORE_02168]), para objetos ara::core::StringView ([SWS_CORE_02165]), así como para caracteres individuales ([SWS_CORE_02166]), que asimismo son noexcept.
• Delimitación respecto a BasicString: A diferencia de la sobrecarga correspondiente en ara::core::BasicString ([SWS_CORE_03330]), la cual figura como no segura frente a excepciones («not exception safe») y sin noexcept, la implementación de StringView garantiza una total ausencia de excepciones ([SWS_CORE_02167]).

usar

La función miembro find_first_of de la clase ara::core::StringView del encabezado ara/core/string_view.h examina de forma síncrona la vista de caracteres a partir de la posición pos en busca de la primera aparición de cualquier carácter de la cadena de caracteres s [SWS_CORE_02168]. Como valor de retorno proporciona el índice correspondiente como size_type. Gracias a su especificación como constexpr, esta operación de búsqueda puede ejecutarse ya en tiempo de compilación [SWS_CORE_02168].

Tratamiento de errores y concurrencia

La función está declarada como noexcept y especificada como segura frente a excepciones (exception safe) [SWS_CORE_02168]. No existen códigos de error específicos ni avisos a DET o DEM. Dado que el método no modifica el estado de la instancia (const), el acceso de lectura concurrente desde múltiples hilos es seguro. Interpretación: dado que la signatura no prevé ningún parámetro de longitud, es de suponer que el llamador esté obligado a transferir una cadena C válida terminada en nulo a s para evitar comportamientos indefinidos. Pregunta Q-6b692ff18063aef5 (abierta)

Interacción

Dentro de ara::core::StringView, la función complementa las sobrecargas para StringView [SWS_CORE_02165], caracteres individuales [SWS_CORE_02166] así como secuencias de caracteres con límite explícito de longitud n [SWS_CORE_02167], todas las cuales están definidas como constexpr y noexcept. A diferencia de las funciones análogas de búsqueda mediante punteros en ara::core::BasicString, clasificadas como no seguras frente a excepciones (not exception safe) [SWS_CORE_03330], [SWS_CORE_03331], la implementación en ara::core::StringView garantiza la ausencia total de excepciones [SWS_CORE_02168].