¿Qué significa "const void *" en memmove?

Question

El segundo arg en los prototipos para memmove/memcpy/strcpy son similares: Por ejemplo:

void *memmove(void *dest, const void *src, size_t n); //const void* 
char *strcpy(char *dest, const char *src); //const char* 

Pero, al parecer, si dest y la superposición src, entonces el contenido de src serán alteradas, violar la const vacío/char *?

Answer 1

const void* significa que la referencia no se modificará a través de ese puntero.

Si hay otros punteros que no son const para el mismo objeto (también conocido como "aliasing"), entonces, por supuesto, aún se puede modificar a través de ellos. En el escenario que describe, ese otro puntero es dest.

Por cierto, en el caso de strcpy, el comportamiento no está definido si las regiones se superponen, y en C99 la firma es char *strcpy(char * restrict s1, const char * restrict s2);. Pero para memmove, aliasing está bien. Al otorgarle regiones superpuestas, le ha otorgado "permiso" para modificar la región dest y lo hará.

Answer 2

Significa memmove garantiza que no directamente modifica la memoria apuntada por src.

Por supuesto, si los dos bloques se superponen memmove se cambiará la memoria llamada "const". const es un contrato adjunto a un nombre. No hay forma de hacer que la memoria real sea de solo lectura.

Answer 3

El argumento está marcado const void * para indicar memmove nunca modificará la memoria apuntada por src usando ese puntero. Si se produce superposición, la memoria se modifica utilizando el puntero dest, no el puntero src, por lo que no se infringe la garantía.

Answer 4

Como el memove anterior no modificará el contenido de la memoria a través del puntero "src" sino que lo hará a través del puntero "dest".

La const se refiere a cómo se usan los punteros, no agrega ninguna protección de memoria.

Si ambos punteros apuntan a una región de memoria superpuesta, puede pasar cualquier cosa, ya que no está definida si la copia comenzará desde "src" e incrementará o comenzará desde "src + n" y disminuirá.