我可以将 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”。

从POSIX documentation 到execv（在基本原理部分的一半）看来，第二个参数是一个char *const 数组，只是为了向后兼容：

包含关于 argv[] 和 envp[] 是常量的声明是为了向未来的语言绑定编写者明确说明这些对象是完全常量。 ……可惜第四列不能用……

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

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

Answer 1

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

嗯，是的，你已经知道你可以施放才能这样做。

从 execv 的 POSIX 文档（基本原理部分的一半）看来，第二个参数是一个 char *const 数组，只是为了向后兼容：

我不会这么说，但是是的，选择的签名有一个兼容性方面。您引用的部分解释说，C 没有完全令人满意的方式来表达 POSIX 要求execv() 提供参数的const-ness 程度。 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 并不重要。