¿Por qué puedo cambiar el valor de una variable const char*?

¿Por qué funciona el siguiente código en C?

const char* str = NULL;
str = "test";
str = "test2";

Dado que str es un puntero a un carácter constante, ¿por qué se nos permite asignarle diferentes literales de cadena? Además, ¿cómo podemos proteger a str para que no se modifique? Parece que esto podría ser un problema si, por ejemplo, más tarde asignamos str a una cadena más larga que terminó escribiendo sobre otra parte de la memoria.

Debo agregar que en mi prueba, imprimí la dirección de memoria de str antes y después de cada una de mis tareas y nunca cambió. Entonces, aunque str es un puntero a un const char, la memoria en realidad se está modificando. Me preguntaba si tal vez este es un problema heredado con C.

Está cambiando el puntero, que no es const (lo que apunta es const).

Si desea que el puntero sea constante, la declaración se vería así:

char * const str = "something";

o

char const * const str = "something";  // a const pointer to const char
const char * const str = "something";  //    same thing

Los punteros constantes a datos que no son constantes suelen ser una construcción menos útil que el puntero a constante.

Además, ¿cómo podemos proteger a str para que no se modifique?

char * const str1; // str1 cannot be modified, but the character pointed to can
const char * str2; // str2 can be modified, but the character pointed to cannot
const char * const str3 // neither str3 nor the character pointed to can be modified.

La forma más fácil de leer esto es comenzar desde el nombre de la variable y leer hacia la izquierda:

• str1 es un constantehormiga puntero a un carbonizarseactor
• str2 es un puntero a un carbonizarseactor constantehormiga
• str3 es un constantehormiga puntero a un carbonizarseactor constantehormiga

NOTA: la lectura de derecha a izquierda no funciona en el caso general, pero para declaraciones simples es una forma sencilla de hacerlo. Encontre un applet java basado en código de “El lenguaje de programación C” que puede descifrar declaraciones con una explicación completa de cómo hacerlo.

En una nota relacionada, definitivamente eche un vistazo a “puntero const versus puntero a const“. Ayuda con lo que algunas personas llaman corrección constante. Lo guardo en mis marcadores para poder consultarlo de vez en cuando.

Lo que estás buscando puede ser la sintaxis…

const char* const str = NULL;
str = "test";
str = "test2";

Observe la “const” después de char* que produce un error de compilación al intentar compilar/construir.

La memoria para los literales de cadena se asigna en la pila, y todas sus asignaciones cambian el str puntero para apuntar a esas direcciones de memoria. El carácter constante al que apuntaba inicialmente no ha cambiado en absoluto.

Además, declarar una variable como const significa que la variable es de solo lectura; ¡no significa que el valor sea constante!