Tại sao tham số argv để execvp không const?

Question

execvp được định nghĩa như sau:

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

nào ngăn cản mã như này từ đang được sử dụng:

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

Đây có phải là một thiếu sót vô tình? Có an toàn để const_cast xung quanh này? Hoặc thực hiện một số execvp thực hiện scribble trên bộ nhớ đó?

Answer 1

Các spec POSIX nói (http://pubs.opengroup.org/onlinepubs/009604499/functions/exec.html):

Các argv[] và envp[] mảng của con trỏ và chuỗi mà những điểm mảng sẽ không được sửa đổi bởi một cuộc gọi đến một trong những chức năng exec, trừ khi một hậu quả của việc thay thế hình ảnh quá trình.

Tôi nghĩ thiếu (hoặc bị thất lạc) const đơn giản là một sự kỳ quặc lịch sử.

Answer 2

Tôi gặp phải tình huống tương tự này. Bởi vì execvp() có một thông số thứ hai là char *const, điều đó có nghĩa là nó chấp nhận một con trỏ liên tục đến một char. Vì vậy, nếu bạn vượt qua nó một con trỏ char nó sẽ có thể đúc con trỏ char đến một con trỏ liên tục đến một char. Vì vậy, thay vì tuyên bố nó

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

thử

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

và nó sẽ chấp nhận argv[] mà không vấn đề.