[翻译]C语言中指针和数组是否相等?

这是一个简单的问题,但总是被忽略。特此翻译了一篇博客,讲的很清楚。这里是博客的原地址Are pointers and arrays equivalent in C?

C语言中指针和数组是否相等?

简短的答案:不相等。

详细的答案:这依赖于如何定义“相等”。指针运算和数组下标是相等的,其他方面指针和数组是不同的。

一个简单的例子展示相等性:

#include <stdio.h>

int main()
{
    char arr[] = "don't panic\n";
    char* ptr = arr;

    printf("%c %c\n", arr[4], ptr[4]);
    printf("%c %c\n", *(arr+2), *(ptr+2));

    return 0;
}

输出结果:

t t
n n

注意到下标在数组和指针中都能工作,相似地,指针运算在数组和指针中都能用。

他们如何是不同的?

在一个很重要和基本的方式中,考虑如下代码:

char array_place[100] = "dont't panic";
char* ptr_place = "don't panic";

int main()
{
    char a = array_place[7];
    char b = ptr_place[7];

    return 0;
}

a赋值时发生了什么?与给b赋值有什么不同?看一下编译器的分解是有用的:
(Visual C++ 2005,x86,Windows XP)

char a = array_place[7];

0041137E  mov  al,byte ptr [_array_place+7 (417007h)]
00411383  mov  byte ptr [a],al

char b = ptr_place[7];

00411386  mov  eax,dword ptr [_ptr_place (417064h)]
0041138B  mov  cl,byte ptr [eax+7]
0041138E  mov  byte ptr [b],cl

C语言中数组的语义指示数组名作为数组第一个元素的地址。因此,在给a赋值的过程中,数组的第8个字符被偏移为array_place[7]的值,移动结果地址的内容到寄存器al,然后再赋给a

另一方面,指针的语义是十分不同的。指针仅仅是一个固定值,持有另一个内部变量的地址。因此,计算字符串第8个字符的偏移,CPU首先复制指针的值给一个寄存器,然后增加寄存器。这多出一个指令。

一个图形化的解释

右边那一列是内存地址,每个格子是内存中存储的内容。如图展示的是array_place的第一个单词。
注意到array_place是内存地址0x417000的一个简单标签,因此访问array_place[7]就是访问内存地址0x417007。如我们所看到的,编译器仅仅用0x417007代替array_place[7],不需要地址的计算。

而指针的工作方式是不同的:

ptr_place仅仅是一个变量,变量的值是一个地址。这个地址是一个字符串所在内存位置的第一个字符的地址,比较访问pointer_place[7]的分解列表能够很清楚理解编译为何如此生成编码。

C语言的变量名仅仅是一个标签

没有黑过编译器的程序员经常忽视指针,C语言的变量仅仅是内存空间的一个方便的数字字母组成的笔名。如果我们正在写代码,我们应该仅仅创建内存空间的标签,然后访问这些标签,代替硬编码内存值,后者是由编译器来做的。

实际上地址不是绝对的硬编码,因为存在载入和重分配。但这在我们的讨论之外,这里就不展开细节了。

标签是编译器在编译时分配的,从这里我们可以看出指针和数组的巨大不同。

在函数参数中数组被转换成指针

先看一段代码:

void foo(char arr_arg[], char* ptr_arg)
{
    char a = arr_arg[7];
    char b = ptr_arg[7];
}

问题:在这里访问ab有什么不同吗?

回答:一点也没有!

这是编译器的展开:

    char a = arr_arg[7];

00412DCE  mov  eax,dword ptr [arr_arg]
00412DD1  mov  cl,byte ptr [eax+7]
00412DD4  mov  byte ptr [a],cl

    char b = ptr_arg[7];

00412DD7  mov  eax,dword ptr [ptr_arg]
00412DDA  mov  cl,byte ptr [eax+7]
00412DDD  mov  byte ptr [b],cl

这是因为数组在函数的参数中总是倍转换成指针。

char arr_place[]的参数声明仅仅是char* arr_place的语法糖。

这里引用K&R2:

当数组名作为函数参数时,仅仅是初始化元素的位置。在调用函数时,参数是一个局部变量,数组名就是一个指针,一个存储内容为内存地址的变量。

如果这看起来很奇怪,再仔细想一想。回想一下前面的图。编译器在这里别无选择,数组名作为一个标签在编译时代替要表示的地址。但一个函数在编译时并没有调用,仅在运行时调用,此时在栈中倍看做是一个参数。编译器不能处理数组内部引用作为标签和把他们替换成地址,因为它不知道实际上数组在运行时传入什么。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 218,122评论 6 505
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 93,070评论 3 395
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 164,491评论 0 354
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,636评论 1 293
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,676评论 6 392
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,541评论 1 305
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,292评论 3 418
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 39,211评论 0 276
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,655评论 1 314
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,846评论 3 336
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,965评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,684评论 5 347
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,295评论 3 329
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,894评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 33,012评论 1 269
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 48,126评论 3 370
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,914评论 2 355

推荐阅读更多精彩内容

  • 指针是C语言中广泛使用的一种数据类型。 运用指针编程是C语言最主要的风格之一。利用指针变量可以表示各种数据结构; ...
    朱森阅读 3,444评论 3 44
  • C语言是面向过程的,而C++是面向对象的 C和C++的区别: C是一个结构化语言,它的重点在于算法和数据结构。C程...
    小辰带你看世界阅读 947评论 0 6
  • 晚上,为逗满满小朋友吃饭,炸酱面从平常的一碗硬是吃到了一碗半,一开始就感觉吃的有点多而已,后面感觉不对劲了,是很撑...
    蛙蛙123阅读 125评论 0 0
  • 人们总说,生命是一列火车,开往终点的路上人来人往,有人上车有人下车,陪你到终点的人会是谁? 如果分别和失去才是生活...
    三文鱼小姐阅读 200评论 0 0
  • ** 会看(我在这呢,X_X!!!) =》会用** =》 会说 =》会写 =》会模仿 =》**能new ** 说明...
    yoosir阅读 524评论 0 1