(写完了才想起来注一下,本文提到的“数组”和“数组名”字样,指的是数组左值表达式(array lvalue expression)或数组声明(array declaration)所声明的变量)
首先,数组名不是常量指针,从两方面:
- 类型方面,数组的类型是type[size],和常量指针类型type* const不同
- 使用方面,sizeof(数组名)等于数组所有元素的大小,而不是sizeof(指针);对数组取地址,得到的指针进行加减,增减字节数是sizeof(数组);你可以用字符串字面量初始化一个字符数组,但是不能用常量指针来初始化一个字符数组。
其次,为什么很多老师都说数组是常量指针
- 他们不了解C语言的类型系统和隐式转换规则
- 他们怕下面的人听不懂
- 他们解释不清为什么数组名不能进行赋值或者++之类的运算而指针可以
切入正题,我们从类型系统和隐式转换规则来讲:
- 数组名的类型就是数组类型type[size] (参见Array declaration)
- 对数组取址,得到的类型是指向数组的指针type(*)[size] (参见Member access operators)
- 数组名在大部分情况下会隐式转换为首元素指针右值,除了(参见 Implicit conversions)
-
- sizeof运算的时候
- 取址的时候
- 用字符串字面量初始化字符数组的时候
- 以及C11的_Alignof运算符(这个本文不考虑)
更进一步,二维数组type[size1][size2],实际上就是元素类型是数组的数组,进行隐式转换后得到的首元素指针类型是type(*)[size2],指向数组的指针,对这个指针加减,得到的也是数组的指针,对它解引用,得到数组。这一套过程,用那个什么数组名是常量指针的说法,是解释不来的。
最后出一个题:写出程序输出
typedef char(*AP)[5];
AP foo(char* p) {
for (int i = 0; i < 3; i++) {
p[strlen(p)] = 'A';
}
return (AP)p+1;
}
int main() {
char s[] = "FROG\0SEAL\0LION\0LAMB";
puts(foo(s)[1] + 2);
}
这个题用数组名是指针那套理论是做不出来的。
原贴:https://zhuanlan.zhihu.com/p/24799071
附:个人对贴末题目的理解:首先,s是一个字符数组,通过foo()形参传递时,传给形参的是字符指针,由于s字符数组中有3个'\0'结束符,故每次执行
p[strlen(p)] ='A';
都会将一个'\0'替换为A,循环结束之后所有'\0'都被替换为A,然后返回了一个指向长度为5的字符数组的数组指针,该数组指针地址在s的基础上+1,即移动5个char的长度,指向s字符数组中的第6个元素,然后返回的数组指针加上下标运算[1],继续前进5个char的长度,并变为字符指针,在此基础上向后移动两位,指向O,然后执行puts()顺序输出即可。