关于下面的程序:
#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[]//未被初始化,所以可以自增运算 ,哎 这样也解释不通
求解释,求指导。
楼上蓝皮鼠 基本上都回答了,我就再啰嗦几句补充一点东西吧;-)
这问题其实挺有趣的,对于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])’
这就是我的理解和说明,希望对你有所帮助。
我觉得是这样的
char const* arr[]={"Hello","World","AndyXue"};
这个之所以不能做自加运算,正如你所说这样的初始化方式使得arr是一个指针数组,arr同时也是数组首地址,是常量不是左值,既然不是左值当然也就不能做自加操作。而且这里容易被const修饰影响,虽然这在这里不是引起这个问题的原因,去掉还是不能编译的。
而
char const* argv[];
上面的声明可以做自加运算应该是因为main函数的声明是
int main(int argc, char **argv);
所以你现在使用的这种声明被转化了,虽然两种表现形式是一样的,但是前者是二维指针而非指针数组,也就可以做自加运算。
楼上两位解释真棒! C中函数传数组参数实质是在传指针.main也是在传指针(数组地址).
所以前者被当作了一个指针,后者还是一个指针数组
- 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