¿Es un comportamiento indefinido desechar la consistencia de un parámetro de función?

Question

Imagínese que tengo esta función C (y el prototipo correspondiente en un archivo de cabecera)

void clearstring(const char *data) { 
    char *dst = (char *)data; 
    *dst = 0; 
} 

¿Hay un comportamiento no definido en el código anterior, fundición de la const distancia, o es sólo una práctica terriblemente mala programación ?

Supongamos que no hay objetos const cualificado utilizan

char name[] = "pmg"; 
clearstring(name); 

Answer 1

El intento de escribir en *dst es UB si la persona que llama se pasa un puntero a un objeto constante, o un puntero a una cadena literal.

Pero si la persona que llama le pasa un puntero a datos que de hecho son mutables, entonces se define el comportamiento. Crear un const char* que apunte a un char modificable no hace que char sea inmutable.

Así:

char c; 
clearstring(&c); // OK, sets c to 0 
char *p = malloc(100); 
if (p) { 
    clearstring(p); // OK, p now points to an empty string 
    free(p); 
} 
const char d = 0; 
clearstring(&d); // UB 
clearstring("foo"); // UB 

Es decir, es muy poco aconsejable su función, porque es muy fácil para una persona que llama a causa de la UB. Pero de hecho es posible usarlo con un comportamiento definido.

Answer 2

Considere una función como strstr que, si se le da un puntero a una parte de un objeto que contiene una cadena, devuelve un puntero a una parte posiblemente diferente del mismo objeto. Si el método pasa un puntero a un área de solo lectura de la memoria, devolverá un puntero a un área de solo lectura de la memoria; Del mismo modo, si se le da un puntero a un área de escritura, devolverá un puntero a un área de escritura.

No hay forma en C para tener una función devuelve un const char * cuando se les da un const char *, y devolver una ordinaria char * cuando se les da un ordinario char *. Para ser compatible con la forma en que strstr funcionó antes de que se añadiera al lenguaje la idea de const char *, debe convertir un puntero calificado en const en un puntero no calificado. Si bien es cierto que como una función de biblioteca strstr podría tener derecho a hacer tal conversión incluso si el código de usuario no pudiera hacerlo, el mismo patrón aparece con suficiente frecuencia en el código de usuario que sería práctico prohibirlo.