¿Dónde está el comportamiento indefinido cuando se usa const_cast <>?

Question

Si hago:

const char* const_str = "Some string"; 

char* str = const_cast<char*>(const_str); // (1) 

str[0] = "P"; // (2) 

dónde (en qué línea) es exactamente el comportamiento indefinido?

He estado buscando mucho para esto en SO, pero no he encontrado ninguna respuesta explícita y precisa (o al menos, ninguna que yo pudiera entender).

También relacionado: si uso una biblioteca externa que proporciona este tipo de función:

// The documentation states that str will never be modified, just read. 
void read_string(char* str); 

¿Está bien escribir algo como:

std::string str = "My string"; 

read_string(const_cast<char*>(str.c_str())); 

Desde que estoy seguro de que read_string() se nunca intenta escribir en str?

Gracias.

Answer 1

La línea (2) tiene un comportamiento indefinido. El compilador tiene la libertad de colocar constantes en la memoria de solo lectura (había una vez en Windows, esto habría sido un "segmento de datos") por lo que escribir en él podría provocar la terminación de su programa. O tal vez no.

Tener que alejar la constidad cuando llama a una función de biblioteca mal definida (parámetro no const que debería ser const) es, por desgracia, no inusual. Hazlo, pero mantén tu nariz.

Answer 2

Está intentando modificar una cadena constante que el compilador puede haber puesto en una sección de solo lectura del proceso. Esto es mejor:

char str[32]; 
strcpy(str, "Some string"); 
str[0] = "P";