我有以下方案。

#include <stdio.h>

int main(int argc, char const * const argv[], char const * const * envp) {
    for (int i = 0; i < argc; i++) {
        printf("argv[%d]: %s\n", i, argv[i]);
    }
    printf("\n");

    for (int i = 0; *envp != NULL; i++, envp++) { 
        printf("envp[%d]: %s\n", i, *envp);
    }

    return 0;
}

字符串
这将按预期编译，没有警告。
如果我把envp指针设为const，把它的声明改为下面的。

char const * const * const envp

型
则编译失败，如下所示。

$ gcc -Wall main.c
main.c: In function ‘main’:
main.c:9:45: error: increment of read-only parameter ‘envp’
    9 |     for (int i = 0; *envp != NULL; i++, envp++) {
      |

型
这对我来说是有意义的：在这个程序中，我们可以声明每个环境字符串的（第一个也是唯一的第一个？）字符值是常量，我们可以声明每个指向每个环境字符串的指针是常量，但我们不能声明char**envp是常量。
现在，我的问题是，我怎样才能以类似的方式将数组变量argv声明为常量，从而使argv不能被重新赋值？
也就是说，我想声明argv，这样下面的代码会产生类似于上面的"read-only parameter ‘envp’"错误的编译错误。我想下面的代码编译失败。这样，下面的代码编译成功。

#include <stdio.h>

int main(int argc, char const * const argv[], char const * const * envp) {
    char const * const argvbad[1] = { NULL };
    argv = argvbad; // I want this to be impossible

    for (int i = 0; i < argc; i++) {
        printf("argv[%d]: %s\n", i, argv[i]);
    }
    printf("\n");

    for (int i = 0; *envp != NULL; i++, envp++) { 
        printf("envp[%d]: %s\n", i, *envp);
    }

    return 0;
}

型
这是一个关于数组变量的问题。我想学习如何将数组变量声明为常量，这样它们引用的数组就不能被重新赋值。