C语言中参数向量argv问题

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);

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

Answer 3

楼上两位解释真棒! Ｃ中函数传数组参数实质是在传指针.main也是在传指针(数组地址).

所以前者被当作了一个指针,后者还是一个指针数组

Answer 4

• argv不是数组，虽然它后面有个[]括号，但是它的却不是，它只是个指针而已。

• arr是个数组，不能对它自增，如果要实现自增，在声明一个指针变量指向数组就可以了。

• 其实C语言的函数参数中不能有数组的，最多用一个指针变量模拟一下数组而已。

在下面代码中，第3行C代码会编译通不过，因为*号左边的const代表p指针指向的对象不能改变，而*号右边的const代表p指针本身的值就是不能修改的，要给p赋值，必须在初始化阶段就赋值。

// not good
int a = 2;
int const * const p;
p = &a; // error

// good
int a = 2;
int const * const p = &a; // no error