说出来你们可能不信,但是数组名确实不是指针常量
2018-01-11 17:06
302 查看
这篇是一篇C语言劝退流教学文,看不懂的同学应该是劝退教学流的目标对象
(写完了才想起来注一下,本文提到的“数组”和“数组名”字样,指的是数组左值表达式(array lvalue expression)或数组声明(array declaration)所声明的变量)
首先,数组名不是常量指针,从两方面:
1. 类型方面,数组的类型是type[size],和常量指针类型type* const不同
2. 使用方面,sizeof(数组名)等于数组所有元素的大小,而不是sizeof(指针);对数组取地址,得到的指针进行加减,增减字节数是sizeof(数组);你可以用字符串字面量初始化一个字符数组,但是不能用常量指针来初始化一个字符数组。
其次,为什么很多老师都说数组是常量指针:
1. 他们不了解C语言的类型系统和隐式转换规则
2. 他们怕下面的人听不懂
3. 他们解释不清为什么数组名不能进行赋值或者++之类的运算而指针可以
切入正题,我们从类型系统和隐式转换规则来讲:
1. 数组名的类型就是数组类型type[size] (参见Array declaration)
对数组取址,得到的类型是指向数组的指针type(*)[size] (参见Member access operators)
2. 数组名在大部分情况下会隐式转换为首元素指针右值,除了(参见 Implicit conversions)
sizeof运算的时候
取址的时候
用字符串字面量初始化字符数组的时候
以及C11的_Alignof运算符(这个本文不考虑)
其他情况下都会发生数组到指针隐式转换,比如你用方括号取值,如果方括号左边是个数组,那么数组会被隐式转换为首元素指针右值,然后对这个值进行的解引用。(参见Member access operators)
更进一步,二维数组type[size1][size2],实际上就是元素类型是数组的数组,进行隐式转换后得到的首元素指针类型是type(*)[size2],指向数组的指针,对这个指针加减,得到的也是数组的指针,对它解引用,得到数组。这一套过程,用那个什么数组名是常量指针的说法,是解释不来的。
最后出一个题:写出程序输出
这个题用数组名是指针那套理论是做不出来的。
(写完了才想起来注一下,本文提到的“数组”和“数组名”字样,指的是数组左值表达式(array lvalue expression)或数组声明(array declaration)所声明的变量)
首先,数组名不是常量指针,从两方面:
1. 类型方面,数组的类型是type[size],和常量指针类型type* const不同
2. 使用方面,sizeof(数组名)等于数组所有元素的大小,而不是sizeof(指针);对数组取地址,得到的指针进行加减,增减字节数是sizeof(数组);你可以用字符串字面量初始化一个字符数组,但是不能用常量指针来初始化一个字符数组。
其次,为什么很多老师都说数组是常量指针:
1. 他们不了解C语言的类型系统和隐式转换规则
2. 他们怕下面的人听不懂
3. 他们解释不清为什么数组名不能进行赋值或者++之类的运算而指针可以
切入正题,我们从类型系统和隐式转换规则来讲:
1. 数组名的类型就是数组类型type[size] (参见Array declaration)
对数组取址,得到的类型是指向数组的指针type(*)[size] (参见Member access operators)
2. 数组名在大部分情况下会隐式转换为首元素指针右值,除了(参见 Implicit conversions)
sizeof运算的时候
取址的时候
用字符串字面量初始化字符数组的时候
以及C11的_Alignof运算符(这个本文不考虑)
其他情况下都会发生数组到指针隐式转换,比如你用方括号取值,如果方括号左边是个数组,那么数组会被隐式转换为首元素指针右值,然后对这个值进行的解引用。(参见Member access operators)
更进一步,二维数组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); }
这个题用数组名是指针那套理论是做不出来的。
相关文章推荐
- 说出来你们可能不信,但是数组名确实不是指针常量
- C++中,数组名不是一个简单地指针常量
- 数组名是一个指针常量吗?
- C语言 数组名不是首地址指针
- 指针(数组、常量、函数)
- 指针数组、数组指针、常指针、指向常量的指针、指针函数、函数指针等概念的区分
- 数组和指针确实是不一样的
- 二十八、数组、指针和字符串:指针的赋值和指针运算(指针常量,常量指针)
- c++数组名是一个指针常量
- C语言的指针 指针常量 只读 多维数组的指针
- 关于char p[]的数组名不是指针
- c语言 数组名是常量指针
- c/c++ 函数、常量、指针和数组的关系梳理
- 第二章 数组名是一个指针常量吗?
- 指针常量/常量指针&指针数组/数组指针
- 对象数组的使用及this指针(自己改的,虽然只是一小点,但是还是有成就感)
- 你可能不知道位图,但是它真的很有用,特殊情况可以使时间复杂度降低不是一两个档次那么简单...
- c++函数内部可以返回函数内部定义的指针 但是不能返回函数内部定义的数组
- 1-10000这10000个数乱序的写出来,但是其中有个数字写错了(可能重复,或者不是1-10000中的数字),如何快速找出?
- 给浮躁的软件业同仁 (作者不是我,但是确实是好文)