为什么程序运行却是正确的，请问这是什么情况？

Question

关于下面的程序：

#include <stdio.h>main(int argc, char const* argv[])
{    char const* arr[]={"Hello","World","AndyXue"};
    *++argv;
    *++arr; 
}

运行结果是：

*++argv; //right
*++arr;  //error

在C语言中，数组名是不可以做自增运算的，所有在第一次接触到 *++argv时，我感觉是错误的，
搞了半天我得出的结论是：

char const* arr[]={"Hello","World","AndyXue"}; //该arr指向的是一个常量，所以不能更改。

char const* argv[]//未被初始化，所以可以自增运算 ，哎 这样也解释不通

求解释，求指导。

Answer 1

这问题其实挺有趣的，对于argv来说，既然定义成char *argv[]那不就是说明argv是一个指向字符串的指针数组，怎么也能左值操作？我们知道数组名其实就是一个常量，是不能被直接修改的，这是它与指针一个最大的区别。这里argv与arr最大的区别是一个是函数中的参数，一个是定义的局部变量。一般可以从两个方面来理解这个问题。一个方面，正如蓝皮鼠所说的，main函数的原型中argv其实是char **argv这样，对于定义成char * argv[]的参数，gcc在编译时会有一个隐式转换，因为这里这两者是是相容的，就算你定义成char const * argv[]对于argv来说，这个定义就不相容了。不过一般会有两个结果，要么编译器很严格直接报错，要么会给个警告信息，然后继续把它当成 char **argv 来用。所以你直接对argv进行左值运行，代码可以被编译通过，就正常了。另一方面，在C语言中，参数中的数组传递有些特殊。比如下面的代码：#include&nbsp;<stdio.h>int&nbsp;func(char&nbsp;*v[]){ *++v; printf("&v=%x\t&nbsp;v=%x\n",&v,v); }int&nbsp;main(int&nbsp;argc,&nbsp;char&nbsp;const*&nbsp;argv[]){ char&nbsp;const*&nbsp;arr[]={"1","2","3"}; printf("&argv=%x\t&nbsp;argv=%x\n",&argv,argv); printf("&argc=%x\t&nbsp;argc=%x\n",&argc,argc); func(argv); }因为main函数是程序的入口函数，是被编译内部定义好的，所以可以再定义一个int func(char *v[])结果发现这个v仍然可以进行左值操作。上面说了参数中数组的传递有些特殊，因为在实际处理参数中的数组时，其实编译器是把它当成一个指针来处理。比如你定义好一个数组`char arr2[10];`假定有一个函数，其原型如下：int func2(char p[]);那么当以下调用发生时：func2(arr2);arr2的值会被复制一份到一个内部局部变量指针(堆栈或寄存器)中，这个指针指向arr2[0]的位置。这样arr就被传递进func2函数中了。同时，这也是在定义函数的参数时，如果参数中有数组，我们一般不用在数组标记中间写上数组长度值的原因，因为没有意义，实际只是把数组的地址进行了传递。比如：'int func2(char arr[10])'这就是我的理解和说明，希望对你有所帮助。

Answer 2

我觉得是这样的char&nbsp;const*&nbsp;arr[]={"Hello","World","AndyXue"};这个之所以不能做自加运算，正如你所说这样的初始化方式使得arr是一个指针数组，arr同时也是数组首地址，是常量不是左值，既然不是左值当然也就不能做自加操作。而且这里容易被const修饰影响，虽然这在这里不是引起这个问题的原因，去掉还是不能编译的。而char&nbsp;const*&nbsp;argv[];上面的声明可以做自加运算应该是因为main函数的声明是int&nbsp;main(int&nbsp;argc,&nbsp;char&nbsp;**argv);所以你现在使用的这种声明被转化了，虽然两种表现形式是一样的，但是前者是二维指针而非指针数组，也就可以做自加运算。