在C语言中对于下面的两种情况,是否相同呢?
char a[] = "abcdefg";---------------1
char *p = "abcdefg";-----------------2
在谈到这些区别时,应该先谈一下计算机中对变量是如何存储的。从编译原理中我们知道,对于所有的变量他都会影射到一个符号表中。为了简化,这里给出一种最简单的便于理解的符号表:
a |
0xffaa |
p |
0xffcc |
表1 一个简单的符号表示例
以上表格中a代表一个变量,0xffaa则为变量a的内容的存储地址;p代表另一个变量,0xffcc为变量p的内容的存储地址。对于数组型的变量和指针型的变量,其地址代表的含义不同。
对于数组a:
这个0xffaa地址就是其存放数组内容的首地址了。对于a[i]的引用步骤如下:
步骤一、取出i的值,将他与0xffaa相加;
步骤二、取出为(0xffaa+i)中的内容。
对于指针p:
这个0xffcc地址就是中存放的不是字符串的内容,而是一个地址,这个地址才是字符串的首地址,对p[i]或者用指针表示*(p+i)的应用步骤如下:
步骤一、取出0xffcc地址中的内容,例如为0xffdf;
步骤二、取出地址0xffdf中的内容。
数组和指针的对比如下图:
下面是在VC6.0下作的一个试验,通过这个试验大家可以看到,虽然同过[]和通过*引用都一样,但在内部处理的方法是不一样的。
#include "stdafx.h"
#include "stdio.h"
int main(int argc, char* argv[])
{
int a[3]={1,2,3};
int *p =a;
printf("a:%d,&a:%d,a[0]:%d,*a:%d,p:%d,&p:%d,*p:%d,p[0]:%d",a,&a,
a[0],*a,p,&p,*p,p[0]);
return 0;
}
输出结果:
a:1310580,&a:1310580,a[0]:1,*a:1,p:1310580,&p:1310576,*p:1,p[0]:1。
由上面的分析可知,如果在一个文件中定义了一个数组int maychar[100],那么下面的声明就是完全错误的。
extern int *maychar;//指针变量和数组变量不一样,地址都不同
这样的话,在引用时他就会按照指针的方法来引用数组。正确的声明应该是exter int maychar[];这里数组的大小并不重要。下面将指针与数组的区别用表格的形式列出如下:
指针 |
数组 |
保存数据的地址 |
保存数据 |
间接访问数据 |
直接访问 |
通常用于动态数据结构 |
通常用于存储固定数目数据类型相同的元素 |
相关操作malloc(),free()等 |
隐式分配和删除 |
通常指向匿名数据 |
自身即为数据名 |
表2 指针与数组的区别
数组有点像label,本身不占空间,占空间的是数组元素。
指针本身占空间,大小为sizeof(T*),当然指向的内容也占空间。
a 和 &a 类型不同,但是“地址”相同,都是label标记的地址
sizeof(a) 等于数组元素的大小 乘以 元素的个数
sizeof(p) 指针本身的大小,其值在32位机器上一般等于4。
数组本身不能改变,比如a=b或a++都是错误;
指针可以改变。数组可以赋值给指针;
函数形参数组完全等同于指针。形象说编译器把数组形参编译为指针形参,也可以说函数声明中不存在数组(形参或返回值)。
数组的数组和指针的指针完全不同,无法转换。
还要提醒一点的就是:
char a[] = "abcdefg";---------------数组内容能修改(字符数组)
a[1] = 'T';
char *p = "abcdefg";-----------------内容不能修改(字符串常量)实际地址指向常量区的值为xxxxxx的地址
p = a;
*(p + 1) = 'T';//可以改变了
在ANSI C中,初始化指针是所创建的字符串时常量,被定义为只读,如果试图通过指针修改这个字符串的值,程序就会出现为定义的行为。