如何正确声明常量字符串数组？适配posix_spawn的argv参数

咱们先把问题根源理清楚，再一步步给出靠谱的解决办法：

问题到底出在哪？ #

你遇到的警告主要来自两个核心原因：

1. -Wwrite-strings编译选项的影响：这个GCC选项会把字符串字面量（比如"-a"）的默认类型从char*改成const char*，目的是防止你意外修改只读的字符串字面量——这类修改会触发未定义行为，比如程序崩溃。
2. 指针类型不匹配：你声明的char *const argv[]是「指向char的常量指针数组」，意思是数组里的指针本身不能被修改，但指针指向的内容是允许修改的。而你用来初始化的const char exe[]和字符串字面量都是「指向const char的指针」，把它们赋值给char*类型的指针，编译器会认为你可能会去修改只读内容，所以抛出“丢弃const限定符”的警告。

另外-Wpedantic报的“初始化元素无法在加载时计算”警告，是因为C89标准不允许用自动存储期的数组（比如main里的exe）初始化另一个自动数组的元素，不过这个问题会随着我们修正const类型一起解决。

正确的解决方案 #

根据你的实际场景，有两种稳妥的处理方式：

方案1：修改函数参数类型（推荐）

如果你的show函数（或者实际调用的posix_spawn）不会修改argv指向的字符串内容，那应该把函数的参数改成const char *const argv[]——这是「指向const char的常量指针数组」，既不能修改数组里的指针，也不能修改指针指向的内容，完全匹配你的常量字符串使用场景。

调整后的代码：

#include <stdio.h>
/* 修正参数类型，适配只读字符串场景 */
static void show(const char *const argv[]) {
    unsigned i = 0;
    while(argv[i] != NULL) {
        printf("%s\n", argv[i++]);
    }
}

int main(void) {
    const char exe[] = "/usr/bin/some/exe";
    /* 数组元素类型对应改成const char* */
    const char *const argv[] = { exe, "-a", "-b", NULL };
    show(argv);
    return 0;
}

用这段代码编译，所有警告都会消失，而且完全符合C89标准和安全规范。

方案2：强制转换（仅当无法修改函数参数时使用）

如果因为接口限制（比如posix_spawn的argv参数确实是char* const argv[]，你没法修改），那你可以用强制转换来消除警告，但必须确保函数绝对不会修改这些字符串的内容，否则会触发未定义行为：

#include <stdio.h>
static void show(char *const argv[]) {
    unsigned i = 0;
    while(argv[i] != NULL) {
        printf("%s\n", argv[i++]);
    }
}

int main(void) {
    const char exe[] = "/usr/bin/some/exe";
    char *const argv[] = { 
        (char*)exe, 
        (char*)"-a", 
        (char*)"-b", 
        NULL 
    };
    show(argv);
    return 0;
}

这种方法要谨慎使用，只有当你完全确定函数不会修改argv指向的内容时才用。

补充说明 #

• 你提到移除exe就没警告，是因为关闭-Wwrite-strings后，字符串字面量会回到char*类型，和char* const argv[]匹配，但-Wwrite-strings是一个很有用的安全选项，建议保留。
• C89标准下，自动存储期的数组不能用来初始化另一个自动数组的元素，这也是-Wpedantic警告的原因，方案1里把数组改成const char *const argv[]后，这个问题也会自动解决。

内容的提问来源于stack exchange，提问作者Unmanned Player