我可以将const char *数组传递给execv吗？

Question

这是execv的原型：

int execv(const char *path, char *const argv[]);

我可以将const char指针数组作为第二个参数传递吗？

当未设置USE_CAST时，此示例程序给出警告：

#include <unistd.h>
int main(int argc, char *argv[])
{
    if (argc > 0) {
        const char *exe_name = "/bin/echo", *message = "You ran";
        const char *exe_args[] = { exe_name, message, argv[0], NULL };
#ifdef USE_CAST
    execv("/bin/echo", (char **) exe_args);
#else
    execv("/bin/echo", exe_args);
#endif
    }
    return 0;
}

编译时，如果我不使用强制类型转换，gcc会说“从不兼容的指针类型传递'execv'的参数2”。

从execv的POSIX文档 （在“基础知识”部分中半步）看来，第二个参数是char *const数组，仅用于向后兼容：

包含有关argv[]和envp[]为常量的声明，以向语言绑定的未来作者明确表明这些对象是完全恒定的。 不幸的是，第四栏无法使用...

其中“第四列”指的是const char* const[] 。

(char **)演员可以在这里安全使用吗？ 我应该创建一个char *数组并将其传递给execv吗？

Answer 1

我可以将const char指针数组作为第二个参数传递吗？

好吧，是的，您已经知道可以进行投射。

从execv的POSIX文档（在“基础知识”部分中半步）看来，第二个参数是char * const数组，仅用于向后兼容：

我不会用这些术语来表达，但是，是的，所选签名具有兼容性。 您引用部分介绍了C没有一个完全令人满意的方式来表达的程度const -ness是POSIX要求execv()提供的参数。 POSIX保证该函数不会更改argv的指针或它们指向的字符串。

在这种情况下，我认为按照您的建议argv指针并不是没有道理的，尽管我会在代码中留下注释，以解释为什么这样做是安全的。

另一方面，您应该考虑将const保留在数组声明之外：

char *exe_name = "echo", *message = "You ran";
char *exe_args[] = { exe_name, message, argv[0], NULL };

或者，在您的简单示例中，即使这样做也可以：

char *exe_args[] = { "echo", message, argv[0], "You ran", NULL };

C字符串文字对应于char类型的数组，而不是const char类型的数组，因此就C而言，这是完全合法的，即使实际上尝试修改这些字符串的内容可能会失败。

第三，现代C具有数组文字，因此您甚至可以这样做：

execv("/bin/echo", (char *[]) { "echo", "You ran ", argv[0], NULL });

在最后一种情况下，您甚至没有强制转换（类似于一个强制转换的东西只是数组文字语法的一部分）。

Answer 2

如果只打算抛弃const ，那么就不应该使用const开头。 大多数（我敢说所有）编译器都将接受以下代码

char *exe_name = "/bin/echo";
char *message = "You ran";
char *exe_args[] = { exe_name, message, argv[0], NULL };
execv( exe_args[0], exe_args );

如果那在学步上还不够正确，那么另一个选择是

char exe_name[] = "/bin/echo";
char message[] = "You ran";
char *exe_args[] = { exe_name, message, argv[0], NULL };
execv( exe_args[0], exe_args );

请注意， execv将复制字符串（以为可执行文件创建argv数组），因此字符串实际上是否为const无关紧要。