Dirección literal de cadena en unidades de traducción

En C y C, los programadores suelen utilizar cadenas literales para diversos fines. Surge una pregunta común: ¿es confiable suponer que la misma cadena literal en diferentes unidades de traducción tendrá la misma dirección de memoria?

Estándar C/C

El C99 y los proyectos de normas C dejan específicamente este tema sin especificar. La sección 6.4.5 del borrador del estándar C99 establece que "No se especifica si estas matrices [literales de cadena] son ​​distintas siempre que sus elementos tengan los valores apropiados". Esto significa que el compilador es libre de decidir si agrupar literales de cadena o no.

Implementaciones del compilador

En la práctica, diferentes compiladores tienen diferentes comportamientos con respecto a la agrupación de literales de cadena.

• GCC: Admite la agrupación de literales de cadenas en unidades de compilación con el indicador -fmerge-constants. Este comportamiento se puede desactivar con -fno-merge-constants.
• Visual Studio: Incluye una opción (/GF) para la agrupación de literales de cadenas.
• Otro compiladores: Puede o no admitir la agrupación de literales de cadenas, y es específica de la implementación.

Justificación de la falta de requisitos

La justificación de No requerir que se agrupen literales de cadena en el estándar C se debe a la diversidad de compiladores y entornos de ejecución en ese momento. Algunas implementaciones almacenaron literales de cadena en ROM, mientras que otras los almacenaron en secciones de datos grabables. Para garantizar la portabilidad, se consideró mejor no exigir ningún comportamiento específico.

Consideraciones prácticas

En general, no es portátil confiar en cadenas literales que tengan el mismo dirección de memoria entre unidades de traducción. Sin embargo, dentro de la misma unidad de traducción, es más probable que el comportamiento sea consistente, ya que el compilador tiene más control sobre las optimizaciones.

Conclusión

La dirección de memoria de un El literal de cadena es un detalle de implementación y no se puede confiar en que se mantenga coherente en todas las unidades de traducción. Es importante ser consciente de este hecho y escribir código que sea independiente de dichos detalles de implementación.