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

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 <stdio.h>int func(char *v[]){
	*++v;	printf("&v=%x\t v=%x\n",&v,v);
}int main(int argc, char const* argv[]){	char const* arr[]={"1","2","3"};	printf("&argv=%x\t argv=%x\n",&argv,argv);	printf("&argc=%x\t 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 const* arr[]={"Hello","World","AndyXue"};

这个之所以不能做自加运算，正如你所说这样的初始化方式使得arr是一个指针数组，arr同时也是数组首地址，是常量不是左值，既然不是左值当然也就不能做自加操作。而且这里容易被const修饰影响，虽然这在这里不是引起这个问题的原因，去掉还是不能编译的。
而

char const* argv[];

上面的声明可以做自加运算应该是因为main函数的声明是

int main(int argc, char **argv);

所以你现在使用的这种声明被转化了，虽然两种表现形式是一样的，但是前者是二维指针而非指针数组，也就可以做自加运算。