区别之一在于定义与声明时
如:
extern int * a;
extern int a[];
下面讨论中的“对象”一词仅指变量、函数等,不包括OO中的对象
首先应清楚区别定义与声明:声明所说明的并非自身,而是描述其他地方创建的对象,声明并未为对象分配内存;而定义为对象分配了内存。由于声明并未给对象分配内存,因此在声明数组时不需要提供数组长度的信息。这也解释了为什么C中数组定义时长度不能用变量,因为编译时需要知道数组的长度来为数组分配内存,而此时变量的值尚未确定
另一方面,代码在编译过程中就已经确定对象的地址,并将该地址放在符号表中,而对象的值却是在运行时才确定的。运行时如果需要用到对象的值,则编译器从指定地址读入变量的值并存入寄存器。
根据以上叙述可知
- 数组取值时,由于其地址在编译时已确定并放入符号表,因此可直接取得
- 指针取值时,虽然其本身地址在编译时已确定,但为了取得其所指变量的值,需要先获得指针的内容。而指针的内容在运行时方能确定,因此不能直接获得,也就是说指针相比数组多了一次额外提取指针内容的操作
总之,数组是直接访问数据,而指针是间接访问数据
综上所述,若对象定义为数组,但声明为指针,就会出现问题。由于声明为指针,编译器会按指针取值。当编译器获得指针内容时,实际上获得的是数组某元素的值。编译器会将该值作为变量地址来取变量的值,这明显是错误的。因此,为了避免这种错误,应确保声明与定义向匹配
区别之二在于用字符串常量初始化时
初始化指针时所创建的字符串常量被定义为只读。如果试图通过指针修改该字符串,程序会出现不可预料的行为(如段错误),如:
char * str = "abcdefg";
str[0] = 'z'; //错误
而
初始化数组的字符串常量却可以被修改,如
char str[] = "abcdefg";
str[0] = 'z'; //正确
数组与指针可以互用的情况
- 作为函数参数时
- 在表达式中使用时
Tips:当数组作为实参传递给函数时,它在函数内部总是被自动转换为指向数组的指针
因此,对作为函数实参的数组采用sizeof操作符取数组长度所得结果是错误的