¿Por qué el parámetro argv para execvp no es const?

Question

execvp se define así:

int execvp(const char *file, char *const argv[]); 

que impide código como este sea utilizado:

const char* argv[] = {"/bin/my", "command", "here", NULL}; 
execvp(argv[0], argv); 

¿Era esta una omisión accidental? ¿Es seguro const_cast alrededor de esto? ¿O algunas implementaciones de execvp realmente garabatean en esa memoria?

Answer 1

La especificación POSIX dice (http://pubs.opengroup.org/onlinepubs/009604499/functions/exec.html):

Los argv[] y envp[] arrays de punteros y las cuerdas a las que los puntos matrices no podrán ser modificados por una llamada a una de las funciones exec, excepto como una consecuencia de reemplazar la imagen del proceso.

creo que la falta (o extraviado) const es simplemente una rareza histórica.

Answer 2

Me encontré con esta misma situación. Debido a que execvp() tiene un char *const como el segundo parámetro, eso significa que acepta un puntero constante a un carácter. Por lo tanto, si le pasa un carácter de puntero, podrá convertir el carácter de puntero en un puntero constante a carácter. Así, en lugar de declarar que

const char* argv[] = {"/bin/my", "command", "here", NULL}; 

tratar

char* argv[] = {"/bin/my", "command", "here", NULL}; 

y aceptará argv[] sin problema.