【编程基础】数组和指针为什么不等价?

好多初学C语言的人都认为数组和指针是相等的,在C 语言中对数组和指针的困惑多数都来自这句话。说数组和指针“等价”不表示它们相同, 甚至也不能互换。它的意思是说数组和指针的算法定义可以用指针方便的访问数组或者模拟数组。

特别地, 等价的基础来自这个关键定义:

一个T的数组类型的左值如果出现在表达式中会蜕变为一个指向数组第一个成员的指针(有几种例外情况,下面会提及); 结果指针的类型是T的指针。

这就是说, 一旦数组出现在表达式中, 编译器会隐式地生成一个指向数组第一个成员地指针, 就像程序员写出了&a[0] 一样。例外的情况是, 数组为sizeof 或&操作符的操作数, 或者为字符数组的字符串初始值。

作为这个这个定义的后果, 编译器并那么不严格区分数组下标操作符和指针。在形如a[i] 的表达式中, 根据上边的规则, 数组蜕化为指针然后按照指针变量的方式如p[i] 那样寻址, 如问题6.2 所述, 尽管最终的内存访问并不一样。如果你把数组地址赋给指针:

p = a;

那么p[3] 和a[3] 将会访问同样的成员。

那么char a[]和char *a是一样的吗?

并非如此。(做函数的形式参数会被这样认为) 数组不是指针。数组定义char a[6] 请求预留6 个字符的位置, 并用名称“a” 表示。也就是说, 有一个称为“a” 的位置, 可以放入6 个字符。而指针申明char *p, 请求一个位置放置一个指针, 用名称“p” 表示。这个指针几乎可以指向任何位置: 任何字符和任何连续的字符, 或者哪里也不指。

一个图形胜过千言万语。声明

char a[] = "hello";

char *p = "world";

将会初始化下图所示的数据结果:

根据x 是数组还是指针, 类似x[3] 这样的引用会生成不同的代码。认识到这一点大有裨益。以上面的声明为例, 当编译器看到表达式a[3] 的时候, 它生成代码从a 的位置开始跳过3 个, 然后取出那个字符. 如果它看到p[3], 它生成代码找到“p” 的位置, 取出其中的指针值, 在指针上加3 然后取出指向的字符。换言之, a[3]是名为a 的对象(的起始位置) 之后3 个位置的值, 而p[3] 是p 指向的对象的3 个位置之后的值. 在上例中, a[3] 和p[3] 碰巧都是’l’ , 但是编译器到达那里的途径不尽相同。本质的区别在于类似a 的数组和类似p 的指针一旦在表达式中出现就会按照不同的方法计算, 不论它们是否有下标。

原文发布于微信公众号 - 程序员互动联盟(coder_online)

原文发表时间:2015-06-05

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏Bug生活2048

Python自学之路-数据类型和变量

在Python中的整数和浮点数是没有大小限制的,而某些语言是根据其存储长度是有大小限制的,也就是说你可以随便乘除,不用担心溢出的情况,这点Python还是挺友善...

681
来自专栏java学习

面试题47(关于类的加载顺序)

以下代码执行后输出结果为? ---- public class Test{ public static Test t1 = new Test();{ ...

2927
来自专栏程序你好

在C#中用Var 和 Dynamic声明变量的区别

C#中的很多关键词用法比较容易混淆,var和dynamic就是其中一组,但其实它们是有本质的区别的。

661
来自专栏Linux驱动

汇编指令-位置无关码(BL)与绝对位置码(LDR)(2)

位置无关码 即该段代码无论放在内存的哪个地址,都能正确运行。究其原因,是因为代码里没有使用绝对地址,都是相对地址。  位置相关码 即它的地址与代码处于的位置相关...

2477
来自专栏深度学习与计算机视觉

C++ 一个例子说明.c_str()函数

先举个例子说明一下: atoi()是C语言中的字符串转换成整型数的一个函数,在例子的代码里面会用到,其函数原型为: int atoi(const char *n...

1866
来自专栏韦弦的微信小程序

Swift 两数之和 - LeetCode

582
来自专栏跟着阿笨一起玩NET

JSON学习总结

361
来自专栏阿凯的Excel

Python读书笔记16(循环大法好!while少不了)

今天和大家分享一个新的循环语句while! 之前学过for循环语句用于遍历列表、元组、字典内的值,我们重温一下! ? 这种for循环语句是根据列表元素值的数量来...

3595
来自专栏静晴轩

浅谈java中extends与implements的区别

  Extends可以理解为全盘继承了父类的功能。implements可以理解为为这个类附加一些额外的功能;interface定义一些方法,并没有实现,需要im...

3118
来自专栏乐享123

Javascript设计模式 - 笔记2

1145

扫码关注云+社区